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

Results
	101.	Formal Aspects of Security [electronic resource] : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers / by Abdallah, Ali E [editor.] Ryan, Peter [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2629 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)
	102.	Types in Compilation [electronic resource] : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / by Leroy, Xavier [editor.] Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1473 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)
	103.	Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / by Boer, Frank S.de [editor.] Bonsangue, Marcello [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2852 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)
	104.	Mobile Data Management [electronic resource] : 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings / by Chen, Ming-Syan [editor.] Chrysanthis, Panos K [editor.] Sloman, Morris [editor.] Zaslavsky, Arkady [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2574 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)
	105.	Algorithms for Memory Hierarchies [electronic resource] : Advanced Lectures / by Meyer, Ulrich [editor.] Sanders, Peter [editor.] Sibeyn, Jop [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2625 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)
	106.	Middleware 2001 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings / by Guerraoui, Rachid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2218 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)
	107.	Formal Techniques for Networked and Distributed Systems - FORTE 2002 [electronic resource] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings / by Peled, Doron A [editor.] Vardi, Moshe Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2529 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)
	108.	Compiler Construction [electronic resource] : 8th International Conference, CC'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 Jähnichen, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1575 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)
	109.	High-Level Parallel Programming Models and Supportive Environments [electronic resource] : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings / by Mueller, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2026 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)
	110.	Formal Techniques for Networked and Distributed Systems - FORTE 2003 [electronic resource] : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / by König, Hartmut [editor.] Heiner, Monika [editor.] Wolisz, Adam [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2767 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)
	111.	Parallel Computing Technologies [electronic resource] : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1662 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)
	112.	Computer Safety, Reliability and Security [electronic resource] : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings / by Felici, Massimo [editor.] Kanoun, Karama [editor.] Pasquini, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1698 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)
	113.	Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / by Bustard, David [editor.] Liu, Weiru [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2311 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)
	114.	Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers / by Grigoras, Dan [editor.] Nicolau, Alex [editor.] Toursel, Bernard [editor.] Folliot, Bertil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2326 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)
	115.	Application and Theory of Petri Nets 1998 [electronic resource] : 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings / by Desel, Jörg [editor.] Silva, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1420 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)
	116.	Compiler Construction [electronic resource] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Watt, David A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1781 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)
	117.	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)
	118.	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)
	119.	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)
	120.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 132 results.