Results of search for 'ccl=su:{Theory of Computation.} and su-to:Operating Systems and su-to:Theory of Computation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Progress in Distributed Operating Systems and Distributed Systems Management [electronic resource] : European Workshop, Berlin, FRG, April 18/19, 1989, Proceedings / by Schröder-Preikschat, Wolfgang [editor.] Zimmer, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 433 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	62.	Grid and Cooperative Computing - GCC 2004 [electronic resource] : Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings / by Jin, Hai [editor.] Pan, Yi [editor.] Xiao, Nong [editor.] Sun, Jianhua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3251 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)
	63.	DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond [electronic resource] : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings / by Schill, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 731 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	64.	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)
	65.	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)
	66.	Financial Cryptography [electronic resource] : Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings / by Hirschfeld, Rafael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1465 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)
	67.	Memory Management [electronic resource] : International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings / by Baker, Henry G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 986 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	68.	Topics in Cryptology - CT-RSA 2002 [electronic resource] : The Cryptographer's Track at the RSA Conference 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings / by Preneel, Bart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2271 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)
	69.	Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Baier, Christel [editor.] Haverkort, Boudewijn R [editor.] Hermanns, Holger [editor.] Katoen, Joost-Pieter [editor.] Siegle, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2925 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)
	70.	Grid and Cooperative Computing - GCC 2004 Workshops [electronic resource] : GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004 / by Jin, Hai [editor.] Pan, Yi [editor.] Xiao, Nong [editor.] Sun, Jianhua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3252 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)
	71.	Computer Security and Industrial Cryptography [electronic resource] : State of the Art and Evolution. ESAT Course, Leuven, Belgium, May 21-23, 1991 / by Preneel, Bart [editor.] Govaerts, Rene [editor.] Vandewalle, Joos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 741 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	72.	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)
	73.	Software Security - Theories and Systems [electronic resource] : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / by Futatsugi, Kokichi [editor.] Mizoguchi, Fumio [editor.] Yonezaki, Naoki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3233 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)
	74.	Trends in Distributed Systems: CORBA and Beyond [electronic resource] : International Workshop TreDS '96 Aachen, Germany, October 1 - 2, 1996; Proceedings / by Spaniol, Otto [editor.] Linnhoff-Popien, Claudia [editor.] Meyer, Bernd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1161 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	75.	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)
	76.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / by Brinksma, Ed [editor.] Cleaveland, W. Rance [editor.] Larsen, Kim G [editor.] Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1019 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	77.	Grid Computing [electronic resource] : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers / by Dikaiakos, Marios D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3165 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)
	78.	Application and Theory of Petri Nets 1992 [electronic resource] : 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings / by Jensen, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 616 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	79.	Advances in Distributed Systems [electronic resource] : Advanced Distributed Computing: From Algorithms to Systems / by Krakowiak, Sacha [editor.] Shrivastava, Santosh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1752 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)
	80.	Grid and Cooperative Computing [electronic resource] : Second International Workshop, GCC 2003 Shanhai, China, December 7–10, 2003 Revised Papers, Part I / by Li, Minglu [editor.] Sun, Xian-He [editor.] Deng, Qianni [editor.] Ni, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3032 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 118 results.