Results of search for 'ccl=su:{Programming }' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2801.	Computing and Combinatorics [electronic resource] : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings / by Asano, Takao [editor.] Imai, Hiroshi [editor.] Lee, D.T [editor.] Nakano, Shin-ichi [editor.] Tokuyama, Takeshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1627 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)
	2802.	Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / by Dams, Dennis [editor.] Gerth, Robert [editor.] Leue, Stefan [editor.] Massinek, Mieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1680 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)
	2803.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2196 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)
	2804.	Parallel Problem Solving from Nature - PPSN V [electronic resource] : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings / by Eiben, Agoston E [editor.] Bäck, Thomas [editor.] Schoenauer, Marc [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1498 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)
	2805.	Software Engineering - ESEC-FSE '97 [electronic resource] : 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings / by Jazayeri, Mehdi [editor.] Schauer, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1301 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)
	2806.	Formal Methods for Software Architectures [electronic resource] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / by Bernardo, Marco [editor.] Inverardi, Paola [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2804 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)
	2807.	Languages and Compilers for Parallel Computing [electronic resource] : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers / by Dietz, Henry Gordon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2624 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)
	2808.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / by Callaghan, Paul [editor.] Luo, Zhaohui [editor.] McKinna, James [editor.] Pollack, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2277 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)
	2809.	Advanced Functional Programming [electronic resource] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / by Jeuring, Johan [editor.] Peyton Jones, Simon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2638 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)
	2810.	Hybrid Systems: Computation and Control [electronic resource] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings / by Di Benedetto, Maria D [editor.] Sangiovanni-Vincentelli, Alberto L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2034 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)
	2811.	Compiler Optimizations for Scalable Parallel Systems [electronic resource] : Languages, Compilation Techniques, and Run Time Systems / by Pande, Santosh [editor.] Agrawal, Dharma P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1808 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)
	2812.	Advances in Computing Science - ASIAN 2000 [electronic resource] : 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings / by He, Jifeng [editor.] Sato, Masahiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1961 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)
	2813.	Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / by Gopalakrishnan, Ganesh [editor.] Windley, Phillip [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1522 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)
	2814.	UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools [electronic resource] : 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings / by Jezequel, Jean-Marc [editor.] Hussman, Heinrich [editor.] Cook, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2460 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)
	2815.	Developments in Language Theory [electronic resource] : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers / by Kuich, Werner [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2295 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)
	2816.	Foundations of Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Nivat, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1378 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)
	2817.	Programs as Data Objects [electronic resource] : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / by Danvy, Olivier [editor.] Filinski, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2053 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)
	2818.	Programming Languages and Systems [electronic resource] : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings / by Swierstra, S. Doaitse [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1576 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)
	2819.	Services Management in Intelligent Networks [electronic resource] : 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 Proceedings / by Ambler, Anthony [editor.] Calo, Seraphin B [editor.] Kar, Gautam [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1960 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)
	2820.	Telecommunications and beyond: The Broader Applicability of SDL and MSC [electronic resource] : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers / by Sherratt, Edel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2599 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 3356 results.