|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.
by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Chatbot Research and Design [electronic resource] : 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23-24, 2021, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg.
by Følstad, Asbjørn [editor.] | Araujo, Theo [editor.] | Papadopoulos, Symeon [editor.] | Law, Effie L.-C [editor.] | Luger, Ewa [editor.] | Goodwin, Morten [editor.] | Brandtzaeg, Petter Bae [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
|
|
|
|
Machine Learning, Optimization, and Data Science [electronic resource] : 7th International Conference, LOD 2021, Grasmere, UK, October 4-8, 2021, Revised Selected Papers, Part I / edited by Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Gabriele La Malfa, Giorgio Jansen, Panos M. Pardalos, Giovanni Giuffrida, Renato Umeton.
by Nicosia, Giuseppe [editor.] | Ojha, Varun [editor.] | La Malfa, Emanuele [editor.] | La Malfa, Gabriele [editor.] | Jansen, Giorgio [editor.] | Pardalos, Panos M [editor.] | Giuffrida, Giovanni [editor.] | Umeton, Renato [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
|
|
|
|
Reasoning Web. Declarative Artificial Intelligence [electronic resource] : 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures / edited by Mantas Šimkus, Ivan Varzinczak.
by Šimkus, Mantas [editor.] | Varzinczak, Ivan [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
|
|
|
|
Emerging Technologies for Education [electronic resource] : 6th International Symposium, SETE 2021, Zhuhai, China, November 11-12, 2021, Revised Selected Papers / edited by Weijia Jia, Yong Tang, Raymond S. T. Lee, Michael Herzog, Hui Zhang, Tianyong Hao, Tian Wang.
by Jia, Weijia [editor.] | Tang, Yong [editor.] | Lee, Raymond S. T [editor.] | Herzog, Michael [editor.] | Zhang, Hui [editor.] | Hao, Tianyong [editor.] | Wang, Tian [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
|
|
|
|
Software Verification [electronic resource] : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers / edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina.
by Bloem, Roderick [editor.] | Dimitrova, Rayna [editor.] | Fan, Chuchu [editor.] | Sharygina, Natasha [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
|
|
|
|
Internet of Things - ICIOT 2021 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Bedir Tekinerdogan, Yingwei Wang, Liang-Jie Zhang.
by Tekinerdogan, Bedir [editor.] | Wang, Yingwei [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Services - SERVICES 2021 [electronic resource] : 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings / edited by Mohamed Adel Serhani, Liang-Jie Zhang.
by Serhani, Mohamed Adel [editor.] | Zhang, Liang-Jie [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
|
|
|
|
Formal Concept Analysis [electronic resource] : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings / edited by Dominik Dürrschnabel, Domingo López Rodríguez.
by Dürrschnabel, Dominik [editor.] | López Rodríguez, Domingo [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
|
|
|
|
Computational Science - ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II / edited by Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot.
by Mikyška, Jiří [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings / edited by Michael Hanus, Atsushi Igarashi.
by Hanus, Michael [editor.] | Igarashi, Atsushi [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
|
|
|
|
Distributed, Ambient and Pervasive Interactions [electronic resource] : 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Norbert A. Streitz, Shin'ichi Konomi.
by Streitz, Norbert A [editor.] | Konomi, Shin'ichi [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
|
|
|
|
Distributed, Ambient and Pervasive Interactions [electronic resource] : 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, 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. 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
|
|
|
|
Machine Learning for Networking [electronic resource] : 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers / edited by Éric Renault, Paul Mühlethaler.
by Renault, Éric [editor.] | Mühlethaler, Paul [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-Computer Interaction [electronic resource] : Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Masaaki Kurosu, Ayako Hashizume.
by Kurosu, Masaaki [editor.] | Hashizume, Ayako [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-Computer Interaction [electronic resource] : Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV / edited by Masaaki Kurosu, Ayako Hashizume.
by Kurosu, Masaaki [editor.] | Hashizume, Ayako [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 Interface and the Management of Information [electronic resource] : Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Hirohiko Mori, Yumi Asahi.
by Mori, Hirohiko [editor.] | Asahi, Yumi [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 Interface and the Management of Information [electronic resource] : Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Hirohiko Mori, Yumi Asahi.
by Mori, Hirohiko [editor.] | Asahi, Yumi [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 II / 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
|
