Your search returned 13 results.

Results
	1.	Tests and Proofs [electronic resource] : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke. by Kovács, Laura [editor.] Meinke, Karl [editor.] Series: Lecture Notes in Computer Science ; 13361 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: 160. Place hold Save to lists
	2.	Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu. by Prevosto, Virgile [editor.] Seceleanu, Cristina [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: 160. Place hold Save to lists
	3.	Introduction to Software Architecture [electronic resource] : Innovative Design using Clean Architecture and Model-Driven Engineering / by Kevin Lano, Sobhan Yassipour Tehrani. by Lano, Kevin [author.] Yassipour Tehrani, Sobhan [author.] 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
	4.	Petri Nets [electronic resource] : Theoretical Models and Analysis Methods for Concurrent Systems / by Guanjun Liu. by Liu, Guanjun [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : 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
	5.	Advances in Big Data Analytics [electronic resource] : Theory, Algorithms and Practices / by Yong Shi. by Shi, Yong [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.7. Place hold Save to lists
	6.	Computability [electronic resource] / by George Tourlakis. by Tourlakis, George [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: 004.0151. Place hold Save to lists
	7.	Machine Learning [electronic resource] : The Basics / by Alexander Jung. by Jung, Alexander [author.] Series: Machine Learning: Foundations, Methodologies, and Applications Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.31. Place hold Save to lists
	8.	Genetic Programming Theory and Practice XIX [electronic resource] / edited by Leonardo Trujillo, Stephan M. Winkler, Sara Silva, Wolfgang Banzhaf. by Trujillo, Leonardo [editor.] Winkler, Stephan M [editor.] Silva, Sara [editor.] Banzhaf, Wolfgang [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: 004.0151. Place hold Save to lists
	9.	Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Yejun Xu. by Xu, Yejun [author.] 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: 006.3. Place hold Save to lists
	10.	Genetic Programming Theory and Practice XVIII [electronic resource] / edited by Wolfgang Banzhaf, Leonardo Trujillo, Stephan Winkler, Bill Worzel. by Banzhaf, Wolfgang [editor.] Trujillo, Leonardo [editor.] Winkler, Stephan [editor.] Worzel, Bill [editor.] Series: Genetic and Evolutionary Computation Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 004.0151. Place hold Save to lists
	11.	Uncertainty Analyses in Environmental Sciences and Hydrogeology [electronic resource] : Methods and Applications to Subsurface Contamination / by Rachid Ababou, Juliette Chastanet, Jean-Marie Côme, Manuel Marcoux, Michel Quintard. by Ababou, Rachid [author.] Chastanet, Juliette [author.] Côme, Jean-Marie [author.] Marcoux, Manuel [author.] Quintard, Michel [author.] 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: 40,151. Place hold Save to lists
	12.	Data, Information, and Time [electronic resource] : The DIT Model / by Hermann Kopetz. by Kopetz, Hermann [author.] Series: SpringerBriefs 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: National Library of India (1)Call number: 005.7. Place hold Save to lists
	13.	Graph Neural Networks: Foundations, Frontiers, and Applications [electronic resource] / edited by Lingfei Wu, Peng Cui, Jian Pei, Liang Zhao. by Wu, Lingfei [editor.] Cui, Peng [editor.] Pei, Jian [editor.] Zhao, Liang [editor.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.31. Place hold 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