Ergebnisse filtern
Fachgebiet
Medium
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
Verlag
  • 4
  • 3
  • 2
Preis
  • 8
  • 1
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9

Technische Informatik

9  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    Versari / Gorrieri | Introduction to Concurrency Theory | Buch | Sack Fachmedien

    Versari / Gorrieri Introduction to Concurrency Theory

    Transition Systems and CCS
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21490-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Versari / Gorrieri | Introduction to Concurrency Theory | Buch | Sack Fachmedien

    Versari / Gorrieri Introduction to Concurrency Theory

    Transition Systems and CCS
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-36638-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paun / Salomaa / Rozenberg | DNA Computing | Buch | Sack Fachmedien

    Paun / Salomaa / Rozenberg DNA Computing

    New Computing Paradigms
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64196-4
    Medium: Buch
    90,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Communication Complexity and Parallel Computing | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Communication Complexity and Parallel Computing

    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57459-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paun / Salomaa / Rozenberg | DNA Computing | Buch | Sack Fachmedien

    Paun / Salomaa / Rozenberg DNA Computing

    New Computing Paradigms
    1. ed 1998. Corr. 2. printing. Softcover version of original hardcover Auflage 1998
    Verlag: Springer
    ISBN: 978-3-642-08388-4
    Medium: Buch
    90,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa | Public-Key Cryptography | Buch | Sack Fachmedien

    Salomaa Public-Key Cryptography

    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-642-08254-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa | Public-Key Cryptography | Buch | Sack Fachmedien

    Salomaa Public-Key Cryptography

    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61356-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castéran / Bertot | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Castéran / Bertot Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20854-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castéran / Bertot | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Castéran / Bertot Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05880-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular