|
|
|
Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / edited by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi.
by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [editor.] | Yi, Wang [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
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers / edited by Gianlorenzo D'Angelo, Othon Michail.
by D'Angelo, Gianlorenzo [editor.] | Michail, Othon [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
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 16-17, 2021, Revised Selected Papers / edited by Juan Moreno García-Loygorri, Antonio Pérez Yuste, Marion Berbineau.
by Moreno García-Loygorri, Juan [editor.] | Pérez Yuste, Antonio [editor.] | Berbineau, Marion [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
|
|
|
|
Information Security and Cryptology - ICISC 2022 [electronic resource] : 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers / edited by Seung-Hyun Seo, Hwajeong Seo.
by Seo, Seung-Hyun [editor.] | Seo, Hwajeong [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
|
|
|
|
Functional and Logic Programming [electronic resource] : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings / edited by John P. Gallagher, Martin Sulzmann.
by Gallagher, John P [editor.] | Sulzmann, Martin [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
|
|
|
|
Human-Computer Interaction - INTERACT 2019 [electronic resource] : 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part III / edited by David Lamas, Fernando Loizides, Lennart Nacke, Helen Petrie, Marco Winckler, Panayiotis Zaphiris.
by Lamas, David [editor.] | Loizides, Fernando [editor.] | Nacke, Lennart [editor.] | Petrie, Helen [editor.] | Winckler, Marco [editor.] | Zaphiris, Panayiotis [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
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019, Proceedings, Part II / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Scherer, Rafał [editor.] | Korytkowski, Marcin [editor.] | Pedrycz, Witold [editor.] | Tadeusiewicz, Ryszard [editor.] | Zurada, Jacek M [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
|
|
|
|
Computational Collective Intelligence [electronic resource] : 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Elias Pimenidis, Zaheer Khan, Bogdan Trawiński.
by Nguyen, Ngoc Thanh [editor.] | Pimenidis, Elias [editor.] | Khan, Zaheer [editor.] | Trawiński, Bogdan [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
|
|
|
|
Machine Learning for Networking [electronic resource] : Third International Conference, MLN 2020, Paris, France, November 24-26, 2020, Revised Selected Papers / edited by Éric Renault, Selma Boumerdassi, Paul Mühlethaler.
by Renault, Éric [editor.] | Boumerdassi, Selma [editor.] | Mühlethaler, Paul [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
|
|
|
|
Recent Trends and Future Technology in Applied Intelligence [electronic resource] : 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings / edited by Malek Mouhoub, Samira Sadaoui, Otmane Ait Mohamed, Moonis Ali.
by Mouhoub, Malek [editor.] | Sadaoui, Samira [editor.] | Ait Mohamed, Otmane [editor.] | Ali, Moonis [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
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part II / edited by Haibin Yu, Jinguo Liu, Lianqing Liu, Zhaojie Ju, Yuwang Liu, Dalin Zhou.
by Yu, Haibin [editor.] | Liu, Jinguo [editor.] | Liu, Lianqing [editor.] | Ju, Zhaojie [editor.] | Liu, Yuwang [editor.] | Zhou, Dalin [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
|
|
|
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Don Harris, Wen-Chin Li.
by Harris, Don [editor.] | Li, Wen-Chin [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
|
|
|
|
Human Aspects of IT for the Aged Population [electronic resource] : 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Qin Gao, Jia Zhou.
by Gao, Qin [editor.] | Zhou, Jia [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
|
|
|
|
Human Aspects of IT for the Aged Population [electronic resource] : 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Qin Gao, Jia Zhou.
by Gao, Qin [editor.] | Zhou, Jia [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
|
|
|
|
Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares.
by Marcus, Aaron [editor.] | Rosenzweig, Elizabeth [editor.] | Soares, Marcelo M [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
|
|
|
|
Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares.
by Marcus, Aaron [editor.] | Rosenzweig, Elizabeth [editor.] | Soares, Marcelo M [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
|
|
|
|
Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares.
by Marcus, Aaron [editor.] | Rosenzweig, Elizabeth [editor.] | Soares, Marcelo M [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
|
|
|
|
Transactions on Computational Science XL [electronic resource] / edited by Marina Gavrilova, C. J. Kenneth Tan, Mark Coates, Yaoping Hu, Henry Leung, Arash Mohammadi, Konstantinos N. Plataniotis, Helder Rodrigues de Oliveira.
by Gavrilova, Marina [editor.] | Tan, C. J. Kenneth [editor.] | Coates, Mark [editor.] | Hu, Yaoping [editor.] | Leung, Henry [editor.] | Mohammadi, Arash [editor.] | Plataniotis, Konstantinos N [editor.] | de Oliveira, Helder Rodrigues [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Symbiotic Interaction [electronic resource] : 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18-19, 2017, Revised Selected Papers / edited by Jaap Ham, Anna Spagnolli, Benjamin Blankertz, Luciano Gamberini, Giulio Jacucci.
by Ham, Jaap [editor.] | Spagnolli, Anna [editor.] | Blankertz, Benjamin [editor.] | Gamberini, Luciano [editor.] | Jacucci, Giulio [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
|
|
|
|
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V / edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy.
by Liu, Derong [editor.] | Xie, Shengli [editor.] | Li, Yuanqing [editor.] | Zhao, Dongbin [editor.] | El-Alfy, El-Sayed M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
