Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Theory of Computation and su-to:Theory of Computation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	21.	Ant Colony Optimization and Swarm Intelligence [electronic resource] : 4th International Workshop, ANTS 2004, Brussels, Belgium, September 5-8, 2004, Proceeding / by Dorigo, Marco [editor.] Birattari, Mauro [editor.] Blum, Christian [editor.] Gambardella, Luca M [editor.] Mondada, Francesco [editor.] Stützle, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3172 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)
	22.	Algorithms - ESA 2001 [electronic resource] : 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings / by Meyer auf der Heide, Friedhelm [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2161 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)
	23.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III / by Kumar, Vipin [editor.] Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] L'Ecuyer, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2669 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)
	24.	Geographic Information Science [electronic resource] : Second International Conference, GIScience 2002, Boulder, CO, USA, September 25-28, 2002. Proceedings / by Egenhofer, Max J [editor.] Mark, David M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2478 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)
	25.	Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence [electronic resource] : 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I / by Mira, Jose [editor.] Prieto, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2084 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)
	26.	Computational Science — ICCS 2003 [electronic resource] : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part I / 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 ; 2657 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)
	27.	Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / by Baeten, Jos C.M [editor.] Lenstra, Jan Karel [editor.] Parrow, Joachim [editor.] Woeginger, Gerhard J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2719 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)
	28.	Implementation and Application of Automata [electronic resource] : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers / by Champarnaud, Jean-Marc [editor.] Maurel, Denis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2608 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)
	29.	Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I / by Bubak, Marian [editor.] Albada, Geert D.van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3036 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)
	30.	Automatic Verification Methods for Finite State Systems [electronic resource] : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings / by Sifakis, Joseph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 407 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)
	31.	Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings / by Leeser, Miriam [editor.] Brown, Geoffrey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 408 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	32.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, Proceedings / by Kranzlmüller, Dieter [editor.] Kacsuk, Peter [editor.] Dongarra, Jack [editor.] Volkert, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2474 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)
	33.	Application and Theory of Petri Nets 1995 [electronic resource] : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / by DeMichelis, Giorgio [editor.] Diaz, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 935 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	34.	Algorithms and Data Structures [electronic resource] : 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings / by Akl, Selim G [editor.] Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Santoro, Nicola [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 955 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings / by Sherwani, Naveed A [editor.] Doncker, Elise de [editor.] Kapenga, John A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 507 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	36.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings / by Nori, Kesav V [editor.] Veni Madhavan, C.E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 472 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)
	37.	Parallel Processing and Applied Mathematics [electronic resource] : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Paprzycki, Marcin [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2328 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)
	38.	Algebraic and Logic Programming [electronic resource] : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / by Kirchner, Helene [editor.] Levi, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 632 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	39.	Parallel Architectures and Their Efficient Use [electronic resource] : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings / by Meyer auf der Heide, Friedhelm [editor.] Monien, Burkhard [editor.] Rosenberg, Arnold L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 678 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)
	40.	Functional Programming, Concurrency, Simulation and Automated Reasoning [electronic resource] : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / by Lauer, Peter E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 693 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 882 results.