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

Results
	1.	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] Series: Lecture Notes in Computer Science ; 13703 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: 005.1. Place hold Save to lists
	2.	Emerging Technologies for Developing Countries [electronic resource] : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings / edited by Muthoni Masinde, Antoine Bagula. by Masinde, Muthoni [editor.] Bagula, Antoine [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.6. Place hold Save to lists
	3.	Guide to Computer Processor Architecture [electronic resource] : A RISC-V Approach, with High-Level Synthesis / by Bernard Goossens. by Goossens, Bernard [author.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.22. Place hold Save to lists
	4.	Parallel Computing Technologies [electronic resource] : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [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
	5.	Pervasive Computing Technologies for Healthcare [electronic resource] : 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings / edited by Athanasios Tsanas, Andreas Triantafyllidis. by Tsanas, Athanasios [editor.] Triantafyllidis, 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: 610.73. Place hold Save to lists
	6.	Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / edited by Hossein Hojjat, Erika Ábrahám. by Hojjat, Hossein [editor.] Ábrahám, Erika [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
	7.	Network and Parallel Computing [electronic resource] : 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24-25, 2022, Proceedings / edited by Shaoshan Liu, Xiaohui Wei. by Liu, Shaoshan [editor.] Wei, Xiaohui [editor.] Series: Lecture Notes in Computer Science ; 13615 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: 621.39 \| 004.6. Place hold Save to lists
	8.	Trends in Functional Programming [electronic resource] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers / edited by Stephen Chang. by Chang, Stephen [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.11. Place hold Save to lists
	9.	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 Jordan, Vladimir [editor.] Tarasov, Ilya [editor.] Faerman, Vladimir [editor.] Series: Communications in Computer and Information Science ; 1526 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.39 \| 004.6. Place hold Save to lists
	10.	Trends in Functional Programming [electronic resource] : 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers / edited by Wouter Swierstra, Nicolas Wu. by Swierstra, Wouter [editor.] Wu, Nicolas [editor.] Series: Lecture Notes in Computer Science ; 13401 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.11. Place hold Save to lists
	11.	Parallel Computational Technologies [electronic resource] : 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers / edited by Leonid Sokolinsky, Mikhail Zymbler. by Sokolinsky, Leonid [editor.] Zymbler, Mikhail [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.2. Place hold Save to lists
	12.	Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] Series: Lecture Notes in Computer Science ; 13704 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: 005.1. Place hold Save to lists
	13.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, Proceedings / edited by Alex Orailoglu, Marc Reichenbach, Matthias Jung. by Orailoglu, Alex [editor.] Reichenbach, Marc [editor.] Jung, Matthias [editor.] Series: Lecture Notes in Computer Science ; 13511 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.2. Place hold Save to lists
	14.	Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings / edited by Bernd-Holger Schlingloff, Ming Chai. by Schlingloff, Bernd-Holger [editor.] Chai, Ming [editor.] Series: Lecture Notes in Computer Science ; 13550 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.1. Place hold Save to lists
	15.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers / edited by Dalibor Klusáček, Corbalán Julita, Gonzalo P. Rodrigo. by Klusáček, Dalibor [editor.] Julita, Corbalán [editor.] Rodrigo, Gonzalo P [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
	16.	High Performance Computing. ISC High Performance 2022 International Workshops [electronic resource] : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers / edited by Hartwig Anzt, Amanda Bienz, Piotr Luszczek, Marc Baboulin. by Anzt, Hartwig [editor.] Bienz, Amanda [editor.] Luszczek, Piotr [editor.] Baboulin, Marc [editor.] Series: Lecture Notes in Computer Science ; 13387 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.39 \| 004.6. Place hold Save to lists
	17.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] Series: Lecture Notes in Computer Science ; 13701 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.1. Place hold Save to lists
	18.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings / edited by Cristina Silvano, Christian Pilato, Marc Reichenbach. by Silvano, Cristina [editor.] Pilato, Christian [editor.] Reichenbach, Marc [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.2. Place hold Save to lists
	19.	Computer Safety, Reliability, and Security [electronic resource] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings / edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch. by Guiochet, Jérémie [editor.] Tonetta, Stefano [editor.] Bitsch, Friedemann [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: 621.39 \| 004.6. Place hold Save to lists
	20.	Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse. by Ferreira, Carla [editor.] Willemse, Tim A. C [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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Holding libraries

Languages

Your search returned 50 results.