Ergebnisse filtern
Fachgebiet
Medium
  • 60
Erscheinungsjahr
  • 1
  • 2
  • 8
  • 6
  • 10
  • 3
  • 1
  • 2
  • 5
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
Autoren
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
Verlag
  • 54
  • 2
  • 1
  • 2
  • 1
Preis
  • 21
  • 39
Sprachen
  • 60
Verfügbarkeit
  • 60
Katalog
  • 60
60  Treffer  für „Monographs in Computer Science“
    Gries / Schneider | A Logical Approach to Discrete Math | Buch | Sack Fachmedien

    Gries / Schneider A Logical Approach to Discrete Math

    1993
    Verlag: Springer
    ISBN: 978-0-387-94115-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen | The Design and Analysis of Algorithms | Buch | Sack Fachmedien

    Kozen The Design and Analysis of Algorithms

    1992
    Verlag: Springer
    ISBN: 978-0-387-97687-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cantone / Policriti / Omodeo | Set Theory for Computing | Buch | Sack Fachmedien

    Cantone / Policriti / Omodeo Set Theory for Computing

    From Decision Procedures to Declarative Programming with Sets
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-2905-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cantone / Omodeo / Policriti | Set Theory for Computing | Buch | Sack Fachmedien

    Cantone / Omodeo / Policriti Set Theory for Computing

    From Decision Procedures to Declarative Programming with Sets
    2001. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-387-95197-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider / Gries | A Logical Approach to Discrete Math | Buch | Sack Fachmedien

    Schneider / Gries A Logical Approach to Discrete Math

    1. Auflage. Softcover version of original hardcover Auflage 1993
    Verlag: Springer
    ISBN: 978-1-4419-2835-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poernomo / Crossley / Wirsing | Adapting Proofs-As-Programs | Buch | Sack Fachmedien

    Poernomo / Crossley / Wirsing Adapting Proofs-As-Programs

    The Curry--Howard Protocol
    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-0-387-23759-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poernomo / Wirsing / Crossley | Adapting Proofs-as-Programs | Buch | Sack Fachmedien

    Poernomo / Wirsing / Crossley Adapting Proofs-as-Programs

    The Curry--Howard Protocol
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-2014-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Misra | A Discipline of Multiprogramming | Buch | Sack Fachmedien

    Misra A Discipline of Multiprogramming

    Programming Theory for Distributed Applications
    2001. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-387-95206-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feijen / Gasteren | On a Method of Multiprogramming | Buch | Sack Fachmedien

    Feijen / Gasteren On a Method of Multiprogramming

    1999
    Verlag: Springer
    ISBN: 978-0-387-98870-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feijen / Gasteren | On a Method of Multiprogramming | Buch | Sack Fachmedien

    Feijen / Gasteren On a Method of Multiprogramming

    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-1-4419-3179-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christian | A Guide to Modula-2 | Buch | Sack Fachmedien

    Christian A Guide to Modula-2

    Softcover Nachdruck of the original 1. Auflage 1986
    Verlag: Springer
    ISBN: 978-1-4612-9349-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Syropoulos | Hypercomputation: Computing Beyond the Church-Turing Barrier | Buch | Sack Fachmedien

    Syropoulos Hypercomputation: Computing Beyond the Church-Turing Barrier

    2008
    Verlag: SPRINGER NATURE
    ISBN: 978-0-387-30886-9
    Medium: Buch
    110,50 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Heydon / Yu / Levin | Software Configuration Management Using Vesta | Buch | Sack Fachmedien

    Heydon / Yu / Levin Software Configuration Management Using Vesta

    2006
    Verlag: Springer US
    ISBN: 978-0-387-00229-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hehner | A Practical Theory of Programming | Buch | Sack Fachmedien

    Hehner A Practical Theory of Programming

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-1-4612-6444-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Wössner | Algorithmic Language and Program Development | Buch | Sack Fachmedien

    Bauer / Wössner Algorithmic Language and Program Development

    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11148-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hehner | A Practical Theory of Programming | Buch | Sack Fachmedien

    Hehner A Practical Theory of Programming

    1993
    Verlag: Springer
    ISBN: 978-0-387-94106-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morgan / Mclver | Programming Methodology | Buch | Sack Fachmedien

    Morgan / Mclver Programming Methodology

    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4419-2964-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reps / Teitelbaum | The Synthesizer Generator Reference Manual | Buch | Sack Fachmedien

    Reps / Teitelbaum The Synthesizer Generator Reference Manual

    Third Auflage 1989
    Verlag: Springer
    ISBN: 978-0-387-96910-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Waite / Goos | Compiler Construction | Buch | Sack Fachmedien

    Waite / Goos Compiler Construction

    Softcover Nachdruck of the original 1. Auflage 1984
    Verlag: Springer
    ISBN: 978-1-4612-9731-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Downey / Fellows | Parameterized Complexity | Buch | Sack Fachmedien

    Downey / Fellows Parameterized Complexity

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-1-4612-6798-0
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brzozowski / Seger | Asynchronous Circuits | Buch | Sack Fachmedien

    Brzozowski / Seger Asynchronous Circuits

    1995
    Verlag: Springer
    ISBN: 978-0-387-94420-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fellows / Downey | Parameterized Complexity | Buch | Sack Fachmedien

    Fellows / Downey Parameterized Complexity

    1999
    Verlag: Springer
    ISBN: 978-0-387-94883-6
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morgan / Mclver | Programming Methodology | Buch | Sack Fachmedien

    Morgan / Mclver Programming Methodology

    2003
    Verlag: Springer
    ISBN: 978-0-387-95349-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Stølen | Specification and Development of Interactive Systems | Buch | Sack Fachmedien

    Broy / Stølen Specification and Development of Interactive Systems

    Focus on Streams, Interfaces, and Refinement
    2001. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-387-95073-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Potrich / Tonella | Reverse Engineering of Object Oriented Code | Buch | Sack Fachmedien

    Potrich / Tonella Reverse Engineering of Object Oriented Code

    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-2325-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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