Ergebnisse filtern
Fachgebiet
Medium
  • 86
  • 45
Erscheinungsjahr
  • 1
  • 2
  • 4
  • 5
  • 5
  • 4
  • 2
  • 18
  • 8
  • 4
  • 29
  • 2
  • 4
  • 8
  • 6
  • 12
  • 4
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 3
  • 3
  • 9
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 13
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
Verlag
  • 95
  • 20
  • 15
  • 1
Preis
  • 119
  • 12
Sprachen
  • 131
Verfügbarkeit
  • 131
Katalog
  • 131
131  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (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
    Vollmer | Introduction to Circuit Complexity | eBook | Sack Fachmedien
    E-Book

    Vollmer Introduction to Circuit Complexity

    A Uniform Approach
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-03927-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hutter | Universal Artificial Intelligence | Buch | Sack Fachmedien

    Hutter Universal Artificial Intelligence

    Sequential Decisions Based on Algorithmic Probability
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22139-5
    Medium: Buch
    96,29 € (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
    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

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