Results of search for 'ccl=su:{Theory of Computation.} and su-to:Programming Techniques and se:Lecture Notes in Computer Science,' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	Typed Lambda Calculi and Applications [electronic resource] : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings / by Bezem, Marc [editor.] Groote, Jan F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 664 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	122.	Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / by Degano, Pierpaolo [editor.] Gorrieri, Roberto [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1256 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)
	123.	Advances in Computing and Information - ICCI '90 [electronic resource] : International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings / by Akl, Selim G [editor.] Fiala, Frantisek [editor.] Koczkodaj, Waldemar W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 468 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	124.	Coordination Languages and Models [electronic resource] : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. / by Ciancarini, Paolo [editor.] Hankin, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1061 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	125.	Algorithms and Data Structures [electronic resource] : 6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings / by Dehne, Frank [editor.] Gupta, Arvind [editor.] Sack, Jörg-Rüdiger [editor.] Tamassia, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1663 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)
	126.	Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings / by Yao, Xin [editor.] Burke, Edmund [editor.] Lozano, Jose A [editor.] Smith, Jim [editor.] Merelo-Guervós, Juan J [editor.] Bullinaria, John A [editor.] Rowe, Jonathan [editor.] Tino, Peter [editor.] Kabán, Ata [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3242 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)
	127.	Vector and Parallel Processing - VECPAR'96 [electronic resource] : Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers / by Palma, Jose M.L.M [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1215 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)
	128.	Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Broy, Manfred [editor.] Zamulin, Alexandre V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2890 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)
	129.	Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / by Bjørner, Dines [editor.] Broy, Manfred [editor.] Zamulin, Alexandre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2244 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)
	130.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings / by Brandstädt, Andreas [editor.] Le, Van Bang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2204 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)
	131.	Coordination Languages and Models [electronic resource] : Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings / by Garlan, David [editor.] Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1282 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)
	132.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings / by Cotronis, Yiannis [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2131 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)
	133.	Algorithms and Computation [electronic resource] : 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings / by Eades, Peter [editor.] Takaoka, Tadao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2223 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)
	134.	Algorithms and Computation [electronic resource] : 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings / by Bose, Prosenjit K [editor.] Morin, Pat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2518 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)
	135.	Vector and Parallel Processing - VECPAR'98 [electronic resource] : Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks / by Palma, Jose M.L.M [editor.] Dongarra, Jack [editor.] Hernandez, Vicente [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1573 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)
	136.	Algorithm Theory - SWAT 2000 [electronic resource] : 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings / by Halldorsson, Magnus M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1851 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)
	137.	Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings / by Yonezawa, Akinori [editor.] Ito, Takayasu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 491 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	138.	STACS 97 [electronic resource] : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings / by Reischuk, Rüdiger [editor.] Morvan, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1200 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)
	139.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings / by Ramesh, S [editor.] Sivakumar, G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1346 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)
	140.	Parallel Problem Solving from Nature - PPSN III [electronic resource] : International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings / by Davidor, Yuval [editor.] Schwefel, Hans-Paul [editor.] Männer, Reinhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 866 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 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 217 results.