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

Results
	3601.	Dependable Computing - EDDC-3 [electronic resource] : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings / by Hlavicka, Jan [editor.] Maehle, Erik [editor.] Pataricza, Andras [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1667 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)
	3602.	Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings / by Wiedermann, Jiri [editor.] Emde Boas, Peter van [editor.] Nielsen, Mogens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1644 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)
	3603.	Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / by Margaria, Tiziana [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2144 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)
	3604.	Static Analysis [electronic resource] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / by Palsberg, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1824 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)
	3605.	Distributed Computing [electronic resource] : Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings / by Das, Sajal K [editor.] Bhattacharya, Swapan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2571 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)
	3606.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / by Damm, Werner [editor.] Olderog, Ernst-Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2469 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)
	3607.	Future Directions in Distributed Computing [electronic resource] : Research and Position Papers / by Schiper, André [editor.] Shvartsman, Alex A [editor.] Weatherspoon, Hakim [editor.] Zhao, Ben Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2584 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)
	3608.	Distributed Algorithms [electronic resource] : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings / by Mavronicolas, Marios [editor.] Tsigas, Philippas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1320 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)
	3609.	Security Protocols [electronic resource] : 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings / by Christianson, Bruce [editor.] Crispo, Bruno [editor.] Lomas, Mark [editor.] Roe, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1361 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)
	3610.	Theoretical Aspects of Computer Software [electronic resource] : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / by Kobayashi, Naoki [editor.] Pierce, Benjamin C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2215 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)
	3611.	Mobile Object Systems Towards the Programmable Internet [electronic resource] : Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers / by Vitek, Jan [editor.] Tschudin, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1222 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)
	3612.	Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings / by Krishnamurthi, Shriram [editor.] Ramakrishnan, C.R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2257 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)
	3613.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I / 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 ; 2667 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)
	3614.	Distributed Computing [electronic resource] : 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings / by Kutten, Shay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1499 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)
	3615.	ECOOP 2000 - Object-Oriented Programming [electronic resource] : 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / by Bertino, Elisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1850 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)
	3616.	Theorem Proving in Higher Order Logics [electronic resource] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / by Gunter, Elsa L [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1275 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)
	3617.	Advanced Information Systems Engineering [electronic resource] : 11th International Conference, CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings / by Jarke, Matthias [editor.] Oberweis, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1626 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)
	3618.	Embedded Software [electronic resource] : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / by Sangiovanni-Vincentelli, Alberto [editor.] Sifakis, Joseph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2491 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)
	3619.	Robot Vision [electronic resource] : International Workshop RobVis 2001 Auckland, New Zealand, February 16-18, 2001 Proceedings / by Klette, Reinhard [editor.] Peleg, Shmuel [editor.] Sommer, Gerald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1998 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)
	3620.	Advanced Information Systems Engineering [electronic resource] : 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings / by Pernici, Barbara [editor.] Thanos, Constantino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1413 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.