|
|
|
NASA Formal Methods [electronic resource] : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings / edited by Nathaniel Benz, Divya Gopinath, Nija Shi.
by Benz, Nathaniel [editor.] | Gopinath, Divya [editor.] | Shi, Nija [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
|
|
|
|
HCI in Games [electronic resource] : 6th International Conference, HCI-Games 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II / edited by Xiaowen Fang.
by Fang, Xiaowen [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
|
|
|
|
Big Data Analytics [electronic resource] : 10th International Conference, BDA 2022, Hyderabad, India, December 19-22, 2022, Proceedings / edited by Partha Pratim Roy, Arvind Agarwal, Tianrui Li, P. Krishna Reddy, R. Uday Kiran.
by Roy, Partha Pratim [editor.] | Agarwal, Arvind [editor.] | Li, Tianrui [editor.] | Krishna Reddy, P [editor.] | Uday Kiran, R [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022, Proceedings / edited by Yong Zhang, Dongjing Miao, Rolf Möhring.
by Zhang, Yong [editor.] | Miao, Dongjing [editor.] | Möhring, Rolf [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings / edited by Toyotaro Suzumura, Mayumi Bono.
by Suzumura, Toyotaro [editor.] | Bono, Mayumi [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
|
|
|
|
Ethical and Philosophical Issues in Medical Imaging, Multimodal Learning and Fusion Across Scales for Clinical Decision Support, and Topological Data Analysis for Biomedical Imaging [electronic resource] : 1st International Workshop, EPIMI 2022, 12th International Workshop, ML-CDS 2022, 2nd International Workshop, TDA4BiomedicalImaging, Held in Conjunction with MICCAI 2022, Singapore, September 18-22, 2022, Proceedings / edited by John S. H. Baxter, Islem Rekik, Roy Eagleson, Luping Zhou, Tanveer Syeda-Mahmood, Hongzhi Wang, Mustafa Hajij.
by Baxter, John S. H [editor.] | Rekik, Islem [editor.] | Eagleson, Roy [editor.] | Zhou, Luping [editor.] | Syeda-Mahmood, Tanveer [editor.] | Wang, Hongzhi [editor.] | Hajij, Mustafa [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
|
|
|
|
Web and Big Data [electronic resource] : 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part I / edited by Xiangyu Song, Ruyi Feng, Yunliang Chen, Jianxin Li, Geyong Min.
by Song, Xiangyu [editor.] | Feng, Ruyi [editor.] | Chen, Yunliang [editor.] | Li, Jianxin [editor.] | Min, Geyong [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
|
|
|
|
AI 2022: Advances in Artificial Intelligence [electronic resource] : 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5-8, 2022, Proceedings / edited by Haris Aziz, Débora Corrêa, Tim French.
by Aziz, Haris [editor.] | Corrêa, Débora [editor.] | French, Tim [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
|
|
|
|
Static Analysis [electronic resource] : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings / edited by Gagandeep Singh, Caterina Urban.
by Singh, Gagandeep [editor.] | Urban, Caterina [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
|
|
|
|
Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings / edited by Han van der Aa, Dominik Bork, Rainer Schmidt, Arnon Sturm.
by van der Aa, Han [editor.] | Bork, Dominik [editor.] | Schmidt, Rainer [editor.] | Sturm, Arnon [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
|
|
|
|
Privacy Technologies and Policy [electronic resource] : 11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings / edited by Kai Rannenberg, Prokopios Drogkaris, Cédric Lauradoux.
by Rannenberg, Kai [editor.] | Drogkaris, Prokopios [editor.] | Lauradoux, Cédric [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
|
|
|
|
Human Interface and the Management of Information [electronic resource] : Thematic Area, HIMI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I / edited by Hirohiko Mori, Yumi Asahi.
by Mori, Hirohiko [editor.] | Asahi, Yumi [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
|
|
|
|
Distributed, Ambient and Pervasive Interactions [electronic resource] : 12th International Conference, DAPI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II / edited by Norbert A. Streitz, Shin'ichi Konomi.
by Streitz, Norbert A [editor.] | Konomi, Shin'ichi [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
|
|
|
|
Social Computing and Social Media [electronic resource] : 16th International Conference, SCSM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part III / edited by Adela Coman, Simona Vasilache.
by Coman, Adela [editor.] | Vasilache, Simona [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
|
|
|
|
Logic and Engineering of Natural Language Semantics [electronic resource] : 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, 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. 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
|
|
|
|
HCI in Games [electronic resource] : 6th International Conference, HCI-Games 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I / edited by Xiaowen Fang.
by Fang, Xiaowen [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers / edited by Yukiko Nakano, Ken Satoh, Daisuke Bekki.
by Nakano, Yukiko [editor.] | Satoh, Ken [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Wisdom, Well-Being, Win-Win [electronic resource] : 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II / edited by Isaac Sserwanga, Hideo Joho, Jie Ma, Preben Hansen, Dan Wu, Masanori Koizumi, Anne J. Gilliland.
by Sserwanga, Isaac [editor.] | Joho, Hideo [editor.] | Ma, Jie [editor.] | Hansen, Preben [editor.] | Wu, Dan [editor.] | Koizumi, Masanori [editor.] | Gilliland, Anne J [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
|
|
|
|
Asynchronous Many-Task Systems and Applications [electronic resource] : Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings / edited by Patrick Diehl, Joseph Schuchart, Pedro Valero-Lara, George Bosilca.
by Diehl, Patrick [editor.] | Schuchart, Joseph [editor.] | Valero-Lara, Pedro [editor.] | Bosilca, George [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
|
|
|
|
Artificial Intelligence for Neuroscience and Emotional Systems [electronic resource] : 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I / edited by José Manuel Ferrández Vicente, Mikel Val Calvo, Hojjat Adeli.
by Ferrández Vicente, José Manuel [editor.] | Val Calvo, Mikel [editor.] | Adeli, Hojjat [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
|
