|
|
|
Document Analysis and Recognition - ICDAR 2023 Workshops [electronic resource] : San José, CA, USA, August 24-26, 2023, Proceedings, Part II / edited by Mickael Coustaty, Alicia Fornés.
by Coustaty, Mickael [editor.] | Fornés, Alicia [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
|
|
|
|
Document Analysis and Recognition - ICDAR 2023 Workshops [electronic resource] : San José, CA, USA, August 24-26, 2023, Proceedings, Part I / edited by Mickael Coustaty, Alicia Fornés.
by Coustaty, Mickael [editor.] | Fornés, Alicia [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 and Its Applications - ICCSA 2023 Workshops [electronic resource] : Athens, Greece, July 3-6, 2023, Proceedings, Part IX / edited by Osvaldo Gervasi, Beniamino Murgante, Ana Maria A. C. Rocha, Chiara Garau, Francesco Scorza, Yeliz Karaca, Carmelo M. Torre.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Rocha, Ana Maria A. C [editor.] | Garau, Chiara [editor.] | Scorza, Francesco [editor.] | Karaca, Yeliz [editor.] | Torre, Carmelo 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
|
|
|
|
Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach.
by Haxthausen, Anne E [editor.] | Huang, Wen-ling [editor.] | Roggenbach, Markus [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
|
|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings / edited by Manuel Ojeda-Aciego, Kai Sauerwald, Robert Jäschke.
by Ojeda-Aciego, Manuel [editor.] | Sauerwald, Kai [editor.] | Jäschke, Robert [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
|
|
|
|
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
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II / edited by Dominik Slezak, JingTao Yao, James F. Peters, Wojciech Ziarko, Xiaohua Hu.
by Slezak, Dominik [editor.] | Yao, JingTao [editor.] | Peters, James F [editor.] | Ziarko, Wojciech [editor.] | Hu, Xiaohua [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
|
|
|
|
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
|
|
|
|
Epistemological Aspects of Computer Simulation in the Social Sciences [electronic resource] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers / edited by Flaminio Squazzoni.
by Squazzoni, Flaminio [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
|
|
|
|
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
|
|
|
|
Algorithms and Discrete Applied Mathematics [electronic resource] : 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022, Proceedings / edited by Niranjan Balachandran, R. Inkulu.
by Balachandran, Niranjan [editor.] | Inkulu, R [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
|
|
|
|
Computational Science - ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part IV / edited by Maciej Paszynski, Dieter Kranzlmüller, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot.
by Paszynski, Maciej [editor.] | Kranzlmüller, Dieter [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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
|
|
|
|
Arithmetic of Finite Fields [electronic resource] : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / edited by Lilya Budaghyan, Francisco Rodríguez-Henríquez.
by Budaghyan, Lilya [editor.] | Rodríguez-Henríquez, Francisco [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
|
|
|
|
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
|
|
|
|
Topics in Cryptology - CT-RSA 2022 [electronic resource] : Cryptographers' Track at the RSA Conference 2022, Virtual Event, March 1-2, 2022, Proceedings / edited by Steven D. Galbraith.
by Galbraith, Steven D [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
|
|
|
|
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
|
|
|
|
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
|
