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

Reihe: Programming and Software Engineering

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 241-250 von 581

  1. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    Doron A. Peled, Yih-Kuen Tsay
    Taschenbuch | Springer Berlin, 2005
    Lieferbar in 6 Werktagen
    € 54,99
  2. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
    Toshiaki Aoki, Kenji Taguchi
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 54,99
  3. Service-Oriented Computing
    Service-Oriented Computing
    7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings
    Luciano Baresi, Chi-Hung Chi, Jun Suzuki
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 109,99
  4. Early Aspects: Current Challenges and Future Directions
    Early Aspects: Current Challenges and Future Directions
    10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
    A. Moreira
    Taschenbuch | Springer Berlin, 2007
    Lieferbar in 6 Werktagen
    € 54,99
  5. Rule Interchange and Applications
    Rule Interchange and Applications
    International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
    Adrian Paschke, Guido Governatori, John Hall
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 54,99
  6. FM 2012: Formal Methods
    FM 2012: Formal Methods
    18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
    Dimitra Giannakopoulou, Dominique Mery
    Taschenbuch | Springer Berlin, 2012
    Lieferbar in 6 Werktagen
    € 54,99
  7. Logic Programming
    Logic Programming
    23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
    Verónica Dahl, Ilkka Niemelä
    Taschenbuch | Springer Berlin, 2007
    Lieferbar in 6 Werktagen
    € 54,99
  8. Intelligent Tutoring Systems
    Intelligent Tutoring Systems
    8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
    Mitsuru Ikeda, Kevin Ashlay, Tak-Wai Chan
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 109,99
  9. FM 2011: Formal Methods
    FM 2011: Formal Methods
    17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
    Michael Butler, Wolfram Schulte
    Taschenbuch | Springer Berlin, 2011
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Formal Methods for Performance Evaluation
    Formal Methods for Performance Evaluation
    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    Marco Bernardo, Jane Hillston
    Taschenbuch | Springer Berlin, 2007
    Lieferbar in 6 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 241-250 von 581

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