Toggle Nav
Menu
  • Home
  • Reihe: Programming and Software Engineering

Reihe: Programming and Software Engineering

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 381-390 von 578

  1. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
    Taschenbuch | Springer Berlin, 2005
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Runtime Verification
    Runtime Verification
    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
    Taschenbuch | Springer Berlin, 2010
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Theory and Practice of Model Transformations
    Theory and Practice of Model Transformations
    Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
    Laurence Tratt, Martin Gogolla
    Taschenbuch | Springer Berlin, 2010
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Mathematical and Engineering Methods in Computer Science
    Mathematical and Engineering Methods in Computer Science
    7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
    Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 54,99
  5. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    Kerstin Eder, João Lourenҫo, Onn Shehory
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 50,60
  6. Programming Languages and Systems
    Programming Languages and Systems
    4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    Naoki Kobayashi
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Task Models and Diagrams for Users Interface Design
    Task Models and Diagrams for Users Interface Design
    5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers
    Karin Coninx, Kris Luyten, Kevin A. Schneider
    Taschenbuch | Springer Berlin, 2007
    Lieferung in 7-14 Werktagen
    € 54,99
  8. FM 2009: Formal Methods
    FM 2009: Formal Methods
    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    Ana Cavalcanti, Dennis Dams
    Taschenbuch | Springer Berlin, 2009
    Lieferung in 7-14 Werktagen
    € 109,99
  9. Logic Programming
    Logic Programming
    25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
    Patricia M. Hill, David S. Warren
    Taschenbuch | Springer Berlin, 2009
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Model-Driven Engineering Languages and Systems
    Model-Driven Engineering Languages and Systems
    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
    Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke
    Taschenbuch | Springer Berlin, 2013
    Lieferung in 2-5 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 381-390 von 578

Unsere Prinzipien

  • kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • alle FALTER-Produkte und Abos, nur hier!
  • als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
  • hohe Sicherheit durch SSL-Verschlüsselung (RSA 2048 bit)
  • keine Weitergabe personenbezogener Daten an Dritte

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen