|
|
|
Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales.
by Hermenegildo, Manuel V [editor.] | Morales, José F [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / edited by Daisuke Bekki, Koji Mineshima, Elin McCready.
by Bekki, Daisuke [editor.] | Mineshima, Koji [editor.] | McCready, Elin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Neural Networks and Machine Learning - ICANN 2023 [electronic resource] : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII / edited by Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne.
by Iliadis, Lazaros [editor.] | Papaleonidas, Antonios [editor.] | Angelov, Plamen [editor.] | Jayne, Chrisina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings / edited by Henning Fernau, Klaus Jansen.
by Fernau, Henning [editor.] | Jansen, Klaus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Graphics [electronic resource] : 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part I / edited by Huchuan Lu, Wanli Ouyang, Hui Huang, Jiwen Lu, Risheng Liu, Jing Dong, Min Xu.
by Lu, Huchuan [editor.] | Ouyang, Wanli [editor.] | Huang, Hui [editor.] | Lu, Jiwen [editor.] | Liu, Risheng [editor.] | Dong, Jing [editor.] | Xu, Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Code-Based Cryptography [electronic resource] : 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers / edited by Andre Esser, Paolo Santini.
by Esser, Andre [editor.] | Santini, Paolo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings / edited by Tiago Prince Sales, João Araújo, José Borbinha, Giancarlo Guizzardi.
by Sales, Tiago Prince [editor.] | Araújo, João [editor.] | Borbinha, José [editor.] | Guizzardi, Giancarlo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Similarity Search and Applications [electronic resource] : 16th International Conference, SISAP 2023, A Coruña, Spain, October 9-11, 2023, Proceedings / edited by Oscar Pedreira, Vladimir Estivill-Castro.
by Pedreira, Oscar [editor.] | Estivill-Castro, Vladimir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Graphics [electronic resource] : 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part II / edited by Huchuan Lu, Wanli Ouyang, Hui Huang, Jiwen Lu, Risheng Liu, Jing Dong, Min Xu.
by Lu, Huchuan [editor.] | Ouyang, Wanli [editor.] | Huang, Hui [editor.] | Lu, Jiwen [editor.] | Liu, Risheng [editor.] | Dong, Jing [editor.] | Xu, Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Conceptual Modeling [electronic resource] : 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings / edited by João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic.
by Almeida, João Paulo A [editor.] | Borbinha, José [editor.] | Guizzardi, Giancarlo [editor.] | Link, Sebastian [editor.] | Zdravkovic, Jelena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Graphics [electronic resource] : 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part V / edited by Huchuan Lu, Wanli Ouyang, Hui Huang, Jiwen Lu, Risheng Liu, Jing Dong, Min Xu.
by Lu, Huchuan [editor.] | Ouyang, Wanli [editor.] | Huang, Hui [editor.] | Lu, Jiwen [editor.] | Liu, Risheng [editor.] | Dong, Jing [editor.] | Xu, Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Graphics [electronic resource] : 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV / edited by Huchuan Lu, Wanli Ouyang, Hui Huang, Jiwen Lu, Risheng Liu, Jing Dong, Min Xu.
by Lu, Huchuan [editor.] | Ouyang, Wanli [editor.] | Huang, Hui [editor.] | Lu, Jiwen [editor.] | Liu, Risheng [editor.] | Dong, Jing [editor.] | Xu, Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Graphics [electronic resource] : 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part III / edited by Huchuan Lu, Wanli Ouyang, Hui Huang, Jiwen Lu, Risheng Liu, Jing Dong, Min Xu.
by Lu, Huchuan [editor.] | Ouyang, Wanli [editor.] | Huang, Hui [editor.] | Lu, Jiwen [editor.] | Liu, Risheng [editor.] | Dong, Jing [editor.] | Xu, Min [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptology and Network Security [electronic resource] : 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings / edited by Jing Deng, Vladimir Kolesnikov, Alexander A. Schwarzmann.
by Deng, Jing [editor.] | Kolesnikov, Vladimir [editor.] | Schwarzmann, Alexander A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Storytelling [electronic resource] : 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part II / edited by Lissa Holloway-Attaway, John T. Murray.
by Holloway-Attaway, Lissa [editor.] | Murray, John T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Storytelling [electronic resource] : 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part I / edited by Lissa Holloway-Attaway, John T. Murray.
by Holloway-Attaway, Lissa [editor.] | Murray, John T [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse.
by Ferreira, Carla [editor.] | Willemse, Tim A. C [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Shape in Medical Imaging [electronic resource] : International Workshop, ShapeMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings / edited by Christian Wachinger, Beatriz Paniagua, Shireen Elhabian, Jianning Li, Jan Egger.
by Wachinger, Christian [editor.] | Paniagua, Beatriz [editor.] | Elhabian, Shireen [editor.] | Li, Jianning [editor.] | Egger, Jan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Security and Trust Management [electronic resource] : 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings / edited by Ruben Rios, Joachim Posegga.
by Rios, Ruben [editor.] | Posegga, Joachim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone.
by Cerone, Antonio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
