|
|
|
Declarative Programming and Knowledge Management [electronic resource] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu.
by Seipel, Dietmar [editor.] | Hanus, Michael [editor.] | Abreu, Salvador [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
|
|
|
|
Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger.
by German, Reinhard [editor.] | Hielscher, Kai-Steffen [editor.] | Krieger, Udo R [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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings / edited by Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín.
by Moral, Serafín [editor.] | Pivert, Olivier [editor.] | Sánchez, Daniel [editor.] | Marín, Nicolás [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
|
|
|
|
Testing Software and Systems [electronic resource] : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings / edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall.
by Gaston, Christophe [editor.] | Kosmatov, Nikolai [editor.] | Le Gall, Pascale [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
|
|
|
|
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings / edited by Vladimír Mařík, Petr Kadera, George Rzevski, Alois Zoitl, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil.
by Mařík, Vladimír [editor.] | Kadera, Petr [editor.] | Rzevski, George [editor.] | Zoitl, Alois [editor.] | Anderst-Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [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
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1-3, 2020, Revised Selected Papers / edited by Guido Marco Bertoni, Francesco Regazzoni.
by Bertoni, Guido Marco [editor.] | Regazzoni, Francesco [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-Based Program Synthesis and Transformation [electronic resource] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández.
by Fernández, Maribel [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
|
|
|
|
Risks and Security of Internet and Systems [electronic resource] : 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Jean Leneutre, Nora Cuppens, Reda Yaich.
by Garcia-Alfaro, Joaquin [editor.] | Leneutre, Jean [editor.] | Cuppens, Nora [editor.] | Yaich, Reda [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
|
|
|
|
PRIMA 2020: Principles and Practice of Multi-Agent Systems [electronic resource] : 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings / edited by Takahiro Uchiya, Quan Bai, Iván Marsá Maestre.
by Uchiya, Takahiro [editor.] | Bai, Quan [editor.] | Marsá Maestre, Iván [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
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15-17, 2022, Proceedings / edited by Khalid Saeed, Jiří Dvorský.
by Saeed, Khalid [editor.] | Dvorský, Jiří [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
|
|
|
|
Human-Centered Artificial Intelligence [electronic resource] : Advanced Lectures / edited by Mohamed Chetouani, Virginia Dignum, Paul Lukowicz, Carles Sierra.
by Chetouani, Mohamed [editor.] | Dignum, Virginia [editor.] | Lukowicz, Paul [editor.] | Sierra, Carles [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini.
by Dovier, Agostino [editor.] | Montanari, Angelo [editor.] | Orlandini, Andrea [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings / edited by Alessio Ferrari, Birgit Penzenstadler.
by Ferrari, Alessio [editor.] | Penzenstadler, Birgit [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
|
|
|
|
Security and Trust Management [electronic resource] : 18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings / edited by Gabriele Lenzini, Weizhi Meng.
by Lenzini, Gabriele [editor.] | Meng, Weizhi [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita.
by Higashino, Teruo [editor.] | Katayama, Yoshiaki [editor.] | Masuzawa, Toshimitsu [editor.] | Potop-Butucaru, Maria [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | de Roever, Willem-Paul [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang.
by Sampaio, Augusto [editor.] | Wang, Farn [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
|
|
|
|
Model and Data Engineering [electronic resource] : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos.
by Ait Ameur, Yamine [editor.] | Bellatreche, Ladjel [editor.] | Papadopoulos, George A [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings / edited by Pascal Felber, Vijay Garg.
by Felber, Pascal [editor.] | Garg, Vijay [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I / edited by Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz.
by Aceto, Luca [editor.] | Damgaard, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldorsson, Magnus M [editor.] | Ingolfsdottir, Anna [editor.] | Walukiewicz, Igor [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
|
