|
|
|
Language and Automata Theory and Applications [electronic resource] : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron.
by Leporati, Alberto [editor.] | Martín-Vide, Carlos [editor.] | Shapira, Dana [editor.] | Zandron, Claudio [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
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings / edited by Marc Zeller, Kai Höfig.
by Zeller, Marc [editor.] | Höfig, Kai [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
|
|
|
|
Structural Decision Diagrams in Digital Test [electronic resource] : Theory and Applications / by Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman.
by Ubar, Raimund [author.] | Raik, Jaan [author.] | Jenihhin, Maksim [author.] | Jutman, Artur [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings / edited by Galina Jirásková, Giovanni Pighizzini.
by Jirásková, Galina [editor.] | Pighizzini, Giovanni [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
|
|
|
|
PRIMA 2022: Principles and Practice of Multi-Agent Systems [electronic resource] : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings / edited by Reyhan Aydoğan, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia.
by Aydoğan, Reyhan [editor.] | Criado, Natalia [editor.] | Lang, Jérôme [editor.] | Sanchez-Anguix, Victor [editor.] | Serramia, Marc [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
|
|
|
|
Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado.
by Petrenko, Alexandre [editor.] | Simao, Adenilso [editor.] | Maldonado, José Carlos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Reliable Software Technologies - Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / edited by António Casimiro, Pedro M. Ferreira.
by Casimiro, António [editor.] | Ferreira, Pedro M [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong.
by Duan, Zhenhua [editor.] | Ong, Luke [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
|
|
|
|
Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings / edited by Liqun Chen, Mark Manulis, Steve Schneider.
by Chen, Liqun [editor.] | Manulis, Mark [editor.] | Schneider, Steve [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
|
|
|
|
Static Analysis [electronic resource] : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings / edited by Andreas Podelski.
by Podelski, Andreas [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2018 [electronic resource] : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings / edited by Bernd Fischer, Tarmo Uustalu.
by Fischer, Bernd [editor.] | Uustalu, Tarmo [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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang.
by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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
|
|
|
|
Human and Artificial Rationalities [electronic resource] : Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings / edited by Jean Baratgin, Baptiste Jacquet, Hiroshi Yama.
by Baratgin, Jean [editor.] | Jacquet, Baptiste [editor.] | Yama, Hiroshi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings / edited by Farhad Arbab, Sung-Shik Jongmans.
by Arbab, Farhad [editor.] | Jongmans, Sung-Shik [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad.
by Muggleton, Stephen H [editor.] | Tamaddoni-Nezhad, Alireza [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger.
by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
From Computational Logic to Computational Biology [electronic resource] : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career / edited by Domenico Cantone, Alfredo Pulvirenti.
by Cantone, Domenico [editor.] | Pulvirenti, Alfredo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Taming the Infinities of Concurrency [electronic resource] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday / edited by Stefan Kiefer, Jan Křetínský, Antonín Kučera.
by Kiefer, Stefan [editor.] | Křetínský, Jan [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath.
by McIver, Annabelle [editor.] | Horvath, Andras [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar.
by Jansen, David N [editor.] | Prabhakar, Pavithra [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
|
