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 2891-2900 von 4247

  1. SPIN Model Checking and Software Verification
    SPIN Model Checking and Software Verification
    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    Klaus Havelund, John Penix, Willem Visser
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  2. RoboCup-99: Robot Soccer World Cup III
    RoboCup-99: Robot Soccer World Cup III
    Manuela Veloso, Enrico Pagello, Hiroaki Kitano
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
  3. ZB 2000: Formal Specification and Development in Z and B
    ZB 2000: Formal Specification and Development in Z and B
    First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
    Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Adaptive Hypermedia and Adaptive Web-Based Systems
    Adaptive Hypermedia and Adaptive Web-Based Systems
    International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings
    Peter Brusilovsky, Oliviero Stock, Carlo Strapparava
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Design and Applications of Intelligent Agents
    Design and Applications of Intelligent Agents
    Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 Melbourne, Australia, August 28-29, 2000 Proceedings
    Chengqui Zhang, Von-Wun Soo
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. CONCUR 2000 - Concurrency Theory
    CONCUR 2000 - Concurrency Theory
    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Catuscia Palamidessi
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
  7. The Computational Complexity of Equivalence and Isomorphism Problems
    The Computational Complexity of Equivalence and Isomorphism Problems
    Thomas Thierauf
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Conceptual Structures: Logical, Linguistic, and Computational Issues
    Conceptual Structures: Logical, Linguistic, and Computational Issues
    8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings
    Bernhard Ganter, Guy W. Mineau
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
  9. Implementation of Functional Languages
    Implementation of Functional Languages
    11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers
    Pieter Koopman, Chris Clack
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    Mark Aagaard, John Harrison
    Taschenbuch | Springer Berlin, 2000
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 2891-2900 von 4247

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

Abbrechen Weiter einkaufen