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

Results
	6301.	Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Pettorossi, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2372 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)
	6302.	Types for Proofs and Programs [electronic resource] : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / by Gimenez, Eduardo [editor.] Paulin-Mohring, Christine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1512 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)
	6303.	Foundations of Software Science and Computational Structures [electronic resource] : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Gordon, Andrew D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2620 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)
	6304.	NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications [electronic resource] : Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002 Proceedings / by Gregori, Enrico [editor.] Conti, Marco [editor.] Cambell, Andrew T [editor.] Omidyar, Guy [editor.] Zukerman, Moshe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2345 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)
	6305.	Lectures on Embedded Systems [electronic resource] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / by Rozenberg, Grzegorz [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1494 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)
	6306.	Multimodal Human-Computer Communication [electronic resource] : Systems, Techniques, and Experiments / by Bunt, Harry [editor.] Beun, Robbert-Jan [editor.] Borghuis, Tijn [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1374 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)
	6307.	Coordination Languages and Models [electronic resource] : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / by Ciancarini, Paolo [editor.] Wolf, Alexander L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1594 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)
	6308.	On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops [electronic resource] : OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings / by Tari, Zahir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2889 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)
	6309.	Mathematical Foundations of Computer Science 2003 [electronic resource] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / by Rovan, Branislav [editor.] Vojtas, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2747 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)
	6310.	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)
	6311.	Intelligent Agent Systems: Theoretical and Practical Issues [electronic resource] : Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996 / by Cavedon, Lawrence [editor.] Rao, Anand [editor.] Wobcke, Wayne [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1209 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)
	6312.	Computer Aided Verification [electronic resource] : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / by Halbwachs, Nicolas [editor.] Peled, Doron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1633 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)
	6313.	Developing an Infrastructure for Mobile and Wireless Systems [electronic resource] : NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised Papers / by König-Ries, Birgitta [editor.] Makki, Kia [editor.] Makki, S. A. M [editor.] Pissinou, Niki [editor.] Scheuermann, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2538 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)
	6314.	Learning Robots [electronic resource] : 6th European Workshop EWLR-6, Brighton, England, August 1-2, 1997 Proceedings / by Birk, Andreas [editor.] Demiris, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1545 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)
	6315.	Ambient Intelligence [electronic resource] : Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings / by Markopoulos, Panos [editor.] Eggen, Berry [editor.] Aarts, Emile [editor.] Crowley, James L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3295 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)
	6316.	Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / by Böszörményi, László [editor.] Schojer, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2789 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)
	6317.	From Theory to Practice in Multi-Agent Systems [electronic resource] : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers / by Dunin-Keplicz, Barbara [editor.] Nawarecki, Edward [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2296 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)
	6318.	Network-Based Parallel Computing - Communication, Architecture, and Applications [electronic resource] : 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings / by Falsafi, Babak [editor.] Lauria, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1797 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)
	6319.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'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 Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1384 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)
	6320.	Fundamental Approaches to Software Engineering [electronic resource] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings / by Hussmann, Heinrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2029 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7030 results.