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 3291-3300 von 4231

  1. Programming Languages: Implementations, Logics, and Programs
    Programming Languages: Implementations, Logics, and Programs
    9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
    Hugh Glaser, Peter Hartel, Herbert Kuchen
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Coordination Languages and Models
    Coordination Languages and Models
    Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings
    David Garlan, Daniel Le Metayer
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
    Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
    A Multidisciplinary Approach to an Emerging Information Technology
    Maria T. Pazienza
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 39,60
  4. Computational Logic and Proof Theory
    Computational Logic and Proof Theory
    5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
    Georg Gottlob, Alexander Leitsch, Daniele Mundici
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Mathematical Foundations of Computer Science 1997
    Mathematical Foundations of Computer Science 1997
    22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
    Igor Privara, Peter Ruzicka
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Parallel Computing Technologies
    Parallel Computing Technologies
    4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings
    Victor Malyshkin
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Elsa L. Gunter, Amy Felty
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Modular Compiler Verification
    Modular Compiler Verification
    A Refinement-Algebraic Approach Advocating Stepwise Abstraction
    Markus Müller-Olm
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  9. Multi-Agent Systems Methodologies and Applications
    Multi-Agent Systems Methodologies and Applications
    Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996, Selected Papers
    Chengqi Zhang, Lukose Dickson
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Fundamentals of Computation Theory
    Fundamentals of Computation Theory
    11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings
    Bogdan S. Chlebus, Ludwik Czaja
    Taschenbuch | Springer Berlin, 1997
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 3291-3300 von 4231

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

Abbrechen Weiter einkaufen