|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers / edited by Xiaoming Li, Sunita Chandrasekaran.
by Li, Xiaoming [editor.] | Chandrasekaran, Sunita [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
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin.
by Bañares, José Ángel [editor.] | Altmann, Jörn [editor.] | Agmon Ben-Yehuda, Orna [editor.] | Djemame, Karim [editor.] | Stankovski, Vlado [editor.] | Tuffin, Bruno [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
|
|
|
|
Trustworthy Global Computing [electronic resource] : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / edited by Martín Abadi, Alberto Lluch Lafuente.
by Abadi, Martín [editor.] | Lluch Lafuente, Alberto [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings / edited by Flavio Ferrarotti, Stefan Woltran.
by Ferrarotti, Flavio [editor.] | Woltran, Stefan [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
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / edited by Magdalena Ortiz, Stefan Schlobach.
by Ortiz, Magdalena [editor.] | Schlobach, Stefan [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
|
|
|
|
Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova.
by Özgün, Aybüke [editor.] | Zinova, Yulia [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri.
by Cheney, James [editor.] | Perri, Simona [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
|
|
|
|
Combinatorics on Words [electronic resource] : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Anna Frid, Robert Mercaş.
by Frid, Anna [editor.] | Mercaş, 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
|
|
|
|
Trends in Functional Programming [electronic resource] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers / edited by Stephen Chang.
by Chang, Stephen [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
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2016 Workshops [electronic resource] : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers / edited by Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal.
by Ciuciu, Ioana [editor.] | Debruyne, Christophe [editor.] | Panetto, Hervé [editor.] | Weichhart, Georg [editor.] | Bollen, Peter [editor.] | Fensel, Anna [editor.] | Vidal, Maria-Esther [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
|
|
|
|
Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / edited by Francois Fages, Sylvain Soliman.
by Fages, Francois [editor.] | Soliman, Sylvain [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
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21-22, 2018, Proceedings / edited by Miguel R. Luaces, Farid Karimipour.
by R. Luaces, Miguel [editor.] | Karimipour, Farid [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
|
|
|
|
The Semantic Web - ISWC 2019 [electronic resource] : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I / edited by Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon.
by Ghidini, Chiara [editor.] | Hartig, Olaf [editor.] | Maleshkova, Maria [editor.] | Svátek, Vojtěch [editor.] | Cruz, Isabel [editor.] | Hogan, Aidan [editor.] | Song, Jie [editor.] | Lefrançois, Maxime [editor.] | Gandon, Fabien [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
|
|
|
|
Artificial General Intelligence [electronic resource] : 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings / edited by Ben Goertzel, Matthew Iklé, Alexey Potapov.
by Goertzel, Ben [editor.] | Iklé, Matthew [editor.] | Potapov, Alexey [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
|
|
|
|
AI Approaches to the Complexity of Legal Systems XI-XII [electronic resource] : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers / edited by Víctor Rodríguez-Doncel, Monica Palmirani, Michał Araszkiewicz, Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor.
by Rodríguez-Doncel, Víctor [editor.] | Palmirani, Monica [editor.] | Araszkiewicz, Michał [editor.] | Casanovas, Pompeu [editor.] | Pagallo, Ugo [editor.] | Sartor, Giovanni [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
|
|
|
|
Genetic Programming [electronic resource] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Eric Medvet, Gisele Pappa, Bing Xue.
by Medvet, Eric [editor.] | Pappa, Gisele [editor.] | Xue, Bing [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Machine Learning and Knowledge Extraction [electronic resource] : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings / edited by Andreas Holzinger, Peter Kieseberg, Federico Cabitza, Andrea Campagner, A Min Tjoa, Edgar Weippl.
by Holzinger, Andreas [editor.] | Kieseberg, Peter [editor.] | Cabitza, Federico [editor.] | Campagner, Andrea [editor.] | Tjoa, A Min [editor.] | Weippl, Edgar [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
|
