Engineering

Showing 7033–7044 of 8415 results

Default sorting Sort by popularity Sort by average rating Sort by latest Sort by price: low to high Sort by price: high to low

• Order now
  Engineering

  {PDF} Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture … / Programming and Software Engineering) Mar?a Alpuente, Byron Cook, Christophe Joubert

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings Rocco De Nicola, Daniele Gorla, Rosario Pugliese (auth.), Martin Steffen, Gianluigi Zavattaro (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Paolo Baldan, Andrea Corradini (auth.), Hans-J?rg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected … / Programming and Software Engineering) Marcel Vin?cius Medeiros Oliveira, Jim Woodcock

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers Nicolas Blanc, Daniel Kroening (auth.), Marcel Vin?cius Medeiros Oliveira, Jim Woodcock (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings Lothar Thiele (auth.), Paul Pettersson, Wang Yi (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings Peter Harrison (auth.), Mario Bravetti, Le?la Kloul, Gianluigi Zavattaro (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Ant?nia Lopes, Arnd Poetzsch-Heffter (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Techniques for Networked and Distributed Systems – FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)

  Rated 0 out of 5

  $19.99 Order now
• Order now
  Engineering

  {PDF} Formal Techniques for Networked and Distributed Systems – FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings Daniel Krob (auth.), Elie Najm, Jean-Fran?ois Pradat-Peyre, V?ronique Vigui? Donzeau-Gouge (eds.)

  Rated 0 out of 5

  $19.99 Order now