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

Results
	161.	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)
	162.	High Performance Computing [electronic resource] : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings / by Veidenbaum, Alex [editor.] Joe, Kazuki [editor.] Amano, Hideharu [editor.] Aiso, Hideo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2858 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)
	163.	Component Deployment [electronic resource] : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings / by Bishop, Judith [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2370 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)
	164.	Principles and Practice of Constraint Programming - CP97 [electronic resource] : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / by Smolka, Gert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1330 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)
	165.	Functional and Logic Programming [electronic resource] : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / by Hu, Zhenjiang [editor.] Rodriquez-Artalejo, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2441 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)
	166.	Modular Specification and Verification of Object-Oriented Programs [electronic resource] / by Müller, Peter [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2262 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)
	167.	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)
	168.	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)
	169.	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)
	170.	Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99,Berkeley, CA, USA, August 8-11, 1999 Pro / by Hochbaum, Dorit [editor.] Jansen, Klaus [editor.] Rolim, Jose D.P [editor.] Sinclair, Alistair [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1671 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)
	171.	Progress in Cryptology - INDOCRYPT 2000 [electronic resource] : First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000. Proceedings / by Roy, Bimal Kumar [editor.] Okamoto, Eiji [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1977 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)
	172.	Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / by Dahl, Veronica [editor.] Wadler, Philip [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2562 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)
	173.	Agent-Oriented Software Engineering IV [electronic resource] : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers / by Giorgini, Paolo [editor.] Müller, Jörg [editor.] Odell, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2935 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)
	174.	Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / by Lau, Kung-Kiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2042 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)
	175.	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)
	176.	Implementation of Functional Languages [electronic resource] : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers / by Pena, Ricardo [editor.] Arts, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2670 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)
	177.	Generative and Component-Based Software Engineering [electronic resource] : First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers / by Czarnecki, Krzysztof [editor.] Eisenecker, Ulrich W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1799 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)
	178.	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)
	179.	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)
	180.	Principles and Practice of Declarative Programming [electronic resource] : International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / by Nadathur, Gopalan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1702 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 306 results.