Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
2321.
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Series: Lecture Notes in Computer Science ; 9207
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
2322.
Artificial General Intelligence [electronic resource] : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings / edited by Ben Goertzel, Matt Iklé, Alexey Potapov, Denis Ponomaryov. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.3.

Place hold Save to lists
2323.
Discovery Science [electronic resource] : 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings / edited by Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi. by Series: Lecture Notes in Computer Science ; 8140
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2324.
IoT Edge Solutions for Cognitive Buildings [electronic resource] / edited by Franco Cicirelli, Antonio Guerrieri, Andrea Vinci, Giandomenico Spezzano. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 621.38.

Place hold Save to lists
2325.
2326.
Engineering Multi-Agent Systems [electronic resource] : 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers / edited by Andrei Ciortea, Mehdi Dastani, Jieting Luo. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.3.

Place hold Save to lists
2327.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings / edited by Luis Gomes, Robert Lorenz. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.22.

Place hold Save to lists
2328.
Discovery Science [electronic resource] : 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012. Proceedings / edited by Jean-Gabriel Ganascia, Philippe Lenca, Jean-Marc Petit. by Series: Lecture Notes in Computer Science ; 7569
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2329.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2330.
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by Series: Lecture Notes in Computer Science ; 8130
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2331.
2332.
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [electronic resource] : 11th International Conference, HPCST 2021, Barnaul, Russia, May 21-22, 2021, Revised Selected Papers / edited by Vladimir Jordan, Ilya Tarasov, Vladimir Faerman. by Series: Communications in Computer and Information Science ; 1526
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 621.39 | 004.6.

Place hold Save to lists
2333.
2334.
Information Security and Cryptology [electronic resource] : 7th International Conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011. Revised Selected Papers / edited by Chuan-Kun Wu, Moti Yung, Dongdai Lin. by Series: Lecture Notes in Computer Science ; 7537
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2335.
AI 2012: Advances in Artificial Intelligence [electronic resource] : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings / edited by Michael Thielscher, Dongmo Zhang. by Series: Lecture Notes in Computer Science ; 7691
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2336.
2337.
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen. by Series: Lecture Notes in Computer Science ; 8197
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2338.
Rewriting and Typed Lambda Calculi [electronic resource] : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gilles Dowek. by Series: Lecture Notes in Computer Science ; 8560
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
2339.
Transactions on Edutainment IX [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Fotis Liarokapis. by Series: Lecture Notes in Computer Science ; 7544
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
2340.
Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin. by Series: Lecture Notes in Computer Science ; 7979
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
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