Toggle Nav
Menu
  • Home
  • Reihe: Lecture Notes in Computer Science
Kategorie
Politik Sozialwissenschaften Geographie & Umwelt Informatik & IT Lexika Mathe & Naturwissenschaften Medizin Philosophie & Religion Sprache & Sprachwissenschaft Technik, Industrie, Landwirtschaft Wirtschaft & Management
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 3731-3740 von 4230

  1. Logical Foundations of Computer Science
    Logical Foundations of Computer Science
    Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
    Anil Nerode, Yu.V. Matiyasevich
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Applications of Databases
    Applications of Databases
    First International Conference, ADB-94, Vadstena, Sweden, June 21 - 23, 1994. Proceedings
    Witold Litwin, Tore Risch
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Computer Aided Verification
    Computer Aided Verification
    6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
    David L. Dill
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Application and Theory of Petri Nets 1994
    Application and Theory of Petri Nets 1994
    15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
    Robert Valette
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Object-Based Distributed Programming
    Object-Based Distributed Programming
    ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings
    Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Results and Trends in Theoretical Computer Science
    Results and Trends in Theoretical Computer Science
    Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings
    Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Types for Proofs and Programs
    Types for Proofs and Programs
    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    Henk Barendregt, Tobias Nipkow
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. FM8501: A Verified Microprocessor
    FM8501: A Verified Microprocessor
    Warren A. Jr. Hunt
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  9. Mathematical Foundations of Programming Semantics
    Mathematical Foundations of Programming Semantics
    9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
    Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
  10. Advanced Information Systems Engineering
    Advanced Information Systems Engineering
    6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings
    Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman
    Taschenbuch | Springer Berlin, 1994
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 87,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 3731-3740 von 4230

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

Abbrechen Weiter einkaufen