Ergebnisse filtern
Fachgebiet
Medium
  • 94
  • 73
Erscheinungsjahr
  • 1
  • 1
  • 13
  • 63
  • 33
  • 11
  • 4
  • 4
  • 4
  • 3
  • 5
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
Autoren
  • 3
  • 6
  • 2
  • 1
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 1
  • 3
  • 2
  • 3
  • 10
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 2
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 1
  • 3
  • 3
  • 3
  • 1
  • 2
  • 1
  • 3
  • 2
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 1
  • 4
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 4
  • 3
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 3
  • 3
  • 3
Verlag
  • 1
  • 97
  • 2
  • 1
  • 64
  • 1
  • 1
Preis
  • 1
  • 105
  • 61
Sprachen
  • 167
Verfügbarkeit
  • 167
Katalog
  • 167
167  Treffer  für „Monographs in Computer Science“
    Nielson | ML with Concurrency | eBook | Sack Fachmedien
    E-Book

    Nielson ML with Concurrency

    Design, Analysis, Implementation, and Application
    1997
    Verlag: Springer US
    ISBN: 978-1-4612-2274-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Nielson | ML with Concurrency | Buch | Sack Fachmedien

    Nielson ML with Concurrency

    Design, Analysis, Implementation, and Application
    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Springer
    ISBN: 978-1-4612-7483-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benosman / Kang | Panoramic Vision | Buch | Sack Fachmedien

    Benosman / Kang Panoramic Vision

    Sensors, Theory, and Applications
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-2880-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gries | Programming Methodology | Buch | Sack Fachmedien

    Gries Programming Methodology

    A Collection of Articles by Members of IFIP WG2.3
    Softcover Nachdruck of the original 1. Auflage 1978
    Verlag: Springer
    ISBN: 978-1-4612-6317-3
    Medium: Buch
    53,49 € (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

    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Springer
    ISBN: 978-1-4612-8757-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snepscheut | What Computing Is All About | Buch | Sack Fachmedien

    Snepscheut What Computing Is All About

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-1-4612-7639-5
    Medium: Buch
    85,55 € (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
    Kozen | The Design and Analysis of Algorithms | eBook | Sack Fachmedien
    E-Book

    Kozen The Design and Analysis of Algorithms

    1992
    Verlag: Springer US
    ISBN: 978-1-4612-4400-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    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 / 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
    Book / Otto | String-Rewriting Systems | eBook | Sack Fachmedien
    E-Book

    Book / Otto String-Rewriting Systems

    1993
    Verlag: Springer US
    ISBN: 978-1-4613-9771-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brzozowski / Seger | Asynchronous Circuits | eBook | Sack Fachmedien
    E-Book

    Brzozowski / Seger Asynchronous Circuits

    1995
    Verlag: Springer US
    ISBN: 978-1-4612-4210-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brzozowski / Seger | Asynchronous Circuits | Buch | Sack Fachmedien

    Brzozowski / Seger Asynchronous Circuits

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer
    ISBN: 978-1-4612-8698-1
    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
    Gries | Programming Methodology | eBook | Sack Fachmedien
    E-Book

    Gries Programming Methodology

    A Collection of Articles by Members of IFIP WG2.3
    1978
    Verlag: Springer US
    ISBN: 978-1-4612-6315-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Book / Otto | String-Rewriting Systems | Buch | Sack Fachmedien

    Book / Otto String-Rewriting Systems

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-1-4613-9773-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Shore | Logic for Applications | eBook | Sack Fachmedien
    E-Book

    Nerode / Shore Logic for Applications

    1993
    Verlag: Springer US
    ISBN: 978-1-4684-0211-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    82,38 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Manes / Arbib | Algebraic Approaches to Program Semantics | eBook | Sack Fachmedien
    E-Book

    Manes / Arbib Algebraic Approaches to Program Semantics

    1986
    Verlag: Springer US
    ISBN: 978-1-4612-4962-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    93,08 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Benosman / Kang | Panoramic Vision | eBook | Sack Fachmedien
    E-Book

    Benosman / Kang Panoramic Vision

    Sensors, Theory, and Applications
    2001
    Verlag: Springer US
    ISBN: 978-1-4757-3482-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Misra | A Discipline of Multiprogramming | eBook | Sack Fachmedien
    E-Book

    Misra A Discipline of Multiprogramming

    Programming Theory for Distributed Applications
    2001
    Verlag: Springer US
    ISBN: 978-1-4419-8528-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Downey / Fellows | Parameterized Complexity | eBook | Sack Fachmedien
    E-Book

    Downey / Fellows Parameterized Complexity

    1999
    Verlag: Springer US
    ISBN: 978-1-4612-0515-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    255,73 € (inkl. MwSt.)
    sofort verfügbar
    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
    Guttag / Horning | Larch: Languages and Tools for Formal Specification | eBook | Sack Fachmedien
    E-Book

    Guttag / Horning Larch: Languages and Tools for Formal Specification

    1993
    Verlag: Springer US
    ISBN: 978-1-4612-2704-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Reps / Teitelbaum | The Synthesizer Generator Reference Manual | eBook | Sack Fachmedien
    E-Book

    Reps / Teitelbaum The Synthesizer Generator Reference Manual

    3rd Auflage 1989
    Verlag: Springer US
    ISBN: 978-1-4613-9633-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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