|
|
|
Computational Science - ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part VI / 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
|
|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings / edited by Tanya Braun, Diana Cristea, Robert Jäschke.
by Braun, Tanya [editor.] | Cristea, Diana [editor.] | Jäschke, Robert [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
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022, Proceedings / edited by Qiufen Ni, Weili Wu.
by Ni, Qiufen [editor.] | Wu, Weili [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
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings / edited by Yasuo Narukawa.
by Narukawa, Yasuo [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
|
|
|
|
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / edited by Wilfrid Hodges, Ruy de Queiroz.
by Hodges, Wilfrid [editor.] | de Queiroz, Ruy [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
|
|
|
|
PRICAI 2019: Trends in Artificial Intelligence [electronic resource] : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I / edited by Abhaya C. Nayak, Alok Sharma.
by Nayak, Abhaya C [editor.] | Sharma, Alok [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings / edited by Peter Csaba Ölveczky, Gwen Salaün.
by Ölveczky, Peter Csaba [editor.] | Salaün, Gwen [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings / edited by Sebastian Maneth.
by Maneth, Sebastian [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers / edited by Christos Kaklamanis, Asaf Levin.
by Kaklamanis, Christos [editor.] | Levin, Asaf [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
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers / edited by Dimitris E. Simos, Varvara A. Rasskazova, Francesco Archetti, Ilias S. Kotsireas, Panos M. Pardalos.
by Simos, Dimitris E [editor.] | Rasskazova, Varvara A [editor.] | Archetti, Francesco [editor.] | Kotsireas, Ilias S [editor.] | Pardalos, Panos M [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 Theoretical Computer Science [electronic resource] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / edited by Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi.
by Hajiaghayi, Mohammed Taghi [editor.] | Mousavi, Mohammad Reza [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
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese.
by Albert, Elvira [editor.] | Lanese, Ivan [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
|
|
|
|
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I / edited by Lipo Wang, Yaochu Jin.
by Wang, Lipo [editor.] | Jin, Yaochu [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings / edited by Sukyoung Ryu.
by Ryu, Sukyoung [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
|
|
|
|
Computational Science - ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part IV / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot.
by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [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 for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings / edited by Kim Guldstrand Larsen, Tim Willemse.
by Larsen, Kim Guldstrand [editor.] | Willemse, Tim [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron.
by Leporati, Alberto [editor.] | Martín-Vide, Carlos [editor.] | Shapira, Dana [editor.] | Zandron, Claudio [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / edited by Chu-Min Li, Felip Manyà.
by Li, Chu-Min [editor.] | Manyà, Felip [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
|
|
|
|
From Data to Models and Back [electronic resource] : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Mirco Nanni.
by Bowles, Juliana [editor.] | Broccia, Giovanna [editor.] | Nanni, Mirco [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings / edited by Alessandro Abate, Andrea Marin.
by Abate, Alessandro [editor.] | Marin, Andrea [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
|
