Results of search for 'ccl=su:{Computer programming} and su-to:Theory of Computation and su-to:Computer programming' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings / by Grieskamp, Wolfgang [editor.] Santen, Thomas [editor.] Stoddart, Bill [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1945 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	402.	Advances in Neural Networks - ISNN 2004 [electronic resource] : International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I / by Yin, Fuliang [editor.] Wang, Jun [editor.] Guo, Chengan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3173 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	403.	Typed Lambda Calculi and Applications [electronic resource] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / by Groote, Philippe de [editor.] Hindley, J. Roger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1210 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	404.	Approximation Algorithms for Combinatorial Optimization [electronic resource] : 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings / by Jansen, Klaus [editor.] Leonardi, Stefano [editor.] Vazirani, Vijay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2462 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	405.	Mathematics of Program Construction [electronic resource] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / by Jeuring, Johan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1422 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	406.	Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings / by Sventek, Joseph [editor.] Coulson, Geoffrey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1795 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	407.	Genetic Programming [electronic resource] : Second European Workshop, EuroGP'99, Göteborg, Sweden, May 26-27, 1999, Proceedings / by Poli, Riccardo [editor.] Nordin, Peter [editor.] Langdon, William B [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1598 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	408.	Algorithms and Computation [electronic resource] : 9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, Proceedings / by Chwa, Kyung-Yong [editor.] Ibarra, Oscar H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1533 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	409.	Neural Nets [electronic resource] : 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri sul Mare, Italy, May 30-June 1, 2002. Revised Papers / by Marinaro, Maria [editor.] Tagliaferri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2486 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	410.	Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers / by Yu, Sheng [editor.] Paun, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2088 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	411.	DNA Computing [electronic resource] : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers / by Condon, Anne [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2054 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	412.	Computational Science — ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part III / by Sloot, Peter M.A [editor.] Abramson, David [editor.] Bogdanov, Alexander V [editor.] Dongarra, Jack J [editor.] Zomaya, Albert Y [editor.] Gorbachev, Yuriy E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2659 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	413.	Euro-Par’98 Parallel Processing [electronic resource] : 4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings / by Pritchard, David [editor.] Reeve, Jeff [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1470 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	414.	Solving Irregularly Structured Problems in Parallel [electronic resource] : 5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings / by Ferreira, Afonso [editor.] Rolim, Jose [editor.] Simon, Horst [editor.] Teng, Shang-Hua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1457 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	415.	Distributed Computing [electronic resource] : 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings / by Fich, Faith Ellen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2848 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	416.	Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / by Brauer, Wilfried [editor.] Ehrig, Hartmut [editor.] Karhumäki, Juhani [editor.] Salomaa, Arto K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2300 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	417.	Distributed Computing [electronic resource] : 13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings / by Jayanti, Prasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1693 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	418.	Coordination Languages and Models [electronic resource] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / by Porto, Antonio [editor.] Roman, Gruia-Catalin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1906 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	419.	Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / by Cantú-Paz, Erick [editor.] Foster, James A [editor.] Deb, Kalyanmoy [editor.] Davis, Lawrence David [editor.] Roy, Rajkumar [editor.] O'Reilly, Una-May [editor.] Beyer, Hans-Georg [editor.] Standish, Russel [editor.] Kendall, Graham [editor.] Wilson, Stewart [editor.] Wegener, Joachim [editor.] Dasgupta, Dipankar [editor.] Potter, Mitchell A [editor.] Schultz, Alan C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2724 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	420.	Computational Science - ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II / by Sloot, Peter M.A [editor.] Abramson, David [editor.] Bogdanov, Alexander V [editor.] Dongarra, Jack J [editor.] Zomaya, Albert Y [editor.] Gorbachev, Yuriy E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2658 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 430 results.