|
|
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers / edited by Ruzica Piskac, Philipp Rümmer.
by Piskac, Ruzica [editor.] | Rümmer, Philipp [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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings / edited by Mikoláš Janota, Inês Lynce.
by Janota, Mikoláš [editor.] | Lynce, Inês [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
|
|
|
|
Software Technology: Methods and Tools [electronic resource] : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings / edited by Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko.
by Mazzara, Manuel [editor.] | Bruel, Jean-Michel [editor.] | Meyer, Bertrand [editor.] | Petrenko, Alexander [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
|
|
|
|
Transactions on Rough Sets XXI [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings / edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler.
by Felderer, Michael [editor.] | Méndez Fernández, Daniel [editor.] | Turhan, Burak [editor.] | Kalinowski, Marcos [editor.] | Sarro, Federica [editor.] | Winkler, Dietmar [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun.
by Sun, Jing [editor.] | Sun, Meng [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings / edited by Anthony Widjaja Lin.
by Lin, Anthony Widjaja [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
|
|
|
|
Reachability Problems [electronic resource] : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings / edited by Emmanuel Filiot, Raphaël Jungers, Igor Potapov.
by Filiot, Emmanuel [editor.] | Jungers, Raphaël [editor.] | Potapov, Igor [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings / edited by Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández.
by Franch, Xavier [editor.] | Männistö, Tomi [editor.] | Martínez-Fernández, Silverio [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
|
|
|
|
Teaching Fundamental Concepts of Informatics [electronic resource] : 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010, Proceedings / edited by Juraj Hromkovič, Rastislav Královic, Jan Vahrenhold.
by Hromkovič, Juraj [editor.] | Královic, Rastislav [editor.] | Vahrenhold, Jan [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer.
by Johnsen, Einar Broch [editor.] | Schaefer, Ina [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
|
|
|
|
Software Architecture [electronic resource] : 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings / edited by Carlos E. Cuesta, David Garlan, Jennifer Pérez.
by Cuesta, Carlos E [editor.] | Garlan, David [editor.] | Pérez, Jennifer [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
|
|
|
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers / edited by Supratik Chakraborty, Jorge A. Navas.
by Chakraborty, Supratik [editor.] | Navas, Jorge A [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez.
by Atig, Mohamed Faouzi [editor.] | Bensalem, Saddek [editor.] | Bliudze, Simon [editor.] | Monsuez, Bruno [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
|
|
|
|
Principles of Modeling [electronic resource] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani.
by Lohstroh, Marten [editor.] | Derler, Patricia [editor.] | Sirjani, Marjan [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
|
|
|
|
New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina.
by Capilla, Rafael [editor.] | Gallina, Barbara [editor.] | Cetina, Carlos [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
|
|
|
|
Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings / edited by Majid Zamani, Damien Zufferey.
by Zamani, Majid [editor.] | Zufferey, Damien [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / edited by Bor-Yuh Evan Chang.
by Chang, Bor-Yuh Evan [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
|
