|
|
|
Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / edited by Alexandre Bergel, Johan Fabry.
by Bergel, Alexandre [editor.] | Fabry, Johan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [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
|
|
|
|
Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / edited by Andrew Butterfield.
by Butterfield, Andrew [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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
by Liu, Zhiming [editor.] | Zhang, Zili [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings / edited by Rocco De Nicola, Christine Julien.
by De Nicola, Rocco [editor.] | Julien, Christine [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
|
|
|
|
Static Analysis [electronic resource] : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / edited by Xavier Rival.
by Rival, Xavier [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / edited by Marcello M. Bonsangue, Eric Madelaine.
by Bonsangue, Marcello M [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.
by Liu, Shaoying [editor.] | Duan, Zhenhua [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] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings / edited by Kung-Kiu Lau, Richard Banach.
by Lau, Kung-Kiu [editor.] | Banach, Richard [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Nathalie Bertrand, Luca Bortolussi.
by Bertrand, Nathalie [editor.] | Bortolussi, Luca [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
|
|
|
|
Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / edited by Michel Baudry, Eric Wohlstadter.
by Baudry, Michel [editor.] | Wohlstadter, Eric [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
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.
by Tonetta, Stefano [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [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
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.
by Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [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
|
|
|
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings / edited by Roberto Bruni, Juergen Dingel.
by Bruni, Roberto [editor.] | Dingel, Juergen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran.
by Qadeer, Shaz [editor.] | Tasiran, Serdar [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
|
|
|
|
Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.
by Siegler, Simon [editor.] | Wasser, Nathan [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / edited by Luca de Alfaro.
by de Alfaro, Luca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Tests and Proofs [electronic resource] : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers / edited by Bertrand Meyer, Yuri Gurevich.
by Meyer, Bertrand [editor.] | Gurevich, Yuri [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / edited by Werner Damm, Holger Hermanns.
by Damm, Werner [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-Jörg Kreowski.
by Mossakowski, Till [editor.] | Kreowski, Hans-Jörg [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
|
