|
|
|
AI Verification [electronic resource] : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings / edited by Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling.
by Avni, Guy [editor.] | Giacobbe, Mirco [editor.] | Johnson, Taylor T [editor.] | Katz, Guy [editor.] | Lukina, Anna [editor.] | Narodytska, Nina [editor.] | Schilling, Christian [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
|
|
|
|
Mathematical Software - ICMS 2024 [electronic resource] : 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings / edited by Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren.
by Buzzard, Kevin [editor.] | Dickenstein, Alicia [editor.] | Eick, Bettina [editor.] | Leykin, Anton [editor.] | Ren, Yue [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 Artificial Intelligence and Soft Computing [electronic resource] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / edited by Grigori Sidorov, Sofía N. Galicia-Haro.
by Sidorov, Grigori [editor.] | Galicia-Haro, Sofía N [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings / edited by Lyuba Alboul, Dana Damian, Jonathan M. Aitken.
by Alboul, Lyuba [editor.] | Damian, Dana [editor.] | Aitken, Jonathan M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Application of Big Data, Blockchain, and Internet of Things for Education Informatization [electronic resource] : Third EAI International Conference, BigIoT-EDU 2023, August 29-31, 2023, Liuzhou, China, Proceedings, Part I / edited by Yinjun Zhang, Nazir Shah.
by Zhang, Yinjun [editor.] | Shah, Nazir [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
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, Poznań, Poland, September 14-18, 2015, Proceedings / edited by Sarantos Kapidakis, Cezary Mazurek, Marcin Werla.
by Kapidakis, Sarantos [editor.] | Mazurek, Cezary [editor.] | Werla, Marcin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Big Data Analytics [electronic resource] : 4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015, Proceedings / edited by Naveen Kumar, Vasudha Bhatnagar.
by Kumar, Naveen [editor.] | Bhatnagar, Vasudha [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim.
by Meyer, Roland [editor.] | Platzer, André [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Intelligent Data Analysis XIV [electronic resource] : 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings / edited by Elisa Fromont, Tijl De Bie, Matthijs van Leeuwen.
by Fromont, Elisa [editor.] | De Bie, Tijl [editor.] | van Leeuwen, Matthijs [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptography and Coding [electronic resource] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings / edited by Jens Groth.
by Groth, Jens [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Thierry Demoeux.
by Huynh, Van-Nam [editor.] | Inuiguchi, Masahiro [editor.] | Demoeux, Thierry [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
The Semantic Web: ESWC 2015 Satellite Events [electronic resource] : ESWC 2015 Satellite Events, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers / edited by Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann.
by Gandon, Fabien [editor.] | Guéret, Christophe [editor.] | Villata, Serena [editor.] | Breslin, John [editor.] | Faron-Zucker, Catherine [editor.] | Zimmermann, Antoine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Secure IT Systems [electronic resource] : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings / edited by Sonja Buchegger, Mads Dam.
by Buchegger, Sonja [editor.] | Dam, Mads [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Patch-Based Techniques in Medical Imaging [electronic resource] : First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers / edited by Guorong Wu, Pierrick Coupé, Yiqiang Zhan, Brent Munsell, Daniel Rueckert.
by Wu, Guorong [editor.] | Coupé, Pierrick [editor.] | Zhan, Yiqiang [editor.] | Munsell, Brent [editor.] | Rueckert, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / edited by Jaideep Vaidya, Jin Li.
by Vaidya, Jaideep [editor.] | Li, Jin [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 Artificial Intelligence - IBERAMIA 2018 [electronic resource] : 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / edited by Guillermo R. Simari, Eduardo Fermé, Flabio Gutiérrez Segura, José Antonio Rodríguez Melquiades.
by Simari, Guillermo R [editor.] | Fermé, Eduardo [editor.] | Gutiérrez Segura, Flabio [editor.] | Rodríguez Melquiades, José Antonio [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
|
|
|
|
Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part II / edited by Xingming Sun, Zhaoqing Pan, Elisa Bertino.
by Sun, Xingming [editor.] | Pan, Zhaoqing [editor.] | Bertino, Elisa [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
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers / edited by Gregorio D'Agostino, Antonio Scala.
by D'Agostino, Gregorio [editor.] | Scala, Antonio [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
|
|
|
|
Reversible Computation [electronic resource] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / edited by Jarkko Kari, Irek Ulidowski.
by Kari, Jarkko [editor.] | Ulidowski, Irek [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
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part I / edited by Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner.
by Hartmann, Sven [editor.] | Ma, Hui [editor.] | Hameurlain, Abdelkader [editor.] | Pernul, Günther [editor.] | Wagner, Roland R [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
|
