|
|
|
Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Yliès Falcone, Martin Leucker.
by Bartocci, Ezio [editor.] | Falcone, Yliès [editor.] | Leucker, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings / edited by Zhe Hou, Vijay Ganesh.
by Hou, Zhe [editor.] | Ganesh, Vijay [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings / edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
by Drăgoi, Cezara [editor.] | Mukherjee, Suvam [editor.] | Namjoshi, Kedar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings / edited by Thierry Denœux, Eric Lefèvre, Zhunga Liu, Frédéric Pichon.
by Denœux, Thierry [editor.] | Lefèvre, Eric [editor.] | Liu, Zhunga [editor.] | Pichon, Frédéric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 - November 1, 2021, Proceedings, Part III / edited by Huimin Ma, Liang Wang, Changshui Zhang, Fei Wu, Tieniu Tan, Yaonan Wang, Jianhuang Lai, Yao Zhao.
by Ma, Huimin [editor.] | Wang, Liang [editor.] | Zhang, Changshui [editor.] | Wu, Fei [editor.] | Tan, Tieniu [editor.] | Wang, Yaonan [editor.] | Lai, Jianhuang [editor.] | Zhao, Yao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part II / edited by Xin-Jun Liu, Zhenguo Nie, Jingjun Yu, Fugui Xie, Rui Song.
by Liu, Xin-Jun [editor.] | Nie, Zhenguo [editor.] | Yu, Jingjun [editor.] | Xie, Fugui [editor.] | Song, Rui [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology [electronic resource] : 17th International Conference, Inscrypt 2021, Virtual Event, August 12-14, 2021, Revised Selected Papers / edited by Yu Yu, Moti Yung.
by Yu, Yu [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings / edited by Luis Espinosa-Anke, Carlos Martín-Vide, Irena Spasić.
by Espinosa-Anke, Luis [editor.] | Martín-Vide, Carlos [editor.] | Spasić, Irena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers / edited by Hossein Hojjat, Mieke Massink.
by Hojjat, Hossein [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings / edited by Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte.
by Collart-Dutilleul, Simon [editor.] | Haxthausen, Anne E [editor.] | Lecomte, Thierry [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 19th International Symposium, W2GIS 2022, Constance, Germany, April 28-29, 2022, Proceedings / edited by Farid Karimipour, Sabine Storandt.
by Karimipour, Farid [editor.] | Storandt, Sabine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Document Analysis Systems [electronic resource] : 15th IAPR International Workshop, DAS 2022, La Rochelle, France, May 22-25, 2022, Proceedings / edited by Seiichi Uchida, Elisa Barney, Véronique Eglin.
by Uchida, Seiichi [editor.] | Barney, Elisa [editor.] | Eglin, Véronique [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers / edited by Natasha Alechina, Matteo Baldoni, Brian Logan.
by Alechina, Natasha [editor.] | Baldoni, Matteo [editor.] | Logan, Brian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings / edited by Vincenzo Gervasi, Andreas Vogelsang.
by Gervasi, Vincenzo [editor.] | Vogelsang, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11-12, 2021, Revised Selected Papers / edited by Vincent Grosso, Thomas Pöppelmann.
by Grosso, Vincent [editor.] | Pöppelmann, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition and Computer Vision [electronic resource] : 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 - November 1, 2021, Proceedings, Part IV / edited by Huimin Ma, Liang Wang, Changshui Zhang, Fei Wu, Tieniu Tan, Yaonan Wang, Jianhuang Lai, Yao Zhao.
by Ma, Huimin [editor.] | Wang, Liang [editor.] | Zhang, Changshui [editor.] | Wu, Fei [editor.] | Tan, Tieniu [editor.] | Wang, Yaonan [editor.] | Lai, Jianhuang [editor.] | Zhao, Yao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computing Methodologies [electronic resource] : 18th International Conference, ICIC 2022, Xi'an, China, August 7-11, 2022, Proceedings, Part III / edited by De-Shuang Huang, Kang-Hyun Jo, Junfeng Jing, Prashan Premaratne, Vitoantonio Bevilacqua, Abir Hussain.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Jing, Junfeng [editor.] | Premaratne, Prashan [editor.] | Bevilacqua, Vitoantonio [editor.] | Hussain, Abir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Problem Solving from Nature - PPSN XVII [electronic resource] : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II / edited by Günter Rudolph, Anna V. Kononova, Hernán Aguirre, Pascal Kerschke, Gabriela Ochoa, Tea Tušar.
by Rudolph, Günter [editor.] | Kononova, Anna V [editor.] | Aguirre, Hernán [editor.] | Kerschke, Pascal [editor.] | Ochoa, Gabriela [editor.] | Tušar, Tea [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Mobile Web and Intelligent Information Systems [electronic resource] : 18th International Conference, MobiWIS 2022, Rome, Italy, August 22-24, 2022, Proceedings / edited by Irfan Awan, Muhammad Younas, Aneta Poniszewska-Marańda.
by Awan, Irfan [editor.] | Younas, Muhammad [editor.] | Poniszewska-Marańda, Aneta [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
