|
|
|
Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar.
by Li, Yi [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics [electronic resource] : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings / edited by Tiziana Catarci, Pamela Forner, Djoerd Hiemstra, Anselmo Penas, Giuseppe Santucci.
by Catarci, Tiziana [editor.] | Forner, Pamela [editor.] | Hiemstra, Djoerd [editor.] | Penas, Anselmo [editor.] | Santucci, Giuseppe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings / edited by Stefan Trausan-Matu, Kristy Boyer, Martha Crosby, Kitty Panourgia.
by Trausan-Matu, Stefan [editor.] | Boyer, Kristy [editor.] | Crosby, Martha [editor.] | Panourgia, Kitty [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
|
|
|
|
Document Analysis and Recognition - ICDAR 2021 Workshops [electronic resource] : Lausanne, Switzerland, September 5-10, 2021, Proceedings, Part I / edited by Elisa H. Barney Smith, Umapada Pal.
by Barney Smith, Elisa H [editor.] | Pal, Umapada [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
|
|
|
|
Reasoning Web [electronic resource] : 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures / edited by Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert.
by Baroglio, Cristina [editor.] | Bonatti, Piero A [editor.] | Maluszynski, Jan [editor.] | Marchiori, Massimo [editor.] | Polleres, Axel [editor.] | Schaffert, Sebastian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings / edited by Hélder J. Araújo, Ana Maria Mendonça, Armando J. Pinho, María Inés Torres Barañano.
by Araújo, Hélder J [editor.] | Mendonça, Ana Maria [editor.] | Pinho, Armando J [editor.] | Torres Barañano, María Inés [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
|
|
|
|
Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.
by Charlier, Émilie [editor.] | Leroy, Julien [editor.] | Rigo, Michel [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
|
|
|
|
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration [electronic resource] : 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II / edited by Dion H. Goh, Shu-Jiun Chen, Suppawong Tuarob.
by Goh, Dion H [editor.] | Chen, Shu-Jiun [editor.] | Tuarob, Suppawong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration [electronic resource] : 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I / edited by Dion H. Goh, Shu-Jiun Chen, Suppawong Tuarob.
by Goh, Dion H [editor.] | Chen, Shu-Jiun [editor.] | Tuarob, Suppawong [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Flexible Query Answering Systems [electronic resource] : 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings / edited by Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen.
by Christiansen, Henning [editor.] | Jaudoin, Hélène [editor.] | Chountas, Panagiotis [editor.] | Andreasen, Troels [editor.] | Legind Larsen, Henrik [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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II / edited by Nuno Moniz, Zita Vale, José Cascalho, Catarina Silva, Raquel Sebastião.
by Moniz, Nuno [editor.] | Vale, Zita [editor.] | Cascalho, José [editor.] | Silva, Catarina [editor.] | Sebastião, Raquel [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
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I / edited by Nuno Moniz, Zita Vale, José Cascalho, Catarina Silva, Raquel Sebastião.
by Moniz, Nuno [editor.] | Vale, Zita [editor.] | Cascalho, José [editor.] | Silva, Catarina [editor.] | Sebastião, Raquel [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
|
|
|
|
Language, Data, and Knowledge [electronic resource] : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings / edited by Jorge Gracia, Francis Bond, John P. McCrae, Paul Buitelaar, Christian Chiarcos, Sebastian Hellmann.
by Gracia, Jorge [editor.] | Bond, Francis [editor.] | McCrae, John P [editor.] | Buitelaar, Paul [editor.] | Chiarcos, Christian [editor.] | Hellmann, Sebastian [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
|
|
|
|
Worldwide Language Service Infrastructure [electronic resource] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / edited by Yohei Murakami, Donghui Lin.
by Murakami, Yohei [editor.] | Lin, Donghui [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Data Mining: Applications and Theoretical Aspects [electronic resource] : 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015. Proceedings / edited by Petra Perner.
by Perner, Petra [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
|
|
|
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 13th International Conference of the CLEF Association, CLEF 2022, Bologna, Italy, September 5-8, 2022, Proceedings / edited by Alberto Barrón-Cedeño, Giovanni Da San Martino, Mirko Degli Esposti, Fabrizio Sebastiani, Craig Macdonald, Gabriella Pasi, Allan Hanbury, Martin Potthast, Guglielmo Faggioli, Nicola Ferro.
by Barrón-Cedeño, Alberto [editor.] | Da San Martino, Giovanni [editor.] | Degli Esposti, Mirko [editor.] | Sebastiani, Fabrizio [editor.] | Macdonald, Craig [editor.] | Pasi, Gabriella [editor.] | Hanbury, Allan [editor.] | Potthast, Martin [editor.] | Faggioli, Guglielmo [editor.] | Ferro, Nicola [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 Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings / edited by Lucas Lima, Vince Molnár.
by Lima, Lucas [editor.] | Molnár, Vince [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I / edited by Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo.
by Kamps, Jaap [editor.] | Goeuriot, Lorraine [editor.] | Crestani, Fabio [editor.] | Maistro, Maria [editor.] | Joho, Hideo [editor.] | Davis, Brian [editor.] | Gurrin, Cathal [editor.] | Kruschwitz, Udo [editor.] | Caputo, Annalina [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part II / edited by Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo.
by Kamps, Jaap [editor.] | Goeuriot, Lorraine [editor.] | Crestani, Fabio [editor.] | Maistro, Maria [editor.] | Joho, Hideo [editor.] | Davis, Brian [editor.] | Gurrin, Cathal [editor.] | Kruschwitz, Udo [editor.] | Caputo, Annalina [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III / edited by Jaap Kamps, Lorraine Goeuriot, Fabio Crestani, Maria Maistro, Hideo Joho, Brian Davis, Cathal Gurrin, Udo Kruschwitz, Annalina Caputo.
by Kamps, Jaap [editor.] | Goeuriot, Lorraine [editor.] | Crestani, Fabio [editor.] | Maistro, Maria [editor.] | Joho, Hideo [editor.] | Davis, Brian [editor.] | Gurrin, Cathal [editor.] | Kruschwitz, Udo [editor.] | Caputo, Annalina [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
|
