Results of search for 'an:1464603' › National Library of India catalog

Results
	1.	Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins. by Madeira, Alexandre [editor.] Martins, Manuel A [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	2.	Metadata and Semantic Research [electronic resource] : 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers / edited by Emmanouel Garoufallou, Andreas Vlachidis. by Garoufallou, Emmanouel [editor.] Vlachidis, Andreas [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 025.04. Place hold Save to lists
	3.	Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / edited by Emanuele De Angelis, Wim Vanhoof. by De Angelis, Emanuele [editor.] Vanhoof, Wim [editor.] Series: Lecture Notes in Computer Science ; 13290 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 004.0151. Place hold Save to lists
	4.	Formal Analysis by Abstract Interpretation [electronic resource] : Case Studies in Modern Protocols / by Benjamin Aziz. by Aziz, Benjamin [author.] Series: SpringerBriefs in Applied Sciences and Technology Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	5.	Rigorous State-Based Methods [electronic resource] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque. by Glässer, Uwe [editor.] Creissac Campos, Jose [editor.] Méry, Dominique [editor.] Palanque, Philippe [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	6.	Reversible Computation [electronic resource] : 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings / edited by Claudio Antares Mezzina, Krzysztof Podlaski. by Mezzina, Claudio Antares [editor.] Podlaski, Krzysztof [editor.] Series: Lecture Notes in Computer Science ; 13354 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 621.395. Place hold Save to lists
	7.	Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers / edited by Kyungmin Bae. by Bae, Kyungmin [editor.] Series: Lecture Notes in Computer Science ; 13252 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	8.	Chinese Lexical Semantics [electronic resource] : 22nd Workshop, CLSW 2021, Nanjing, China, May 15-16, 2021, Revised Selected Papers, Part I / edited by Minghui Dong, Yanhui Gu, Jia-Fei Hong. by Dong, Minghui [editor.] Gu, Yanhui [editor.] Hong, Jia-Fei [editor.] Series: Lecture Notes in Artificial Intelligence ; 13249 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006. Place hold Save to lists
	9.	Artificial Intelligence Logic and Applications [electronic resource] : The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings / edited by Songmao Zhang, Yonggang Zhang. by Zhang, Songmao [editor.] Zhang, Yonggang [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	10.	Combinatorics on Words [electronic resource] : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Anna Frid, Robert Mercaş. by Frid, Anna [editor.] Mercaş, Robert [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	11.	Computational Theory of Mind for Human-Machine Teams [electronic resource] : First International Symposium, ToM for Teams 2021, Virtual Event, November 4-6, 2021, Revised Selected Papers / edited by Nikolos Gurney, Gita Sukthankar. by Gurney, Nikolos [editor.] Sukthankar, Gita [editor.] Series: Lecture Notes in Computer Science ; 13775 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	12.	Multigrammatical Framework for Knowledge-Based Digital Economy [electronic resource] / by Igor A. Sheremet. by Sheremet, Igor A [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	13.	Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings / edited by Pascal Caron, Ludovic Mignot. by Caron, Pascal [editor.] Mignot, Ludovic [editor.] Series: Lecture Notes in Computer Science ; 13266 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.35. Place hold Save to lists
	14.	Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova. by Özgün, Aybüke [editor.] Zinova, Yulia [editor.] Series: Lecture Notes in Computer Science ; 13206 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 005.131. Place hold Save to lists
	15.	Metadata and Semantic Research [electronic resource] : 15th International Conference, MTSR 2021, Virtual Event, November 29 - December 3, 2021, Revised Selected Papers / edited by Emmanouel Garoufallou, María-Antonia Ovalle-Perandones, Andreas Vlachidis. by Garoufallou, Emmanouel [editor.] Ovalle-Perandones, María-Antonia [editor.] Vlachidis, Andreas [editor.] Series: Communications in Computer and Information Science ; 1537 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 025.04. Place hold Save to lists
	16.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi. by Katsaros, Panagiotis [editor.] Nenzi, Laura [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	17.	Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings / edited by Silvia Lizeth Tapia Tarifa, José Proença. by Tapia Tarifa, Silvia Lizeth [editor.] Proença, José [editor.] Series: Lecture Notes in Computer Science ; 13712 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 400. Place hold Save to lists
	18.	Coalgebraic Methods in Computer Science [electronic resource] : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / edited by Helle Hvid Hansen, Fabio Zanasi. by Hansen, Helle Hvid [editor.] Zanasi, Fabio [editor.] Series: Lecture Notes in Computer Science ; 13225 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	19.	Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Alberto Pettorossi. by Pettorossi, Alberto [author.] Series: Undergraduate Topics in Computer Science Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 005.131. Place hold Save to lists
	20.	Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / edited by Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar. by Raskin, Jean-François [editor.] Chatterjee, Krishnendu [editor.] Doyen, Laurent [editor.] Majumdar, Rupak [editor.] Series: Lecture Notes in Computer Science ; 13660 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Holding libraries

Languages

Your search returned 51 results.