Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Engineering and su-to:Compilers Computer programs and su-to:Computer programming' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	521.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1924 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)
	522.	Static Analysis [electronic resource] : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / by Cousot, Radhia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2694 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)
	523.	Logic Programming [electronic resource] : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings / by Codognet, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2237 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)
	524.	High Performance Computing [electronic resource] : Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings / by Valero, Mateo [editor.] Joe, Kazuki [editor.] Kitsuregawa, Masaru [editor.] Tanaka, Hidehiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1940 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)
	525.	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)
	526.	Reflection and Software Engineering [electronic resource] / by Cazzola, Walter [editor.] Stroud, Robert J [editor.] Tisato, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1826 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)
	527.	Generic Programming [electronic resource] : Advanced Lectures / by Backhouse, Roland [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2793 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)
	528.	High-Level Parallel Programming Models and Supportive Environments [electronic resource] : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings / by Mueller, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2026 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)
	529.	Perspectives of System Informatics [electronic resource] : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings / by Bjørner, Dines [editor.] Broy, Manfred [editor.] Zamulin, Alexandre V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1755 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)
	530.	Principles and Practice of Constraint Programming - CP 2001 [electronic resource] : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings / by Walsh, Toby [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2239 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)
	531.	Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / by Bert, Didier [editor.] Choppy, Christine [editor.] Mosses, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1827 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)
	532.	Reliable Software Technologies Ada-Europe 2000 [electronic resource] : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / by Keller, Hubertus B [editor.] Plödereder, Erhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1845 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)
	533.	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)
	534.	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)
	535.	Generative Programming and Component Engineering [electronic resource] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / by Pfenning, Frank [editor.] Smaragdakis, Yannis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2830 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)
	536.	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)
	537.	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)
	538.	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)
	539.	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)
	540.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 593 results.