Results
|
|
281.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Series: Lecture Notes in Computer Science ; 7795
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
282.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Series: Lecture Notes in Computer Science ; 7795
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
283.
|
|
|
|
284.
|
|
|
|
285.
|
|
|
|
286.
|
|
|
|
287.
|
|
|
|
288.
|
|
|
|
289.
|
Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Series: Lecture Notes in Computer Science ; 8581
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).
|
|
|
290.
|
Advances in Cryptology - CRYPTO 2022 [electronic resource] : 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part III / edited by Yevgeniy Dodis, Thomas Shrimpton. by Series: Lecture Notes in Computer Science ; 13509
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 005.824.
|
|
|
291.
|
|
|
|
292.
|
Advances in Spatial and Temporal Databases [electronic resource] : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings / edited by Mario A. Nascimento, Timos Sellis, Reynold Cheng, Jörg Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock. by Series: Lecture Notes in Computer Science ; 8098
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
293.
|
|
|
|
294.
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Leonardo Vanneschi, William S. Bush, Mario Giacobini. by Series: Lecture Notes in Computer Science ; 7833
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
295.
|
|
|
|
296.
|
|
|
|
297.
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, José Gabriel de Figueiredo Coutinho, Pedro C. Diniz. by Series: Lecture Notes in Computer Science ; 7806
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
298.
|
Research in Computational Molecular Biology [electronic resource] : 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings / edited by Minghua Deng, Rui Jiang, Fengzhu Sun, Xuegong Zhang. by Series: Lecture Notes in Computer Science ; 7821
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
299.
|
Availability, Reliability, and Security in Information Systems [electronic resource] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2014 and 4th International Workshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2014, Fribourg, Switzerland, September 8-12, 2014. Proceedings / edited by Stephanie Teufel, Tjoa A Min, Ilsun You, Edgar Weippl. by Series: Lecture Notes in Computer Science ; 8708
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).
|
|
|
300.
|
|