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

Results
	2941.	Grid Computing - GRID 2000 [electronic resource] : First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings / by Buyya, Rajkumar [editor.] Baker, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1971 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)
	2942.	Distributed Communities on the Web [electronic resource] : 4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002, Revised Papers / by Plaice, John [editor.] Kropf, Peter [editor.] Schulthess, Peter [editor.] Slonim, Jacob [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2468 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)
	2943.	Engineering Applications of Bio-Inspired Artificial Neural Networks [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II / by Mira, Jose [editor.] Sanchez-Andres, Juan V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1607 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)
	2944.	Performance Evaluation of Complex Systems: Techniques and Tools [electronic resource] : Performance 2002. Tutorial Lectures / by Calzarossa, Maria Carla [editor.] Tucci, Salvatore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2459 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)
	2945.	Process Algebra and Probabilistic Methods: Performance Modeling and Verification [electronic resource] : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / by Hermanns, Holger [editor.] Segala, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2399 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)
	2946.	Fundamental Approaches to Software Engineering [electronic resource] : First International Conference, FASE'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 Astesiano, Egidio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1382 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)
	2947.	FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / by Oliveira, Jose N [editor.] Zave, Pamela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2021 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)
	2948.	Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / by Jorge, Joaquim [editor.] Jardim Nunes, Nuno [editor.] Falcao e Cunha, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2844 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)
	2949.	Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / by Wang, Farn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3299 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)
	2950.	Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / by Orejas, Fernando [editor.] Spirakis, Paul G [editor.] Leeuwen, Jan van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2076 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)
	2951.	Advanced Symbolic Analysis for Compilers [electronic resource] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization / by Fahringer, Thomas [author.] Scholz, Bernhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2628 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)
	2952.	Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 / by Hochet, Bertrand [editor.] Acosta, Antonio J [editor.] Bellido, Manuel J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2451 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)
	2953.	Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / by Hunt, Jr., Warren A [editor.] Somenzi, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2725 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)
	2954.	Model Checking Software [electronic resource] : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / by Ball, Thomas [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2648 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)
	2955.	Applied Formal Methods - FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / by Hutter, Dieter [editor.] Stephan, Werner [editor.] Traverso, Paolo [editor.] Ullmann, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1641 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)
	2956.	Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings / by Yonezawa, Akinori [editor.] Matsuoka, Satoshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2192 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)
	2957.	Fundamental Approaches to Software Engineering [electronic resource] : Second International Conference, FASE'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 Finance, Jean-Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1577 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)
	2958.	Computer Safety, Reliability, and Security [electronic resource] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / by Anderson, Stuart [editor.] Felici, Massimo [editor.] Littlewood, Bev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2788 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)
	2959.	SOFSEM'99: Theory and Practice of Informatics [electronic resource] : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings / by Pavelka, Jan [editor.] Tel, Gerard [editor.] Bartosek, Miroslav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1725 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)
	2960.	Transactional Agents [electronic resource] : Towards a Robust Multi-Agent System / by Nagi, Khaled [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2249 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

Topics

Your search returned 3111 results.