|
|
|
SOFSEM 2019: Theory and Practice of Computer Science [electronic resource] : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / edited by Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini.
by Catania, Barbara [editor.] | Královič, Rastislav [editor.] | Nawrocki, Jerzy [editor.] | Pighizzini, Giovanni [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
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings / edited by Susanna Donatelli, Stefan Haar.
by Donatelli, Susanna [editor.] | Haar, Stefan [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
|
|
|
|
Progress in Cryptology - AFRICACRYPT 2019 [electronic resource] : 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9-11, 2019, Proceedings / edited by Johannes Buchmann, Abderrahmane Nitaj, Tajjeeddine Rachidi.
by Buchmann, Johannes [editor.] | Nitaj, Abderrahmane [editor.] | Rachidi, Tajjeeddine [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
|
|
|
|
Description Logic, Theory Combination, and All That [electronic resource] : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter.
by Lutz, Carsten [editor.] | Sattler, Uli [editor.] | Tinelli, Cesare [editor.] | Turhan, Anni-Yasmin [editor.] | Wolter, Frank [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
|
|
|
|
Pattern Recognition [electronic resource] : 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26-29, 2019, Proceedings / edited by Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, José Arturo Olvera-López, Joaquín Salas.
by Carrasco-Ochoa, Jesús Ariel [editor.] | Martínez-Trinidad, José Francisco [editor.] | Olvera-López, José Arturo [editor.] | Salas, Joaquín [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
|
|
|
|
Social, Cultural, and Behavioral Modeling [electronic resource] : 12th International Conference, SBP-BRiMS 2019, Washington, DC, USA, July 9-12, 2019, Proceedings / edited by Robert Thomson, Halil Bisgin, Christopher Dancy, Ayaz Hyder.
by Thomson, Robert [editor.] | Bisgin, Halil [editor.] | Dancy, Christopher [editor.] | Hyder, Ayaz [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
|
|
|
|
Heterogeneous Data Management, Polystores, and Analytics for Healthcare [electronic resource] : VLDB 2018 Workshops, Poly and DMAH, Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers / edited by Vijay Gadepally, Timothy Mattson, Michael Stonebraker, Fusheng Wang, Gang Luo, George Teodoro.
by Gadepally, Vijay [editor.] | Mattson, Timothy [editor.] | Stonebraker, Michael [editor.] | Wang, Fusheng [editor.] | Luo, Gang [editor.] | Teodoro, George [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 2019 [electronic resource] : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II / 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
|
|
|
|
Formal Methods Teaching [electronic resource] : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
by Dongol, Brijesh [editor.] | Petre, Luigia [editor.] | Smith, Graeme [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers / edited by Andrea Bracciali, Jeremy Clark, Federico Pintore, Peter B. Rønne, Massimiliano Sala.
by Bracciali, Andrea [editor.] | Clark, Jeremy [editor.] | Pintore, Federico [editor.] | Rønne, Peter B [editor.] | Sala, Massimiliano [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
|
|
|
|
Pattern Recognition [electronic resource] : 5th Asian Conference, ACPR 2019, Auckland, New Zealand, November 26-29, 2019, Revised Selected Papers, Part I / edited by Shivakumara Palaiahnakote, Gabriella Sanniti di Baja, Liang Wang, Wei Qi Yan.
by Palaiahnakote, Shivakumara [editor.] | Sanniti di Baja, Gabriella [editor.] | Wang, Liang [editor.] | Yan, Wei Qi [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
|
|
|
|
MultiMedia Modeling [electronic resource] : 26th International Conference, MMM 2020, Daejeon, South Korea, January 5-8, 2020, Proceedings, Part II / edited by Yong Man Ro, Wen-Huang Cheng, Junmo Kim, Wei-Ta Chu, Peng Cui, Jung-Woo Choi, Min-Chun Hu, Wesley De Neve.
by Ro, Yong Man [editor.] | Cheng, Wen-Huang [editor.] | Kim, Junmo [editor.] | Chu, Wei-Ta [editor.] | Cui, Peng [editor.] | Choi, Jung-Woo [editor.] | Hu, Min-Chun [editor.] | De Neve, Wesley [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
|
|
|
|
Membrane Computing [electronic resource] : 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers / edited by Rudolf Freund, Tseren-Onolt Ishdorj, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.
by Freund, Rudolf [editor.] | Ishdorj, Tseren-Onolt [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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
|
|
|
|
Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.
by Raschke, Alexander [editor.] | Riccobene, Elvinia [editor.] | Schewe, Klaus-Dieter [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
|
|
|
|
The Semantic Web [electronic resource] : 18th International Conference, ESWC 2021, Virtual Event, June 6-10, 2021, Proceedings / edited by Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin, Maria Maleshkova, Oscar Corcho, Petar Ristoski, Mehwish Alam.
by Verborgh, Ruben [editor.] | Hose, Katja [editor.] | Paulheim, Heiko [editor.] | Champin, Pierre-Antoine [editor.] | Maleshkova, Maria [editor.] | Corcho, Oscar [editor.] | Ristoski, Petar [editor.] | Alam, Mehwish [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
|
|
|
|
Model and Data Engineering [electronic resource] : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings / edited by Christian Attiogbé, Sadok Ben Yahia.
by Attiogbé, Christian [editor.] | Ben Yahia, Sadok [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
|
|
|
|
Artificial Intelligence in Education [electronic resource] : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part II / edited by Ido Roll, Danielle McNamara, Sergey Sosnovsky, Rose Luckin, Vania Dimitrova.
by Roll, Ido [editor.] | McNamara, Danielle [editor.] | Sosnovsky, Sergey [editor.] | Luckin, Rose [editor.] | Dimitrova, Vania [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
|
|
|
|
Artificial Intelligence in Education [electronic resource] : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part I / edited by Ido Roll, Danielle McNamara, Sergey Sosnovsky, Rose Luckin, Vania Dimitrova.
by Roll, Ido [editor.] | McNamara, Danielle [editor.] | Sosnovsky, Sergey [editor.] | Luckin, Rose [editor.] | Dimitrova, Vania [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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I / edited by Kazue Sako, Nils Ole Tippenhauer.
by Sako, Kazue [editor.] | Tippenhauer, Nils Ole [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
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / edited by Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan.
by Xue, Jinyun [editor.] | Nagoya, Fumiko [editor.] | Liu, Shaoying [editor.] | Duan, Zhenhua [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
|
