Refine your search

Your search returned 1701 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1501.
1502.
Artificial Neural Networks and Machine Learning - ICANN 2023 [electronic resource] : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IX / edited by Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne. 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
1503.
1504.
Supercomputing [electronic resource] : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings / edited by Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer. by Series: Lecture Notes in Computer Science ; 8488
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
1505.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by Series: Lecture Notes in Computer Science ; 8044
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
1506.
Information Technologies and Intelligent Decision Making Systems [electronic resource] : Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers / edited by Arthur Gibadullin. 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: 005.7.

Place hold Save to lists
1507.
1508.
Foundations of Health Information Engineering and Systems [electronic resource] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / edited by Jeremy Gibbons, Wendy MacCaull. by Series: Lecture Notes in Computer Science ; 8315
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
1509.
Computer Security - ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli. by Series: Lecture Notes in Computer Science ; 7459
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
1510.
Database and Expert Systems Applications [electronic resource] : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I / edited by Christine Strauss, Toshiyuki Amagasa, Gabriele Kotsis, A Min Tjoa, Ismail Khalil. 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: 005.74.

Place hold Save to lists
1511.
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by Series: Lecture Notes in Computer Science ; 8000
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
1512.
Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-François Raskin. by Series: Lecture Notes in Computer Science ; 8837
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
1513.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / edited by Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki. by Series: Lecture Notes in Computer Science ; 9067
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
1514.
Graph-Based Representation and Reasoning [electronic resource] : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings / edited by Nathalie Hernandez, Robert Jäschke, Madalina Croitoru. by Series: Lecture Notes in Computer Science ; 8577
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
1515.
Progress in Cryptology - AFRICACRYPT 2023 [electronic resource] : 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings / edited by Nadia El Mrabet, Luca De Feo, Sylvain Duquesne. 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: 005.824.

Place hold Save to lists
1516.
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by Series: Lecture Notes in Computer Science ; 8301
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1517.
Information Security and Cryptology - ICISC 2021 [electronic resource] : 24th International Conference, Seoul, South Korea, December 1-3, 2021, Revised Selected Papers / edited by Jong Hwan Park, Seung-Hyun Seo. by Series: Lecture Notes in Computer Science ; 13218
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: (1)Call number: 005.8.

Place hold Save to lists
1518.
Post-Quantum Cryptography [electronic resource] : 13th International Workshop, PQCrypto 2022, Virtual Event, September 28-30, 2022, Proceedings / edited by Jung Hee Cheon, Thomas Johansson. by Series: Lecture Notes in Computer Science ; 13512
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: 005.824.

Place hold Save to lists
1519.
Network and System Security [electronic resource] : 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings / edited by Xingliang Yuan, Guangdong Bai, Cristina Alcaraz, Suryadipta Majumdar. by Series: Lecture Notes in Computer Science ; 13787
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.824.

Place hold Save to lists
1520.
                                                                           
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