Ergebnisse filtern
Fachgebiet
Medium
  • 39
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 4
  • 8
  • 2
  • 2
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
Autoren
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
Verlag
  • 37
  • 1
  • 1
Preis
  • 12
  • 27
Sprachen
  • 39
Verfügbarkeit
  • 39
Katalog
  • 39
39  Treffer  für „Monographs in Computer Science“
    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
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-6518-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manes / Arbib | Algebraic Approaches to Program Semantics | Buch | Sack Fachmedien

    Manes / Arbib Algebraic Approaches to Program Semantics

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-1-4612-9377-4
    Medium: Buch
    93,08 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grune / Jacobs | Parsing Techniques | Buch | Sack Fachmedien

    Grune / Jacobs Parsing Techniques

    A Practical Guide
    2. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4419-1901-4
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abadi / Cardelli | A Theory of Objects | Buch | Sack Fachmedien

    Abadi / Cardelli A Theory of Objects

    1996
    Verlag: Springer
    ISBN: 978-0-387-94775-4
    Medium: Buch
    246,09 € (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
    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
    Feijen / Gasteren / Gries | Beauty Is Our Business | Buch | Sack Fachmedien

    Feijen / Gasteren / Gries Beauty Is Our Business

    A Birthday Salute to Edsger W. Dijkstra
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-0-387-97299-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abadi / Cardelli | A Theory of Objects | Buch | Sack Fachmedien

    Abadi / Cardelli A Theory of Objects

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4612-6445-3
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Partsch | Specification and Transformation of Programs | Buch | Sack Fachmedien

    Partsch Specification and Transformation of Programs

    A Formal Approach to Software Development
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52356-7
    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

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11148-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
    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
    Downey / Fellows | Parameterized Complexity | Buch | Sack Fachmedien

    Downey / Fellows Parameterized Complexity

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-6798-0
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Downey / Fellows | Parameterized Complexity | Buch | Sack Fachmedien

    Downey / Fellows Parameterized Complexity

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-0-387-94883-6
    Medium: Buch
    267,49 € (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

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