Results
|
|
21.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. by Series: Lecture Notes in Computer Science ; 4789Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
22.
|
|
Image from Amazon.com
|
|
|
|
23.
|
|
Image from Amazon.com
|
|
|
|
24.
|
|
Image from Amazon.com
|
Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4880Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
25.
|
|
Image from Amazon.com
|
|
|
|
26.
|
|
Image from Amazon.com
|
|
|
|
27.
|
|
Image from Amazon.com
|
Algebraic Biology [electronic resource] : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / edited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida. by Series: Lecture Notes in Computer Science ; 5147Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
28.
|
|
Image from Amazon.com
|
|
|
|
29.
|
|
Image from Amazon.com
|
Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. by Series: Lecture Notes in Computer Science ; 5238Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
30.
|
|
Image from Amazon.com
|
|
|
|
31.
|
|
Image from Amazon.com
|
|
|
|
32.
|
|
Image from Amazon.com
|
|
|
|
33.
|
|
Image from Amazon.com
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Series: Lecture Notes in Computer Science ; 8938Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
In:
Springer eBooks
Availability: No items available.
|
|
|
34.
|
|
Image from Amazon.com
|
|
|
|
35.
|
|
Image from Amazon.com
|
|
|
|
36.
|
|
Image from Amazon.com
|
|
|
|
37.
|
|
Image from Amazon.com
|
|
|
|
38.
|
|
Image from Amazon.com
|
Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Andrew Pitts. by Series: Lecture Notes in Computer Science ; 9034Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer eBooks
Availability: No items available.
|
|
|
39.
|
|
Image from Amazon.com
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Series: Lecture Notes in Computer Science ; 8368Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: No items available.
|
|
|
40.
|
|
Image from Amazon.com
|
|
