Ergebnisse filtern
Fachgebiet
Medium
  • 27
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
Verlag
  • 27
Preis
  • 22
  • 5
Sprachen
  • 27
Verfügbarkeit
  • 27
Katalog
  • 27

Logik, formale Sprachen, Automaten

27  Treffer  für „Texts in Computer Science“
    Kozen | Theory of Computation | Buch | Sack Fachmedien

    Kozen Theory of Computation

    1. Auflage. 2006
    Verlag: Springer
    ISBN: 978-1-84628-297-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen | Theory of Computation | Buch | Sack Fachmedien

    Kozen Theory of Computation

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84996-571-2
    Medium: Buch
    85,55 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh | Elements of Computation Theory | Buch | Sack Fachmedien

    Singh Elements of Computation Theory

    2009
    Verlag: Springer
    ISBN: 978-1-84882-496-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh | Elements of Computation Theory | Buch | Sack Fachmedien

    Singh Elements of Computation Theory

    2009
    Verlag: Springer
    ISBN: 978-1-4471-6142-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Back / Wright | Refinement Calculus | Buch | Sack Fachmedien

    Back / Wright Refinement Calculus

    A Systematic Introduction
    1. Auflage 1998
    Verlag: Springer
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Shore | Logic for Applications | Buch | Sack Fachmedien

    Nerode / Shore Logic for Applications

    2. Auflage 1997
    Verlag: Springer
    ISBN: 978-0-387-94893-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Immerman | Descriptive Complexity | Buch | Sack Fachmedien

    Immerman Descriptive Complexity

    1999. Auflage 1998
    Verlag: Springer
    ISBN: 978-0-387-98600-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hou | Fundamentals of Logic and Computation | Buch | Sack Fachmedien

    Hou Fundamentals of Logic and Computation

    With Practical Automated Reasoning and Verification
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87881-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apt / de Boer / Olderog | Verification of Sequential and Concurrent Programs | Buch | Sack Fachmedien

    Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs

    Third Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84882-744-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morazán | Programming-Based Formal Languages and Automata Theory | Buch | Sack Fachmedien

    Morazán Programming-Based Formal Languages and Automata Theory

    Design, Implement, Validate, and Prove
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-43975-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi Formal Languages and Compilation

    2. Printing.
    Verlag: Springer
    ISBN: 978-1-84882-049-4
    Medium: Buch
    58,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Periyasamy / Alagar | Specification of Software Systems | Buch | Sack Fachmedien

    Periyasamy / Alagar Specification of Software Systems

    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-0-85729-276-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled | Software Reliability Methods | Buch | Sack Fachmedien

    Peled Software Reliability Methods

    2001
    Verlag: Springer
    ISBN: 978-1-4419-2876-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi / Breveglieri / Morzenti | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi / Breveglieri / Morzenti Formal Languages and Compilation

    Third Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-04878-5
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Regan | Mathematical Foundations of Software Engineering | Buch | Sack Fachmedien

    O'Regan Mathematical Foundations of Software Engineering

    A Practical Guide to Essentials
    2023
    Verlag: Springer
    ISBN: 978-3-031-26211-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Regan | Mathematical Foundations of Software Engineering | Buch | Sack Fachmedien

    O'Regan Mathematical Foundations of Software Engineering

    A Practical Guide to Essentials
    2023
    Verlag: Springer
    ISBN: 978-3-031-26214-2
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi / Morzenti / Breveglieri | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi / Morzenti / Breveglieri Formal Languages and Compilation

    Softcover Nachdruck of the original 2. Auflage 2013
    Verlag: Springer
    ISBN: 978-1-4471-6868-3
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Periyasamy / Alagar | Specification of Software Systems | Buch | Sack Fachmedien

    Periyasamy / Alagar Specification of Software Systems

    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-1-4471-2644-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apt / de Boer / Olderog | Verification of Sequential and Concurrent Programs | Buch | Sack Fachmedien

    Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs

    Third Auflage 2009
    Verlag: Springer
    ISBN: 978-1-4471-2513-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi Formal Languages and Compilation

    1. Auflage. Softcover version of original hardcover Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84996-817-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled | Software Reliability Methods | Buch | Sack Fachmedien

    Peled Software Reliability Methods

    2001. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-387-95106-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stirling | Modal and Temporal Properties of Processes | Buch | Sack Fachmedien

    Stirling Modal and Temporal Properties of Processes

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-3153-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stirling | Modal and Temporal Properties of Processes | Buch | Sack Fachmedien

    Stirling Modal and Temporal Properties of Processes

    2001
    Verlag: Springer
    ISBN: 978-0-387-98717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hou | Fundamentals of Logic and Computation | Buch | Sack Fachmedien

    Hou Fundamentals of Logic and Computation

    With Practical Automated Reasoning and Verification
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87884-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skiena / Revilla | Programming Challenges | Buch | Sack Fachmedien

    Skiena / Revilla Programming Challenges

    The Programming Contest Training Manual
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-0-387-00163-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

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