|
|
|
Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection [electronic resource] : 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings / edited by Yves Demazeau, Takayuki Ito, Javier Bajo, Maria José Escalona.
by Demazeau, Yves [editor.] | Ito, Takayuki [editor.] | Bajo, Javier [editor.] | Escalona, Maria José [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 Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink.
by Havelund, Klaus [editor.] | Peleska, Jan [editor.] | Roscoe, Bill [editor.] | de Vink, Erik [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter.
by Furia, Carlo A [editor.] | Winter, Kirsten [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
|
|
|
|
Algorithmic Game Theory [electronic resource] : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / edited by Xiaotie Deng.
by Deng, Xiaotie [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
|
|
|
|
Algorithmic Game Theory [electronic resource] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings / edited by Berthold Vöcking.
by Vöcking, Berthold [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
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers / edited by Dieter Kratsch.
by Kratsch, Dieter [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 Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang.
by Lahiri, Shuvendu K [editor.] | Wang, Chao [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
|
|
|
|
NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou.
by Lee, Ritchie [editor.] | Jha, Susmit [editor.] | Mavridou, Anastasia [editor.] | Giannakopoulou, Dimitra [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo.
by Abrahamsson, Pekka [editor.] | Corral, Luis [editor.] | Oivo, Markku [editor.] | Russo, Barbara [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I / edited by Fazilah Hassan, Noorhazirah Sunar, Mohd Ariffanan Mohd Basri, Mohd Saiful Azimi Mahmud, Mohamad Hafis Izran Ishak, Mohamed Sultan Mohamed Ali.
by Hassan, Fazilah [editor.] | Sunar, Noorhazirah [editor.] | Mohd Basri, Mohd Ariffanan [editor.] | Mahmud, Mohd Saiful Azimi [editor.] | Ishak, Mohamad Hafis Izran [editor.] | Mohamed Ali, Mohamed Sultan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Modelling and Simulation for Autonomous Systems [electronic resource] : 6th International Conference, MESAS 2019, Palermo, Italy, October 29-31, 2019, Revised Selected Papers / edited by Jan Mazal, Adriano Fagiolini, Petr Vasik.
by Mazal, Jan [editor.] | Fagiolini, Adriano [editor.] | Vasik, Petr [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings / edited by Catalin Dima, Mahsa Shirmohammadi.
by Dima, Catalin [editor.] | Shirmohammadi, Mahsa [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 Aided Systems Theory - EUROCAST 2022 [electronic resource] : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia.
by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Ana Maria Alves Coutinho Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falcão, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / edited by Martina Seidl, Nikolai Tillmann.
by Seidl, Martina [editor.] | Tillmann, Nikolai [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
|
|
|
|
Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / edited by András Horváth, Katinka Wolter.
by Horváth, András [editor.] | Wolter, Katinka [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings / edited by Yamine Ait-Ameur, Shengchao Qin.
by Ait-Ameur, Yamine [editor.] | Qin, Shengchao [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 Intelligence: Methodology, Systems, and Applications [electronic resource] : 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings / edited by Gennady Agre, Pascal Hitzler, Adila A. Krisnadhi, Sergei O. Kuznetsov.
by Agre, Gennady [editor.] | Hitzler, Pascal [editor.] | Krisnadhi, Adila A [editor.] | Kuznetsov, Sergei O [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
|
|
|
|
Multi-Agent and Multi-Agent-Based Simulation [electronic resource] : Joint Workshop MABS 2004 / edited by Paul Davidsson, Brian Logan, Keiki Takadama.
by Davidsson, Paul [editor.] | Logan, Brian [editor.] | Takadama, Keiki [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
|
|
|
|
Advances in Geometric Modeling and Processing [electronic resource] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / edited by Falai Chen, Bert Jüttler.
by Chen, Falai [editor.] | Jüttler, Bert [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
|
