|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman.
by Piterman, Nir [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
|
|
|
|
Explainable Artificial Intelligence [electronic resource] : Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II / edited by Luca Longo, Sebastian Lapuschkin, Christin Seifert.
by Longo, Luca [editor.] | Lapuschkin, Sebastian [editor.] | Seifert, Christin [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
|
|
|
|
Explainable Artificial Intelligence [electronic resource] : Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I / edited by Luca Longo, Sebastian Lapuschkin, Christin Seifert.
by Longo, Luca [editor.] | Lapuschkin, Sebastian [editor.] | Seifert, Christin [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
|
|
|
|
Security Standardisation Research [electronic resource] : Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings / edited by Liqun Chen, Shin'ichiro Matsuo.
by Chen, Liqun [editor.] | Matsuo, Shin'ichiro [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
|
|
|
|
Hybrid Systems Biology [electronic resource] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / edited by Oded Maler, Ádám Halász, Thao Dang, Carla Piazza.
by Maler, Oded [editor.] | Halász, Ádám [editor.] | Dang, Thao [editor.] | Piazza, Carla [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
|
|
|
|
Cryptology and Network Security [electronic resource] : 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings / edited by Michael Reiter, David Naccache.
by Reiter, Michael [editor.] | Naccache, David [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
From Bioinspired Systems and Biomedical Applications to Machine Learning [electronic resource] : 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Javier Toledo Moreo, Hojjat Adeli.
by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo Moreo, Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019, Proceedings / edited by Maria Rita Palattella, Stefano Scanzio, Sinem Coleri Ergen.
by Palattella, Maria Rita [editor.] | Scanzio, Stefano [editor.] | Coleri Ergen, Sinem [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings / edited by Pedro A. Castillo, Juan Luis Jiménez Laredo, Francisco Fernández de Vega.
by Castillo, Pedro A [editor.] | Jiménez Laredo, Juan Luis [editor.] | Fernández de Vega, Francisco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings / edited by Luís Paquete, Christine Zarges.
by Paquete, Luís [editor.] | Zarges, Christine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Performance Engineering [electronic resource] : 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers / edited by Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik.
by Gribaudo, Marco [editor.] | Iacono, Mauro [editor.] | Phung-Duc, Tuan [editor.] | Razumchik, Rostislav [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Theory of Cryptography [electronic resource] : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part I / edited by Dennis Hofheinz, Alon Rosen.
by Hofheinz, Dennis [editor.] | Rosen, Alon [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings / edited by Christoph Benzmüller, Bruce Miller.
by Benzmüller, Christoph [editor.] | Miller, Bruce [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - EUROCRYPT 2020 [electronic resource] : 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10-14, 2020, Proceedings, Part III / edited by Anne Canteaut, Yuval Ishai.
by Canteaut, Anne [editor.] | Ishai, Yuval [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Information and Communications Security [electronic resource] : 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part I / edited by Debin Gao, Qi Li, Xiaohong Guan, Xiaofeng Liao.
by Gao, Debin [editor.] | Li, Qi [editor.] | Guan, Xiaohong [editor.] | Liao, Xiaofeng [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
|
|
|
|
Theory of Cryptography [electronic resource] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part III / edited by Eike Kiltz, Vinod Vaikuntanathan.
by Kiltz, Eike [editor.] | Vaikuntanathan, Vinod [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Theory of Cryptography [electronic resource] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part II / edited by Eike Kiltz, Vinod Vaikuntanathan.
by Kiltz, Eike [editor.] | Vaikuntanathan, Vinod [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings / edited by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder.
by Reussner, Ralf H [editor.] | Mayer, Johannes [editor.] | Stafford, Judith A [editor.] | Overhage, Sven [editor.] | Becker, Steffen [editor.] | Schroeder, Patrick J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
