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

Results
	2401.	Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / by Lloyd, John [editor.] Dahl, Veronica [editor.] Furbach, Ulrich [editor.] Kerber, Manfred [editor.] Lau, Kung-Kiu [editor.] Palamidessi, Catuscia [editor.] Pereira, Luis M [editor.] Sagiv, Yehoshua [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1861 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)
	2402.	Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / by Sloot, Peter M.A [editor.] Tan, C.J. Kenneth [editor.] Dongarra, Jack J [editor.] Hoekstra, Alfons G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2331 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)
	2403.	Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers / by Aichernig, Bernhard K [editor.] Maibaum, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2757 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)
	2404.	Self-Stabilizing Systems [electronic resource] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / by Datta, Ajoy K [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2194 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)
	2405.	Approximation and Online Algorithms [electronic resource] : First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers / by Jansen, Klaus [editor.] Solis-Oba, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2909 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)
	2406.	High Performance Computing for Computational Science - VECPAR 2002 [electronic resource] : 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks / by Palma, José M.L.M [editor.] Dongarra, Jack [editor.] Hernández, Vicente [editor.] Sousa, A. Augusto [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2565 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)
	2407.	Parallel and Distributed Processing and Applications [electronic resource] : International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings / by Guo, Minyi [editor.] Yang, Laurence Tianruo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2745 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)
	2408.	Component Deployment [electronic resource] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings / by Emmerich, Wolfgang [editor.] Wolf, Alexander L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3083 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)
	2409.	Applied Parallel Computing: Advanced Scientific Computing [electronic resource] : 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings / by Fagerholm, Juha [editor.] Haataja, Juha [editor.] Järvinen, Jari [editor.] Lyly, Mikko [editor.] Raback, Peter [editor.] Savolainen, Ville [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2367 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)
	2410.	Euro-Par 2001 Parallel Processing [electronic resource] : 7th International Euro-Par Conference Manchester, UK August 28-31, 2001 Proceedings / by Sakellariou, Rizos [editor.] Keane, John [editor.] Gurd, John [editor.] Freeman, Len [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2150 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)
	2411.	Optimal Interprocedural Program Optimization [electronic resource] : A New Framework and Its Application / by Knoop, Jens [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1428 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)
	2412.	The Essence of Computation [electronic resource] : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones / by Mogensen, Torben [editor.] Schmidt, David [editor.] Sudborough, I. Hal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2566 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)
	2413.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / by Zuck, Lenore D [editor.] Attie, Paul D [editor.] Cortesi, Agostino [editor.] Mukhopadhyay, Supratik [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2575 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)
	2414.	Communication in Multiagent Systems [electronic resource] : Agent Communication Languages and Conversation Policies / by Huget, Marc-Phillipe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2650 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)
	2415.	Agent-Based Hybrid Intelligent Systems [electronic resource] : An Agent-Based Framework for Complex Problem Solving / by Zhang, Zili [editor.] Zhang, Chengqi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2938 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)
	2416.	FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / by Araki, Keijiro [editor.] Gnesi, Stefania [editor.] Mandrioli, Dion [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2805 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)
	2417.	Principles and Practice of Semantic Web Reasoning [electronic resource] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / by Bry, Francois [editor.] Henze, Nicola [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2901 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)
	2418.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II / by Kumar, Vipin [editor.] Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] L'Ecuyer, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2668 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)
	2419.	Concurrency and Hardware Design [electronic resource] : Advances in Petri Nets / by Cortadella, Jordi [editor.] Yakovlev, Alex [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2549 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)
	2420.	Formal Syntax and Semantics of Java [electronic resource] / by Alves-Foss, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1523 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.