Refine your search

Your search returned 3990 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2121.
Social Robotics [electronic resource] : 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27-29, 2014. Proceedings / edited by Michael Beetz, Benjamin Johnston, Mary-Anne Williams. by Series: Lecture Notes in Computer Science ; 8755
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2122.
2123.
2124.
2125.
Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Series: Lecture Notes in Computer Science ; 8332
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2126.
Web Technologies and Applications [electronic resource] : APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers / edited by Ruichu Cai, Kang Chen, Liang Hong, Xiaoyan Yang, Rong Zhang, Lei Zou. by Series: Lecture Notes in Computer Science ; 9461
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2127.
Case-Based Reasoning Research and Development [electronic resource] : 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings / edited by Eyke Hüllermeier, Mirjam Minor. by Series: Lecture Notes in Computer Science ; 9343
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2128.
Brain Informatics and Health [electronic resource] : 8th International Conference, BIH 2015, London, UK, August 30 - September 2, 2015. Proceedings / edited by Yike Guo, Karl Friston, Faisal Aldo, Sean Hill, Hanchuan Peng. by Series: Lecture Notes in Computer Science ; 9250
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2129.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Series: Lecture Notes in Computer Science ; 9345
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2130.
Modeling Decisions for Artificial Intelligence [electronic resource] : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings / edited by Vicenc Torra, Torra Narukawa. by Series: Lecture Notes in Computer Science ; 9321
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2131.
2132.
2133.
Mathematics and Computation in Music [electronic resource] : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / edited by Tom Collins, David Meredith, Anja Volk. by Series: Lecture Notes in Computer Science ; 9110
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2134.
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer. by Series: Lecture Notes in Computer Science ; 9109
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2135.
Advances in Cryptology - CRYPTO 2014 [electronic resource] : 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II / edited by Juan A. Garay, Rosario Gennaro. by Series: Lecture Notes in Computer Science ; 8617
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2136.
Advances in Cryptology - CRYPTO 2014 [electronic resource] : 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I / edited by Juan A. Garay, Rosario Gennaro. by Series: Lecture Notes in Computer Science ; 8616
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2137.
Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / edited by Borzoo Bonakdarpour, Scott A. Smolka. by Series: Lecture Notes in Computer Science ; 8734
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2138.
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 11th International Conference, DIMVA 2014, Egham, UK, July 10-11, 2014. Proceedings / edited by Sven Dietrich. by Series: Lecture Notes in Computer Science ; 8550
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2139.
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella. by Series: Lecture Notes in Computer Science ; 9234
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2140.
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Colin Johnson, Adrian Carballal, João Correia. by Series: Lecture Notes in Computer Science ; 9027
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India