Toggle Nav
Menu
  • Home
  • Reihe: Lecture Notes in Computer Science

Reihe: Lecture Notes in Computer Science

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 71-80 von 7225

  1. VDM '90. VDM and Z - Formal Methods in Software Development
    VDM '90. VDM and Z - Formal Methods in Software Development
    Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    Dines Bjørner, C.A.R. Hoare, Hans Langmaack
    Taschenbuch | Springer Berlin, 1990
    Lieferbar in 6 Werktagen
    € 54,99
  2. Advances in Intelligent Data Analysis IX
    Advances in Intelligent Data Analysis IX
    9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010, Proceedings
    Paul R. Cohen, Niall M. Adams, Michael R. Berthold
    Taschenbuch | Springer Berlin, 2010
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Data Management in Grid and Peer-to-Peer Systems
    Data Management in Grid and Peer-to-Peer Systems
    Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
    Abdelkader Hameurlain, A Min Tjoa
    Taschenbuch | Springer Berlin, 2009
    Lieferbar in 6 Werktagen
    € 54,99
  4. Computer Aided Verification
    Computer Aided Verification
    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    Rajeev Alur, Thomas Henzinger
    Taschenbuch | Springer Berlin, 1996
    Lieferbar in 6 Werktagen
    € 54,99
  5. Practical Reasoning
    Practical Reasoning
    International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
    Dov M. Gabbay, Hans Jürgen Ohlbach
    Taschenbuch | Springer Berlin, 1996
    Lieferbar in 6 Werktagen
    € 109,99
  6. Intelligent Tutoring Systems
    Intelligent Tutoring Systems
    Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings
    Claude Frasson, Gilles Gauthier, Alan Lesgold
    Taschenbuch | Springer Berlin, 1996
    Lieferbar in 6 Werktagen
    € 109,99
  7. Algorithmic Aspects of Wireless Sensor Networks
    Algorithmic Aspects of Wireless Sensor Networks
    Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers
    Sandor P. Fekete
    Taschenbuch | Springer Berlin, 2008
    Lieferbar in 6 Werktagen
    € 54,99
  8. Computer Aided Verification
    Computer Aided Verification
    10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    Alan J. Hu, Moshe Y. Vardi
    Taschenbuch | Springer Berlin, 1998
    Lieferbar in 6 Werktagen
    € 109,99
  9. Discrete and Computational Geometry
    Discrete and Computational Geometry
    Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers
    Jin Akiyama, Mikio Kano, Masatsugu Urabe
    Taschenbuch | Springer Berlin, 2000
    Lieferbar in 6 Werktagen
    € 54,99
  10. Network-Based Information Systems
    Network-Based Information Systems
    First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings
    Tomoya Enokido, Leonhard Barolli, Makoto Takizawa
    Taschenbuch | Springer Berlin, 2007
    Lieferbar in 6 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 71-80 von 7225

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