Results
|
|
561.
|
|
|
|
562.
|
|
|
|
563.
|
Advances in Cryptology -- CRYPTO 2015 [electronic resource] : 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II / edited by Rosario Gennaro, Matthew Robshaw. by Series: Lecture Notes in Computer Science ; 9216
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
564.
|
Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe. by Series: Lecture Notes in Computer Science ; 9494
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
565.
|
|
|
|
566.
|
|
|
|
567.
|
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Series: Lecture Notes in Computer Science ; 9409
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
568.
|
|
|
|
569.
|
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Series: Lecture Notes in Computer Science ; 9206
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
570.
|
|
|
|
571.
|
|
|
|
572.
|
|
|
|
573.
|
|
|
|
574.
|
Multi-Agent-Based Simulation XIV [electronic resource] : International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Shah Jamal Alam, H. Van Dyke Parunak. by Series: Lecture Notes in Computer Science ; 8235
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
575.
|
|
|
|
576.
|
|
|
|
577.
|
|
|
|
578.
|
Trust, Privacy, and Security in Digital Business [electronic resource] : 11th International Conference, TrustBus 2014, Munich, Germany, September 2-3, 2014. Proceedings / edited by Claudia Eckert, Sokratis K. Katsikas, Günther Pernul. by Series: Lecture Notes in Computer Science ; 8647
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
579.
|
|
|
|
580.
|
SOFSEM 2014: Theory and Practice of Computer Science [electronic resource] : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / edited by Viliam Geffert, Bart Preneel, Branislav Rovan, Július Štuller, A Min Tjoa. by Series: Lecture Notes in Computer Science ; 8327
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Availability: Items available for loan: National Library of India (1).
|