Results of search for 'ccl=su:"Operating Systems"' › BITS Pilani Hyderabad catalog

Library Working Hours During Recess
Monday to Friday	09:00 AM - 07:00 PM
Saturday	09:00 AM - 05:00 PM
Sundays & Holidays	Closed

Patron Checkouts
Patrons	No. of Books Issued	Loan Period	Overdue Charges
Faculty	25	6 months	Nil
Students	10	2 Weeks	Re. 1 Per Book Per Day
Research Scholars	15	30 Days	Nil
Staff	5	30 Days	Nil

Results
	181.	Frontiers in Cyber Security : Third International Conference, FCS 2020, Tianjin, China, November 15-17, 2020, Proceedings by Guangquan Xu, Kaitai Liang, Chunhua Su Material type: Text; Format: print Language: English Publication details: Singapore Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	182.	The Amazing Journey of Reason : from DNA to Artificial Intelligence by Mario Alemi Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	183.	Distributed Computing and Internet Technology : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings by Dang Van Hung, Meenakshi D´Souza Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	184.	New Approaches to Gear Design and Production by Veniamin Goldfarb, Evgenii Trubachev, Natalya Barmina Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	185.	Parallel Architectures, Algorithms and Programming : 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019, Revised Selected Papers by Hong Shen, Yingpeng Sang Material type: Text; Format: print Language: English Publication details: Singapore Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	186.	Computational Advances in Bio and Medical Sciences : 9th International Conference, ICCABS 2019, Miami, FL, USA, November 15-17, 2019, Revised Selected Papers by Ion Măndoiu, T. M. Murali, Giri Narasimhan, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	187.	Cloud Computing and Services Science : 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers by Donald Ferguson, Víctor Méndez Muñoz, Claus Pahl, Markus Helfert Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	188.	High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 10th International Conference, HPCST 2020, Barnaul, Russia, May 15-16, 2020, Revised Selected Papers by Vladimir Jordan, Nikolay Filimonov, Ilya Tarasov, Vladimir Faerman Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	189.	Information Systems Security and Privacy : 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers by Paolo Mori, Steven Furnell, Olivier Camp Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	190.	Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures by Jonathan P. Bowen, Zhiming Liu, Zili Zhang Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	191.	Well-Being in the Information Society. Fruits of Respect : 8th International Conference, WIS 2020, Turku, Finland, August 26-27, 2020, Proceedings by Mirella Cacace, Raija Halonen, Hongxiu Li, Thao Phuong Orrensalo, Chenglong Li, Gunilla Widén, Reima Suomi Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	192.	Cloud Computing, Big Data & Emerging Topics : 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings by Enzo Rucci, Marcelo Naiouf, Franco Chichizola, Laura De Giusti Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	193.	Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings by Dirk Beyer, Damien Zufferey Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	194.	Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part II by Sheng Wen, Albert Zomaya, Laurence T. Yang Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	195.	Intelligent Technologies and Applications : Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6-8, 2019, Revised Selected Papers by Imran Sarwar Bajwa, Tatjana Sibalija, Dayang Norhayati Abang Jawawi Material type: Text; Format: print Language: English Publication details: Singapore Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	196.	Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings by Dhabaleswar K. Panda Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	197.	Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	198.	Technologies and Innovation : 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings by Rafael Valencia-García, Gema Alcaraz-Marmol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	199.	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)
	200.	Parallel Agile - faster delivery, fewer defects, lower cost by Doug Rosenberg, Barry Boehm, Matt Stephens, Charles Suscheck, Shobha Rani Dhalipathi, Bo Wang Material type: Text; Format: print Language: English Publication details: Cham Springer 2020 Online resources: Click here to access online Availability: Items available for loan: BITS Pilani Hyderabad (1). Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Titles

Your search returned 343 results.