|
|
|
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro.
by Dubois, Catherine [editor.] | San Pietro, Pierluigi [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
|
|
|
|
The Semantic Web - ISWC 2015 [electronic resource] : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I / edited by Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Krishnaprasad Thirunarayan, Steffen Staab.
by Arenas, Marcelo [editor.] | Corcho, Oscar [editor.] | Simperl, Elena [editor.] | Strohmaier, Markus [editor.] | d'Aquin, Mathieu [editor.] | Srinivas, Kavitha [editor.] | Groth, Paul [editor.] | Dumontier, Michel [editor.] | Heflin, Jeff [editor.] | Thirunarayan, Krishnaprasad [editor.] | Thirunarayan, Krishnaprasad [editor.] | Staab, Steffen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / edited by Dang Van Hung, Oleg Sokolsky.
by Hung, Dang Van [editor.] | Sokolsky, Oleg [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
|
|
|
|
Chatbot Research and Design [electronic resource] : 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23-24, 2020, 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. 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
|
|
|
|
Developments in Language Theory [electronic resource] : 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings / edited by Nelma Moreira, Rogério Reis.
by Moreira, Nelma [editor.] | Reis, Rogério [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
|
|
|
|
Cellular Automata [electronic resource] : 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2-4, 2020, Proceedings / edited by Tomasz M. Gwizdałła, Luca Manzoni, Georgios Ch. Sirakoulis, Stefania Bandini, Krzysztof Podlaski.
by Gwizdałła, Tomasz M [editor.] | Manzoni, Luca [editor.] | Sirakoulis, Georgios Ch [editor.] | Bandini, Stefania [editor.] | Podlaski, Krzysztof [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
|
|
|
|
Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling.
by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Omicini, Andrea [editor.] | Aydogan, Reyhan [editor.] | Carli, Rachele [editor.] | Ciatto, Giovanni [editor.] | Mualla, Yazan [editor.] | Främling, Kary [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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings / edited by Alessio Ferrari, Birgit Penzenstadler.
by Ferrari, Alessio [editor.] | Penzenstadler, Birgit [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
|
|
|
|
Information Retrieval [electronic resource] : 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, Proceedings / edited by Jirong Wen, Jianyun Nie, Tong Ruan, Yiqun Liu, Tieyun Qian.
by Wen, Jirong [editor.] | Nie, Jianyun [editor.] | Ruan, Tong [editor.] | Liu, Yiqun [editor.] | Qian, Tieyun [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
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2019 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings / edited by Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman.
by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Hepp, Martin [editor.] | Lewis, Dave [editor.] | Ardagna, Claudio Agostino [editor.] | Meersman, Robert [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
|
|
|
|
Intelligent Human Computer Interaction [electronic resource] : 12th International Conference, IHCI 2020, Daegu, South Korea, November 24-26, 2020, Proceedings, Part I / edited by Madhusudan Singh, Dae-Ki Kang, Jong-Ha Lee, Uma Shanker Tiwary, Dhananjay Singh, Wan-Young Chung.
by Singh, Madhusudan [editor.] | Kang, Dae-Ki [editor.] | Lee, Jong-Ha [editor.] | Tiwary, Uma Shanker [editor.] | Singh, Dhananjay [editor.] | Chung, Wan-Young [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
|
|
|
|
Chinese Computational Linguistics [electronic resource] : 20th China National Conference, CCL 2021, Hohhot, China, August 13-15, 2021, Proceedings / edited by Sheng Li, Maosong Sun, Yang Liu, Hua Wu, Liu Kang, Wanxiang Che, Shizhu He, Gaoqi Rao.
by Li, Sheng [editor.] | Sun, Maosong [editor.] | Liu, Yang [editor.] | Wu, Hua [editor.] | Kang, Liu [editor.] | Che, Wanxiang [editor.] | He, Shizhu [editor.] | Rao, Gaoqi [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
|
|
|
|
Lesion Segmentation in Surgical and Diagnostic Applications [electronic resource] : MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18-22, 2022, Proceedings / edited by Yiming Xiao, Guanyu Yang, Shuang Song.
by Xiao, Yiming [editor.] | Yang, Guanyu [editor.] | Song, Shuang [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 Processing of the Portuguese Language [electronic resource] : 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings / edited by Renata Vieira, Paulo Quaresma, Maria das Graças Volpe Nunes, Nuno J. Mamede, Cláudia Oliveira, Maria Carmelita Dias.
by Vieira, Renata [editor.] | Quaresma, Paulo [editor.] | Nunes, Maria das Graças Volpe [editor.] | Mamede, Nuno J [editor.] | Oliveira, Cláudia [editor.] | Dias, Maria Carmelita [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
SOFSEM 2019: Theory and Practice of Computer Science [electronic resource] : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / edited by Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini.
by Catania, Barbara [editor.] | Královič, Rastislav [editor.] | Nawrocki, Jerzy [editor.] | Pighizzini, Giovanni [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
|
|
|
|
Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker.
by Chechik, Marsha [editor.] | Katoen, Joost-Pieter [editor.] | Leucker, Martin [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
|
|
|
|
Aspects of Natural Language Processing [electronic resource] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / edited by Malgorzata Marciniak, Agnieszka Mykowiecka.
by Marciniak, Malgorzata [editor.] | Mykowiecka, Agnieszka [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Information Retrieval [electronic resource] : 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings / edited by Joemon M Jose, Claudia Hauff, Ismail Sengor Altıngovde, Dawei Song, Dyaa Albakour, Stuart Watt, John Tait.
by Jose, Joemon M [editor.] | Hauff, Claudia [editor.] | Altıngovde, Ismail Sengor [editor.] | Song, Dawei [editor.] | Albakour, Dyaa [editor.] | Watt, Stuart [editor.] | Tait, John [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
|
|
|
|
The Semantic Web - ISWC 2014 [electronic resource] : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I / edited by Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig Knoblock, Denny Vrandečić, Paul Groth, Natasha Noy, Krzysztof Janowicz, Carole Goble.
by Mika, Peter [editor.] | Tudorache, Tania [editor.] | Bernstein, Abraham [editor.] | Welty, Chris [editor.] | Knoblock, Craig [editor.] | Vrandečić, Denny [editor.] | Groth, Paul [editor.] | Noy, Natasha [editor.] | Janowicz, Krzysztof [editor.] | Goble, Carole [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
|
|
|
|
Analysis of Images, Social Networks and Texts [electronic resource] : 6th International Conference, AIST 2017, Moscow, Russia, July 27-29, 2017, Revised Selected Papers / edited by Wil M.P. van der Aalst, Dmitry I. Ignatov, Michael Khachay, Sergei O. Kuznetsov, Victor Lempitsky, Irina A. Lomazova, Natalia Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Andrey V. Savchenko, Stanley Wasserman.
by van der Aalst, Wil M.P [editor.] | Ignatov, Dmitry I [editor.] | Khachay, Michael [editor.] | Kuznetsov, Sergei O [editor.] | Lempitsky, Victor [editor.] | Lomazova, Irina A [editor.] | Loukachevitch, Natalia [editor.] | Napoli, Amedeo [editor.] | Panchenko, Alexander [editor.] | Pardalos, Panos M [editor.] | Savchenko, Andrey V [editor.] | Wasserman, Stanley [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
|
