|
|
|
Formal Grammar [electronic resource] : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers / edited by Annie Foret, Reinhard Muskens, Sylvain Pogodalla.
by Foret, Annie [editor.] | Muskens, Reinhard [editor.] | Pogodalla, Sylvain [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematics and Computation in Music [electronic resource] : 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings / edited by Octavio A. Agustín-Aquino, Emilio Lluis-Puebla, Mariana Montiel.
by Agustín-Aquino, Octavio A [editor.] | Lluis-Puebla, Emilio [editor.] | Montiel, Mariana [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
|
|
|
|
Algorithms for Computational Biology [electronic resource] : 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28-30, 2019, Proceedings / edited by Ian Holmes, Carlos Martín-Vide, Miguel A. Vega-Rodríguez.
by Holmes, Ian [editor.] | Martín-Vide, Carlos [editor.] | Vega-Rodríguez, Miguel 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
|
|
|
|
AI Approaches to the Complexity of Legal Systems [electronic resource] : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata.
by Pagallo, Ugo [editor.] | Palmirani, Monica [editor.] | Casanovas, Pompeu [editor.] | Sartor, Giovanni [editor.] | Villata, Serena [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
|
|
|
|
Security and Trust Management [electronic resource] : 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedings / edited by Kostantinos Markantonakis, Marinella Petrocchi.
by Markantonakis, Kostantinos [editor.] | Petrocchi, Marinella [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings / edited by Jesse Davis, Karim Tabia.
by Davis, Jesse [editor.] | Tabia, Karim [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency XIV [electronic resource] / edited by Maciej Koutny, Lucia Pomello, Lars Michael Kristensen.
by Koutny, Maciej [editor.] | Pomello, Lucia [editor.] | Kristensen, Lars Michael [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
|
|
|
|
Database Systems for Advanced Applications. DASFAA 2020 International Workshops [electronic resource] : BDMS, SeCoP, BDQM, GDMA, and AIDE, Jeju, South Korea, September 24-27, 2020, Proceedings / edited by Yunmook Nah, Chulyun Kim, Seon-Young Kim, Yang-Sae Moon, Steven Euijong Whang.
by Nah, Yunmook [editor.] | Kim, Chulyun [editor.] | Kim, Seon-Young [editor.] | Moon, Yang-Sae [editor.] | Whang, Steven Euijong [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
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / edited by Ivona Brandic, Thiago A. L. Genez, Ilia Pietri, Rizos Sakellariou.
by Brandic, Ivona [editor.] | Genez, Thiago A. L [editor.] | Pietri, Ilia [editor.] | Sakellariou, Rizos [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
|
|
|
|
Frontiers in Algorithmics [electronic resource] : 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings / edited by Minming Li.
by Li, Minming [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
|
|
|
|
Artificial Intelligence [electronic resource] : 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020, Proceedings / edited by Sergei O. Kuznetsov, Aleksandr I. Panov, Konstantin S. Yakovlev.
by Kuznetsov, Sergei O [editor.] | Panov, Aleksandr I [editor.] | Yakovlev, Konstantin S [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
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 21st Workshop, CLSW 2020, Hong Kong, China, May 28-30, 2020, Revised Selected Papers / edited by Meichun Liu, Chunyu Kit, Qi Su.
by Liu, Meichun [editor.] | Kit, Chunyu [editor.] | Su, Qi [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
|
|
|
|
Multi-Agent Systems [electronic resource] : 18th European Conference, EUMAS 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers / edited by Ariel Rosenfeld, Nimrod Talmon.
by Rosenfeld, Ariel [editor.] | Talmon, Nimrod [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings / edited by Stéphane Devismes, Neeraj Mittal.
by Devismes, Stéphane [editor.] | Mittal, Neeraj [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
|
|
|
|
Distributed Artificial Intelligence [electronic resource] : Second International Conference, DAI 2020, Nanjing, China, October 24-27, 2020, Proceedings / edited by Matthew E. Taylor, Yang Yu, Edith Elkind, Yang Gao.
by Taylor, Matthew E [editor.] | Yu, Yang [editor.] | Elkind, Edith [editor.] | Gao, Yang [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
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings / edited by Luca Bernardinello, Laure Petrucci.
by Bernardinello, Luca [editor.] | Petrucci, Laure [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 Techniques for Distributed Objects, Components, and Systems [electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / edited by Mohammad Reza Mousavi, Anna Philippou.
by Mousavi, Mohammad Reza [editor.] | Philippou, Anna [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
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 22nd Workshop, CLSW 2021, Nanjing, China, May 15-16, 2021, Revised Selected Papers, Part II / edited by Minghui Dong, Yanhui Gu, Jia-Fei Hong.
by Dong, Minghui [editor.] | Gu, Yanhui [editor.] | Hong, Jia-Fei [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
|
|
|
|
Culture and Computing [electronic resource] : 10th International Conference, C&C 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings / edited by Matthias Rauterberg.
by Rauterberg, Matthias [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings / edited by Sergio Rajsbaum, Alkida Balliu, Joshua J. Daymude, Dennis Olivetti.
by Rajsbaum, Sergio [editor.] | Balliu, Alkida [editor.] | Daymude, Joshua J [editor.] | Olivetti, Dennis [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
|
