|
|
681.
|
Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz.
by Salaün, Gwen | Schätz, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
682.
|
Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil.
by Scholz, Sven-Bodo | Chitil, Olaf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
683.
|
Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings / edited by Jon Whittle, Tony Clark, Thomas Kühne.
by Whittle, Jon | Clark, Tony | Kühne, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
684.
|
Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd.
by Jones, Cliff B | Lloyd, John L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
685.
|
Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu.
by Qin, Shengchao | Qiu, Zongyan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
686.
|
Transactions on High-Performance Embedded Architectures and Compilers IV [electronic resource] / edited by Per Stenström.
by Stenström, Per | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
687.
|
Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi.
by Wolff, Burkhart | Zaïdi, Fatiha | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
688.
|
Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling.
by Jeusfeld, Manfred | Delcambre, Lois | Ling, Tok-Wang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
689.
|
Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider.
by Barthe, Gilles | Pardo, Alberto | Schneider, Gerardo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
690.
|
Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.
by Kuich, Werner | Rahonis, George | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
691.
|
Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer.
by Agha, Gul | Danvy, Olivier | Meseguer, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
692.
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
693.
|
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang.
by Yang, Hongseok | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
694.
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
by Jouannaud, Jean-Pierre | Shao, Zhong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
695.
|
Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang.
by Kim, Tai-hoon | Adeli, Hojjat | Kim, Haeng-kon | Kang, Heau-jo | Kim, Kyung Jung | Kiumi, Akingbehin | Kang, Byeong-Ho | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
696.
|
Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch.
by Unland, Rainer | Calisti, Monique | Klusch, Matthias | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
|
|
|
697.
|
The Agent Modeling Language - AML [electronic resource] : A Comprehensive Approach to Modeling Multi-Agent Systems / by Radovan Cervenka, Ivan Trencansky.
by Cervenka, Radovan | Trencansky, Ivan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2007Online access: Click here to access online Availability: No items available
|
|
|
698.
|
Dynamically Reconfigurable Systems [electronic resource] : Architectures, Design Methods and Applications / edited by Marco Platzner, Jürgen Teich, Norbert Wehn.
by Platzner, Marco | Teich, Jürgen | Wehn, Norbert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
699.
|
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL 2009 / edited by Dominique Borrione.
by Borrione, Dominique | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
700.
|
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems [electronic resource] / by Paul Lokuciejewski, Peter Marwedel.
by Lokuciejewski, Paul | Marwedel, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
