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

Reihe: Lecture Notes in Computer Science

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 911-920 von 3885

  1. Progress in Cryptology - INDOCRYPT 2010
    Progress in Cryptology - INDOCRYPT 2010
    11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010, Proceedings
    Guang Gong, Kishan Chand Gupta
    Taschenbuch | Springer Berlin, 2010
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Computer Aided Verification
    Computer Aided Verification
    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    Kim G. Larsen, Arne Skou
    Taschenbuch | Springer Berlin, 1992
    Lieferbar in 6 Werktagen
    € 54,99
  3. Refinement Techniques in Software Engineering
    Refinement Techniques in Software Engineering
    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Complementary Definitions of Programming Language Semantics
    Complementary Definitions of Programming Language Semantics
    J.E. Donahue
    Taschenbuch | Springer Berlin, 1976
    Lieferbar in 6 Werktagen
    € 25,29
  5. Reversible Computation
    Reversible Computation
    4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
    Robert Glück, Tetsuo Yokoyama
    Taschenbuch | Springer Berlin, 2013
    Lieferbar in 6 Werktagen
    € 50,60
  6. Correct Hardware Design and Verification Methods
    Correct Hardware Design and Verification Methods
    IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
    George J. Milne, Laurence Pierre
    Taschenbuch | Springer Berlin, 1993
    Lieferbar in 6 Werktagen
    € 54,99
  7. Active, Real-Time, and Temporal Database Systems
    Active, Real-Time, and Temporal Database Systems
    Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings
    Sten F. Andler, Jörgen Hansson
    Taschenbuch | Springer Berlin, 1999
    Lieferbar in 6 Werktagen
    € 54,99
  8. Logic and Machines: Decision Problems and Complexity
    Logic and Machines: Decision Problems and Complexity
    Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
    E. Börger, G. Hasenjaeger, D. Rödding
    Taschenbuch | Springer Berlin, 1984
    Lieferbar in 6 Werktagen
    € 38,49
  9. Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation
    Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation
    10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings
    Dimitrios Soudris, Peter Pirsch, Erich Barke
    Taschenbuch | Springer Berlin, 2000
    Lieferbar in 6 Werktagen
    € 54,99
  10. Object Representation in Computer Vision II
    Object Representation in Computer Vision II
    ECCV '96 International Workshop, Cambridge, UK, April 13 - 14, 1996. Proceedings
    Jean Ponce, Andrew Zisserman, Martial Hebert
    Taschenbuch | Springer Berlin, 1996
    Lieferbar in 6 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 911-920 von 3885

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