|
|
|
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong.
by Duan, Zhenhua [editor.] | Ong, Luke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part II / edited by Zhiyong Chen, Alexandre Mendes, Yamin Yan, Shifeng Chen.
by Chen, Zhiyong [editor.] | Mendes, Alexandre [editor.] | Yan, Yamin [editor.] | Chen, Shifeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke.
by Bennaceur, Amel [editor.] | Hähnle, Reiner [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers / edited by Shivam Bhasin, Thomas Roche.
by Bhasin, Shivam [editor.] | Roche, Thomas [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
|
|
|
|
Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities [electronic resource] : Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / edited by Danail Stoyanov, Zeike Taylor, Enzo Ferrante, Adrian V. Dalca, Anne Martel, Lena Maier-Hein, Sarah Parisot, Aristeidis Sotiras, Bartlomiej Papiez, Mert R. Sabuncu, Li Shen.
by Stoyanov, Danail [editor.] | Taylor, Zeike [editor.] | Ferrante, Enzo [editor.] | Dalca, Adrian V [editor.] | Martel, Anne [editor.] | Maier-Hein, Lena [editor.] | Parisot, Sarah [editor.] | Sotiras, Aristeidis [editor.] | Papiez, Bartlomiej [editor.] | Sabuncu, Mert R [editor.] | Shen, Li [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Explainable Artificial Intelligence and Process Mining Applications for Healthcare [electronic resource] : Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings / edited by Jose M. Juarez, Carlos Fernandez-Llatas, Concha Bielza, Owen Johnson, Primoz Kocbek, Pedro Larrañaga, Niels Martin, Jorge Munoz-Gama, Gregor Štiglic, Marcos Sepulveda, Alfredo Vellido.
by Juarez, Jose M [editor.] | Fernandez-Llatas, Carlos [editor.] | Bielza, Concha [editor.] | Johnson, Owen [editor.] | Kocbek, Primoz [editor.] | Larrañaga, Pedro [editor.] | Martin, Niels [editor.] | Munoz-Gama, Jorge [editor.] | Štiglic, Gregor [editor.] | Sepulveda, Marcos [editor.] | Vellido, Alfredo [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
|
|
|
|
Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings / edited by Liqun Chen, Mark Manulis, Steve Schneider.
by Chen, Liqun [editor.] | Manulis, Mark [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology [electronic resource] : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part II / edited by Chunpeng Ge, Moti Yung.
by Ge, Chunpeng [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings / edited by Andreas Podelski.
by Podelski, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computer Games [electronic resource] : 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers / edited by Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer.
by Hartisch, Michael [editor.] | Hsueh, Chu-Hsuan [editor.] | Schaeffer, Jonathan [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2018 [electronic resource] : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings / edited by Bernd Fischer, Tarmo Uustalu.
by Fischer, Bernd [editor.] | Uustalu, Tarmo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology [electronic resource] : 19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part I / edited by Chunpeng Ge, Moti Yung.
by Ge, Chunpeng [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web - ISWC 2018 [electronic resource] : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part II / edited by Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl.
by Vrandečić, Denny [editor.] | Bontcheva, Kalina [editor.] | Suárez-Figueroa, Mari Carmen [editor.] | Presutti, Valentina [editor.] | Celino, Irene [editor.] | Sabou, Marta [editor.] | Kaffee, Lucie-Aimée [editor.] | Simperl, Elena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang.
by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Computing Techniques in Engineering and Technology [electronic resource] : First International Conference, ACTET 2023, Jaipur, India, December 18-19, 2023, Proceedings / edited by Ramesh C. Bansal, Margarita N. Favorskaya, Shahbaz Ahmed Siddiqui, Pooja Jain, Ankush Tandon.
by Bansal, Ramesh C [editor.] | Favorskaya, Margarita N [editor.] | Siddiqui, Shahbaz Ahmed [editor.] | Jain, Pooja [editor.] | Tandon, Ankush [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
|
|
|
|
Biomedical Image Analysis [electronic resource] : Special Applications in MRIs and CT scans / by Pritpal Singh.
by Singh, Pritpal [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Data and Social Networks [electronic resource] : 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11-13, 2023, Proceedings / edited by Minh Hoàng Hà, Xingquan Zhu, My T. Thai.
by Hà, Minh Hoàng [editor.] | Zhu, Xingquan [editor.] | Thai, My T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings / edited by Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen.
by Uehara, Ryuhei [editor.] | Yamanaka, Katsuhisa [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III / edited by Christina Pöpper, Lejla Batina.
by Pöpper, Christina [editor.] | Batina, Lejla [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
|
|
|
|
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28-30, 2018, Proceedings / edited by Issa Traore, Isaac Woungang, Sherif Saad Ahmed, Yasir Malik.
by Traore, Issa [editor.] | Woungang, Isaac [editor.] | Ahmed, Sherif Saad [editor.] | Malik, Yasir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
