Results of search for 'ccl=su:{Operating systems }' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Windows powershell pocket reference by Holmes, Lee Series: Pocket reference Material type: Text; Format: print ; Literary form: Not fiction Publication details: Beijing ; Sebastopol, CA : O'Reilly, ©2008 Online access: Table of contents only Contributor biographical information Publisher description Availability: Items available for loan: IIITD (1)Call number: 005.42 HOL-W. Place hold Add to cart (remove)
	2.	An introduction to operating systems : concepts and practice by Bhatt, Pramod Chandra P Edition: 4th Ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : PHI, c2014 Availability: Items available for loan: IIITD (1)Call number: REF 005.43 BHA-I. Not available: IIITD: Loan on demand (1). Place hold Add to cart (remove)
	3.	Linux command line and shell scripting bible by Blum, Richard Bresnahan, Christine Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Wiley, ©2015 Availability: Items available for loan: IIITD (21)Call number: 005.432 BLU-L, ... Not available: IIITD: Checked out (1). Tags: Linux (1) bash (1) shell (1) Lists: Systems Programming. (1 votes) Place hold Add to cart (remove)
	4.	Operating systems : a concept based approach by Dhamdhere, D. M Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : McGraw Hill, ©2002 Availability: Items available for loan: IIITD (1)Call number: 005.43 DHA-O. Place hold Add to cart (remove)
	5.	Building microservices : designing fine-grained systems by Newman, Sam Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : O'Reilly, ©2021 Availability: Items available for loan: IIITD (1)Call number: 005.1 NEW-B. Place hold Add to cart (remove)
	6.	Efficient linux at the command line : boost your command-line skills by Barrett, Daniel J Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Shroff Publishers, ©2022 Availability: Items available for loan: IIITD (1)Call number: 005.432 BAR-E. Place hold Add to cart (remove)
	7.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by Steffen, Martin [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3535 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / by Shao, Zhong [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4807 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Security in Pervasive Computing [electronic resource] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers / by Hutter, Dieter [editor.] Müller, Günter [editor.] Stephan, Werner [editor.] Ullmann, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2802 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)
	10.	NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9058 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Formal Aspects in Security and Trust [electronic resource] : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / by Dimitrakos, Theo [editor.] Martinelli, Fabio [editor.] Ryan, Peter Y.A [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3866 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Information Systems Security [electronic resource] : First International conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings / by Jajodia, Sushil [editor.] Mazumdar, Chandan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3803 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Rust, Heinrich [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3456 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Das, Nabanita [editor.] Sen, Arunabha [editor.] Das, Sajal K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3326 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence / by Alemi, Mario [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Structural Information and Communication Complexity [electronic resource] : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / by Lotker, Zvi [editor.] Patt-Shamir, Boaz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11085 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Advances in Information and Computer Security [electronic resource] : First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings / by Yoshiura, Hiroshi [editor.] Sakurai, Kouichi [editor.] Rannenberg, Kai [editor.] Murayama, Yuko [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4266 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Combinatorial Optimization and Applications [electronic resource] : 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings / by Li, Yingshu [editor.] Cardei, Mihaela [editor.] Huang, Yan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11949 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Financial Cryptography and Data Security [electronic resource] : 26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers / by Eyal, Ittay [editor.] Garay, Juan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13411 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / by Preneel, Bart [editor.] Tavares, Stafford [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3897 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 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 405 results.