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

Results
	341.	Middleware 2001 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings / by Guerraoui, Rachid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2218 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)
	342.	Fundamentals of Computation Theory [electronic resource] : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings / by Freivalds, Rusins [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2138 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)
	343.	Algorithmic Learning Theory [electronic resource] : 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings / by Arimura, Hiroki [editor.] Jain, Sanjay [editor.] Sharma, Arun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1968 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)
	344.	Languages and Compilers for Parallel Computing [electronic resource] : 12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings / by Carter, Larry [editor.] Ferrante, Jeanne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1863 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)
	345.	Distributed Computing [electronic resource] : 16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings / by Malkhi, Dahlia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2508 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)
	346.	Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / by Girard, Jean-Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1581 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)
	347.	Algorithm Engineering [electronic resource] : 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings / by Näher, Stefan [editor.] Wagner, Dorothea [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1982 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)
	348.	CONCUR 2002 - Concurrency Theory [electronic resource] : 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings / by Brim, Lubos [editor.] Jancar, Petr [editor.] Kretinsky, Mojmir [editor.] Kucera, Antonin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2421 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)
	349.	Logic Program Synthesis and Transformation [electronic resource] : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / by Gallagher, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1207 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)
	350.	Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings / by Calude, Cristian S [editor.] Dinneen, Michael J [editor.] Vajnovszki, Vincent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2731 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)
	351.	Algorithms - ESA'99 [electronic resource] : 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings / by Nesetril, Jaroslav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1643 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)
	352.	Distributed Computing [electronic resource] : 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings / by Welch, Jennifer L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2180 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)
	353.	Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers / by Grigoras, Dan [editor.] Nicolau, Alex [editor.] Toursel, Bernard [editor.] Folliot, Bertil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2326 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)
	354.	Evolutionary Robotics [electronic resource] : First European Workshop, EvoRobot 98, Paris, France, April 16-17, 1998, Proceedings / by Husbands, Philip [editor.] Meyer, Jean-Arcady [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1468 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)
	355.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, Proceedings / by Bubak, Marian [editor.] Dongarra, Jack [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1332 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)
	356.	Genetic Programming [electronic resource] : First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings / by Banzhaf, Wolfgang [editor.] Poli, Riccardo [editor.] Schoenauer, Marc [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1391 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)
	357.	Algorithmic Learning Theory [electronic resource] : 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings / by Cesa-Bianchi, Nicolò [editor.] Numao, Masayuki [editor.] Reischuk, Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2533 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)
	358.	Logic-Based Program Synthesis and Transformation [electronic resource] : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers / by Flener, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1559 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)
	359.	Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / by Bertran, Miquel [editor.] Rus, Teodor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1231 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)
	360.	Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings / by Foster, James A [editor.] Lutton, Evelyne [editor.] Miller, Julian F [editor.] Ryan, Conor [editor.] Tezzamanzi, Andra G.B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2278 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 430 results.