|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings / edited by Belgacem Ben Hedia, Yassine Maleh, Moez Krichen.
by Ben Hedia, Belgacem [editor.] | Maleh, Yassine [editor.] | Krichen, Moez [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Women in Soft Computing [electronic resource] / edited by Vanita Garg, Kusum Deep, Valentina E. Balas.
by Garg, Vanita [editor.] | Deep, Kusum [editor.] | Balas, Valentina E [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Programming-Based Formal Languages and Automata Theory [electronic resource] : Design, Implement, Validate, and Prove / by Marco T. Morazán.
by Morazán, Marco T [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann.
by Sheng, Bin [editor.] | Bi, Lei [editor.] | Kim, Jinman [editor.] | Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Engineering, Technology and Applications [electronic resource] : Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers / edited by Alessandro Ortis, Alaa Ali Hameed, Akhtar Jamil.
by Ortis, Alessandro [editor.] | Hameed, Alaa Ali [editor.] | Jamil, Akhtar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Model and Data Engineering [electronic resource] : 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri.
by Mosbah, Mohamed [editor.] | Kechadi, Tahar [editor.] | Bellatreche, Ladjel [editor.] | Gargouri, Faiez [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Emerging Technologies in Computing [electronic resource] : 6th EAI International Conference, iCETiC 2023, Southend-on-Sea, UK, August 17-18, 2023, Proceedings / edited by Mahdi H. Miraz, Garfield Southall, Maaruf Ali, Andrew Ware.
by Miraz, Mahdi H [editor.] | Southall, Garfield [editor.] | Ali, Maaruf [editor.] | Ware, Andrew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Selected Reflections in Language, Logic, and Information [electronic resource] : ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers / edited by Alexandra Pavlova, Mina Young Pedersen, Raffaella Bernardi.
by Pavlova, Alexandra [editor.] | Pedersen, Mina Young [editor.] | Bernardi, Raffaella [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamics of Information Systems [electronic resource] : 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers / edited by Hossein Moosaei, Milan Hladík, Panos M. Pardalos.
by Moosaei, Hossein [editor.] | Hladík, Milan [editor.] | Pardalos, Panos M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann.
by Sheng, Bin [editor.] | Bi, Lei [editor.] | Kim, Jinman [editor.] | Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Critical Infrastructure Protection XVII [electronic resource] : 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers / edited by Jason Staggs, Sujeet Shenoi.
by Staggs, Jason [editor.] | Shenoi, Sujeet [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Vision and Actualization in Academia [electronic resource] : Georgia Tech's College of Computing / by Peter A. Freeman.
by Freeman, Peter A [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Internet Economics [electronic resource] : 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings / edited by Jugal Garg, Max Klimm, Yuqing Kong.
by Garg, Jugal [editor.] | Klimm, Max [editor.] | Kong, Yuqing [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
by Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Asia Pacific Advanced Network [electronic resource] : 56th International Conference, APANConf 2023, Colombo, Sri Lanka, August 24-25, 2023, Revised Selected Papers / edited by Damayanthi Herath, Susumu Date, Upul Jayasinghe, Vijaykrishnan Narayanan, Roshan Ragel, Jilong Wang.
by Herath, Damayanthi [editor.] | Date, Susumu [editor.] | Jayasinghe, Upul [editor.] | Narayanan, Vijaykrishnan [editor.] | Ragel, Roshan [editor.] | Wang, Jilong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Tools and Methods of Program Analysis [electronic resource] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers / edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova.
by Yavorskiy, Rostislav [editor.] | Cavalli, Ana Rosa [editor.] | Kalenkova, Anna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Performance Evaluation Methodologies and Tools [electronic resource] : 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings / edited by Evangelia Kalyvianaki, Marco Paolieri.
by Kalyvianaki, Evangelia [editor.] | Paolieri, Marco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Research in Technologies, Information, Innovation and Sustainability [electronic resource] : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II / edited by Teresa Guarda, Filipe Portela, Jose Maria Diaz-Nafria.
by Guarda, Teresa [editor.] | Portela, Filipe [editor.] | Diaz-Nafria, Jose Maria [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
ICT Education [electronic resource] : 52nd Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2023, Gauteng, South Africa, July 19-21, 2023, Revised Selected Papers / edited by Henri Emil Van Rensburg, Dirk Petrus Snyman, Lynette Drevin, Günther Richard Drevin.
by Van Rensburg, Henri Emil [editor.] | Snyman, Dirk Petrus [editor.] | Drevin, Lynette [editor.] | Drevin, Günther Richard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
