Your search returned 612 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
341.
High Performance Computing : ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
342.
Conceptual Modeling : 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
343.
344.
345.
Unimagined Futures - ICT Opportunities and Challenges by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
346.
Service-Oriented Computing : 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
347.
Progress in Cryptology - INDOCRYPT 2020 : 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
348.
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
349.
350.
Cryptology and Network Security : 19th International Conference, CANS 2020, Vienna, Austria, December 14-16, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
351.
Hackathons : From Idea to Successful Implementation by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
352.
Theory of Cryptography : 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, Proceedings, Part II by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
353.
354.
Transactions on Rough Sets XXII by
Material type: Text Text; Format: print
Language: English
Publication details: Berlin Heidelberg Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
355.
Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Berlin Heidelberg Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
356.
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
357.
Mobile Computing, Applications, and Services : 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
358.
Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
359.
Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
360.
Modelling and Development of Intelligent Systems : 6th International Conference, MDIS 2019, Sibiu, Romania, October 3-5, 2019, Revised Selected Papers by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
Pages
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964
© 2015 BITS-Library, BITS-Hyderabad, India.