Refine your search

Your search returned 1701 results.

Sort
Results
1441.
1442.
Reversible Computation [electronic resource] : 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings / edited by Claudio Antares Mezzina, Krzysztof Podlaski. by Series: Lecture Notes in Computer Science ; 13354
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.395.

1443.
Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings / edited by Benedek Nagy. 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: 004.0151.

1444.
1445.
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by Series: Lecture Notes in Computer Science ; 7842
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).

1446.
Distributed Artificial Intelligence [electronic resource] : Third International Conference, DAI 2021, Shanghai, China, December 17-18, 2021, Proceedings / edited by Jie Chen, Jérôme Lang, Christopher Amato, Dengji Zhao. by Series: Lecture Notes in Artificial Intelligence ; 13170
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: 006.3.

1447.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [electronic resource] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi. 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.1.

1448.
Proceedings of the International Health Informatics Conference [electronic resource] : IHIC 2022 / edited by Sarika Jain, Sven Groppe, Nandana Mihindukulasooriya. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.3.

1449.
Metrics That Make a Difference [electronic resource] : How to Analyze Change and Error / by Robert Gilmore Pontius Jr. by Series: Advances in Geographic Information Science
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: 910.285.

1450.
1451.
Algebraic Informatics [electronic resource] : 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings / edited by Dimitrios Poulakis, George Rahonis. by Series: Lecture Notes in Computer Science ; 13706
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: 004.0151.

1452.
Integer Programming and Combinatorial Optimization [electronic resource] : 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings / edited by Karen Aardal, Laura Sanità. by Series: Lecture Notes in Computer Science ; 13265
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: 004.0151.

1453.
Web Information Systems and Technologies [electronic resource] : 18th International Conference, WEBIST 2022, Valletta, Malta, October 25-27, 2022, Revised Selected Papers / edited by Massimo Marchiori, Francisco José Domínguez Mayo, Joaquim Filipe. 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.3.

1454.
Artificial General Intelligence [electronic resource] : 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings / edited by Patrick Hammer, Marjan Alirezaie, Claes Strannegård. 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.

1455.
Geophysical data analysis and inverse theory with MATLAB® and Python / William Menke. by
Edition: Fifth edition.
Material type: Text Text; Literary form: Not fiction
Publisher: London, United Kingdom : Academic Press is an imprint of Elsevier, 2024
Online resources:
Availability: Items available for loan: (1)Call number: 551.

1456.
Biomedical and Computational Biology [electronic resource] : Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers / edited by Shiping Wen, Cihui Yang. 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: 570,285.

1457.
Disruptive Technologies: The Convergence of New Paradigms in Architecture [electronic resource] / edited by Philippe Morel, Henriette Bier. 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: 005.437 | 004.019.

1458.
Group Decision and Negotiation in the Era of Multimodal Interactions [electronic resource] : 23rd International Conference on Group Decision and Negotiation, GDN 2023, Tokyo, Japan, June 11-15, 2023, Proceedings / edited by Yu Maemura, Masahide Horita, Liping Fang, Pascale Zaraté. 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.3.

1459.
IoT Technologies for HealthCare [electronic resource] : 9th EAI International Conference, HealthyIoT 2022, Braga, Portugal, November 16-18, 2022, Proceedings / edited by Susanna Spinsante, Grazia Iadarola, Alessia Paglialonga, Federico Tramarin. 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: 610.285.

1460.
Information Technologies and Intelligent Decision Making Systems [electronic resource] : First International Conference, ITIDMS 2021, Virtual Event, January 25, 2021, Revised Selected Papers / edited by Arthur Gibadullin. by Series: Communications in Computer and Information Science ; 1703
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: 621.39 | 004.6.

                                                                           
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