|
|
|
Integrated Formal Methods [electronic resource] : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.
by Dongol, Brijesh [editor.] | Troubitsyna, Elena [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings / edited by Pascal Caron, Ludovic Mignot.
by Caron, Pascal [editor.] | Mignot, Ludovic [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 Artificial Intelligence: From Theory to Practice [electronic resource] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I / edited by Salem Benferhat, Karim Tabia, Moonis Ali.
by Benferhat, Salem [editor.] | Tabia, Karim [editor.] | Ali, Moonis [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
|
|
|
|
Information Retrieval Technology [electronic resource] : 15th Asia Information Retrieval Societies Conference, AIRS 2019, Hong Kong, China, November 7-9, 2019, Proceedings / edited by Fu Lee Wang, Haoran Xie, Wai Lam, Aixin Sun, Lun-Wei Ku, Tianyong Hao, Wei Chen, Tak-Lam Wong, Xiaohui Tao.
by Wang, Fu Lee [editor.] | Xie, Haoran [editor.] | Lam, Wai [editor.] | Sun, Aixin [editor.] | Ku, Lun-Wei [editor.] | Hao, Tianyong [editor.] | Chen, Wei [editor.] | Wong, Tak-Lam [editor.] | Tao, Xiaohui [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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedings / edited by Christian Kop, Günther Fliedl, Heinrich C. Mayr, Elisabeth Métais.
by Kop, Christian [editor.] | Fliedl, Günther [editor.] | Mayr, Heinrich C [editor.] | Métais, Elisabeth [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
|
|
|
|
Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / edited by Alberto Apostolico, Maxime Crochemore, Kunsoo Park.
by Apostolico, Alberto [editor.] | Crochemore, Maxime [editor.] | Park, Kunsoo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge and Information Visualization [electronic resource] : Searching for Synergies / edited by Sigmar-Olaf Tergan, Tanja Keller.
by Tergan, Sigmar-Olaf [editor.] | Keller, Tanja [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Developments in Language Theory [electronic resource] : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings / edited by Piotrek Hofman, Michał Skrzypczak.
by Hofman, Piotrek [editor.] | Skrzypczak, Michał [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
|
|
|
|
Mathematics of Program Construction [electronic resource] : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / edited by Graham Hutton.
by Hutton, Graham [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
|
|
|
|
The Semantic Web - ISWC 2020 [electronic resource] : 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part II / edited by Jeff Z. Pan, Valentina Tamma, Claudia d'Amato, Krzysztof Janowicz, Bo Fu, Axel Polleres, Oshani Seneviratne, Lalana Kagal.
by Pan, Jeff Z [editor.] | Tamma, Valentina [editor.] | d'Amato, Claudia [editor.] | Janowicz, Krzysztof [editor.] | Fu, Bo [editor.] | Polleres, Axel [editor.] | Seneviratne, Oshani [editor.] | Kagal, Lalana [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
|
|
|
|
Argumentation in Multi-Agent Systems [electronic resource] : Second International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected and Invited Papers / edited by Simon D. Parsons, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan.
by Parsons, Simon D [editor.] | Maudet, Nicolas [editor.] | Moraitis, Pavlos [editor.] | Rahwan, Iyad [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
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I / edited by Joan Martí, José M. Benedí, Ana M. Mendonça, Joan Serrat.
by Martí, Joan [editor.] | Benedí, José M [editor.] | Mendonça, Ana M [editor.] | Serrat, Joan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 6th International Conference, SLSP 2018, Mons, Belgium, October 15-16, 2018, Proceedings / edited by Thierry Dutoit, Carlos Martín-Vide, Gueorgui Pironkov.
by Dutoit, Thierry [editor.] | Martín-Vide, Carlos [editor.] | Pironkov, Gueorgui [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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26-28, 2019, Proceedings / edited by Elisabeth Métais, Farid Meziane, Sunil Vadera, Vijayan Sugumaran, Mohamad Saraee.
by Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Vadera, Sunil [editor.] | Sugumaran, Vijayan [editor.] | Saraee, Mohamad [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
|
|
|
|
Sanskrit Computational Linguistics [electronic resource] : Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings / edited by Amba Kulkarni, Gérard Huet.
by Kulkarni, Amba [editor.] | Huet, Gérard [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
|
|
|
|
Pattern Recognition and Machine Intelligence [electronic resource] : 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017, Proceedings / edited by B. Uma Shankar, Kuntal Ghosh, Deba Prasad Mandal, Shubhra Sankar Ray, David Zhang, Sankar K. Pal.
by Shankar, B. Uma [editor.] | Ghosh, Kuntal [editor.] | Mandal, Deba Prasad [editor.] | Ray, Shubhra Sankar [editor.] | Zhang, David [editor.] | Pal, Sankar K [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
|
|
|
|
At the Intersection of Language, Logic, and Information [electronic resource] : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers / edited by Jennifer Sikos, Eric Pacuit.
by Sikos, Jennifer [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Multilingual Information Access Evaluation II - Multimedia Experiments [electronic resource] : 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers, Part II / edited by Carol Peters, Barbara Caputo, Julio Gonzalo, Gareth Jones, Jayashree Kalpathy-Cramer, Henning Müller, Theodora Tsikrika.
by Peters, Carol [editor.] | Caputo, Barbara [editor.] | Gonzalo, Julio [editor.] | Jones, Gareth [editor.] | Kalpathy-Cramer, Jayashree [editor.] | Müller, Henning [editor.] | Tsikrika, Theodora [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Libraries: Social Media and Community Networks [electronic resource] : 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings / edited by Shalini R. Urs, Jin-Cheon Na, George Buchanan.
by Urs, Shalini R [editor.] | Na, Jin-Cheon [editor.] | Buchanan, George [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban.
by Watt, Stephen M [editor.] | Sexton, Alan [editor.] | Davenport, James H [editor.] | Sojka, Petr [editor.] | Urban, Josef [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
|
