|
|
41.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.
by Meyer, Bertrand | Woodcock, Jim | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
42.
|
Objects, Components, Models and Patterns [electronic resource] : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / edited by Richard F. Paige, Bertrand Meyer.
by Paige, Richard F | Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
43.
|
Global Production [electronic resource] : A Handbook for Strategy and Implementation / edited by Eberhard Abele, Tobias Meyer, Ulrich Näher, Gernot Strube, Richard Sykes.
by Abele, Eberhard | Meyer, Tobias | Näher, Ulrich | Strube, Gernot | Sykes, Richard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
44.
|
Human-Centered Visualization Environments [electronic resource] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures / edited by Andreas Kerren, Achim Ebert, Jörg Meyer.
by Kerren, Andreas | Ebert, Achim | Meyer, Jörg | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
45.
|
Euro-Par 2006: Parallel Processing [electronic resource] : Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / edited by Wolfgang Lehner, Norbert Meyer, Achim Streit, Craig Stewart.
by Lehner, Wolfgang | Meyer, Norbert | Streit, Achim | Stewart, Craig | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
46.
|
Digital Signal Processing with Field Programmable Gate Arrays [electronic resource] / by Uwe Meyer-Baese.
by Meyer-Baese, Uwe | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
47.
|
Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer.
by Gurevich, Yuri | Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
48.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers / edited by Bertrand Meyer, Mathai Joseph.
by Meyer, Bertrand | Joseph, Mathai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
49.
|
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / edited by Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter.
by Meyer, Bertrand | Nawrocki, Jerzy R | Walter, Bartosz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
50.
|
Touch of Class [electronic resource] : Learning to Program Well with Objects and Contracts / by Bertrand Meyer.
by Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
51.
|
Advanced Microsystems for Automotive Applications 2009 [electronic resource] : Smart Systems for Safety, Sustainability, and Comfort / edited by Gereon Meyer, Jürgen Valldorf, Wolfgang Gessner.
by Meyer, Gereon | Valldorf, Jürgen | Gessner, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
52.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers / edited by Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio.
by Berkling, Kay | Joseph, Mathai | Meyer, Bertrand | Nordio, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
53.
|
Objects, Components, Models and Patterns [electronic resource] : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings / edited by Manuel Oriol, Bertrand Meyer.
by Oriol, Manuel | Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
54.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Olly Gotel, Mathai Joseph, Bertrand Meyer.
by Gotel, Olly | Joseph, Mathai | Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
55.
|
Knowledge Representation for Agents and Multi-Agent Systems [electronic resource] : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers / edited by John-Jules Ch. Meyer, Jan Broersen.
by Meyer, John-Jules Ch | Broersen, Jan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
56.
|
Zinc Oxide [electronic resource] : From Fundamental Properties Towards Novel Applications / by Claus F. Klingshirn, Bruno K. Meyer, Andreas Waag, Axel Hoffmann, Jean Geurts.
by Klingshirn, Claus F | Meyer, Bruno K | Waag, Andreas | Hoffmann, Axel | Geurts, Jean | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
57.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings / edited by Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov.
by Nordio, Martin | Joseph, Mathai | Meyer, Bertrand | Terekhov, Andrey | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
58.
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.
by Abramsky, Samson | Gavoille, Cyril | Kirchner, Claude | Meyer auf der Heide, Friedhelm | Spirakis, Paul G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
59.
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.
by Abramsky, Samson | Gavoille, Cyril | Kirchner, Claude | Meyer auf der Heide, Friedhelm | Spirakis, Paul G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
60.
|
From Animals to Animats 11 [electronic resource] : 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings / edited by Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Jean-Arcady Meyer, Jean-Baptiste Mouret.
by Doncieux, Stéphane | Girard, Benoît | Guillot, Agnès | Hallam, John | Meyer, Jean-Arcady | Mouret, Jean-Baptiste | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
