|
|
|
HCI in Mobility, Transport, and Automotive Systems [electronic resource] : First International Conference, MobiTAS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings / edited by Heidi Krömker.
by Krömker, Heidi [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings / edited by Paula Herber, Anton Wijs.
by Herber, Paula [editor.] | Wijs, Anton [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
|
|
|
|
PRICAI 2023: Trends in Artificial Intelligence [electronic resource] : 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II / edited by Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose.
by Liu, Fenrong [editor.] | Sadanandan, Arun Anand [editor.] | Pham, Duc Nghia [editor.] | Mursanto, Petrus [editor.] | Lukose, Dickson [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
|
|
|
|
Distributed, Ambient and Pervasive Interactions [electronic resource] : 7th International Conference, DAPI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings / edited by Norbert Streitz, Shin'ichi Konomi.
by Streitz, Norbert [editor.] | Konomi, Shin'ichi [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková.
by Hospodár, Michal [editor.] | Jirásková, Galina [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
|
|
|
|
Technology in Education. Innovative Practices for the New Normal [electronic resource] : 6th International Conference on Technology in Education, ICTE 2023, Hong Kong, China, December 19-21, 2023, Proceedings / edited by Simon K. S. Cheung, Fu Lee Wang, Naraphorn Paoprasert, Peerayuth Charnsethikul, Kam Cheong Li, Kongkiti Phusavat.
by Cheung, Simon K. S [editor.] | Wang, Fu Lee [editor.] | Paoprasert, Naraphorn [editor.] | Charnsethikul, Peerayuth [editor.] | Li, Kam Cheong [editor.] | Phusavat, Kongkiti [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
|
|
|
|
Human Interface and the Management of Information. Visual Information and Knowledge Management [electronic resource] : Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I / edited by Sakae Yamamoto, Hirohiko Mori.
by Yamamoto, Sakae [editor.] | Mori, Hirohiko [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
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 22nd Mexican International Conference on Artificial Intelligence, MICAI 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings, Part I / edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce.
by Calvo, Hiram [editor.] | Martínez-Villaseñor, Lourdes [editor.] | Ponce, Hiram [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
|
|
|
|
Data and Applications Security and Privacy XXXIII [electronic resource] : 33rd Annual IFIP WG 11.3 Conference, DBSec 2019, Charleston, SC, USA, July 15-17, 2019, Proceedings / edited by Simon N. Foley.
by Foley, Simon N [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
|
|
|
|
Advances in Soft Computing [electronic resource] : 22nd Mexican International Conference on Artificial Intelligence, MICAI 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings, Part II / edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce.
by Calvo, Hiram [editor.] | Martínez-Villaseñor, Lourdes [editor.] | Ponce, Hiram [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
|
|
|
|
Multi-Agent-Based Simulation XIX [electronic resource] : 19th International Workshop, MABS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers / edited by Paul Davidsson, Harko Verhagen.
by Davidsson, Paul [editor.] | Verhagen, Harko [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
|
|
|
|
Secure IT Systems [electronic resource] : 28th Nordic Conference, NordSec 2023, Oslo, Norway, November 16-17, 2023, Proceedings / edited by Lothar Fritsch, Ismail Hassan, Ebenezer Paintsil.
by Fritsch, Lothar [editor.] | Hassan, Ismail [editor.] | Paintsil, Ebenezer [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 and Communications Security [electronic resource] : 21st International Conference, ICICS 2019, Beijing, China, December 15-17, 2019, Revised Selected Papers / edited by Jianying Zhou, Xiapu Luo, Qingni Shen, Zhen Xu.
by Zhou, Jianying [editor.] | Luo, Xiapu [editor.] | Shen, Qingni [editor.] | Xu, Zhen [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
|
|
|
|
Optical Network Design and Modeling [electronic resource] : 23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13-16, 2019, Proceedings / edited by Anna Tzanakaki, Manos Varvarigos, Raul Muñoz, Reza Nejabati, Noboru Yoshikane, Markos Anastasopoulos, Johann Marquez-Barja.
by Tzanakaki, Anna [editor.] | Varvarigos, Manos [editor.] | Muñoz, Raul [editor.] | Nejabati, Reza [editor.] | Yoshikane, Noboru [editor.] | Anastasopoulos, Markos [editor.] | Marquez-Barja, Johann [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 Computing [electronic resource] : 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers / edited by Marta Tabares, Paola Vallejo, Biviana Suarez, Marco Suarez, Oscar Ruiz, Jose Aguilar.
by Tabares, Marta [editor.] | Vallejo, Paola [editor.] | Suarez, Biviana [editor.] | Suarez, Marco [editor.] | Ruiz, Oscar [editor.] | Aguilar, Jose [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
|
|
|
|
Rules and Reasoning [electronic resource] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman.
by Gutiérrez-Basulto, Víctor [editor.] | Kliegr, Tomáš [editor.] | Soylu, Ahmet [editor.] | Giese, Martin [editor.] | Roman, Dumitru [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 Swarm Intelligence [electronic resource] : 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14-20, 2020, Proceedings / edited by Ying Tan, Yuhui Shi, Milan Tuba.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Tuba, Milan [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
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings / edited by Zied Bouraoui, Srdjan Vesic.
by Bouraoui, Zied [editor.] | Vesic, Srdjan [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2020 [electronic resource] : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings / edited by Luca Pulina, Martina Seidl.
by Pulina, Luca [editor.] | Seidl, Martina [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
|
|
|
|
Active Inference [electronic resource] : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers / edited by Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Noor Sajid, Hideaki Shimazaki, Tim Verbelen, Martijn Wisse.
by Buckley, Christopher L [editor.] | Cialfi, Daniela [editor.] | Lanillos, Pablo [editor.] | Ramstead, Maxwell [editor.] | Sajid, Noor [editor.] | Shimazaki, Hideaki [editor.] | Verbelen, Tim [editor.] | Wisse, Martijn [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
|
