Ergebnisse filtern
Fachgebiet
Medium
  • 14
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 13
  • 1
Preis
  • 7
  • 7
Sprachen
  • 14
Verfügbarkeit
  • 14
Katalog
  • 14

Logik, formale Sprachen, Automaten

14  Treffer  für „Undergraduate Topics in Computer Science“
    Ayala-Rincón / de Moura | Applied Logic for Computer Scientists | Buch | Sack Fachmedien

    Ayala-Rincón / de Moura Applied Logic for Computer Scientists

    Computational Deduction and Formal Proofs
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-51651-6
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moller / Struth | Modelling Computing Systems | Buch | Sack Fachmedien

    Moller / Struth Modelling Computing Systems

    Mathematics for Computer Science
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-1-84800-321-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky | Designing Reliable Distributed Systems | Buch | Sack Fachmedien

    Ölveczky Designing Reliable Distributed Systems

    A Formal Methods Approach Based on Executable Modeling in Maude
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-1-4471-6686-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erciyes | Discrete Mathematics and Graph Theory | Buch | Sack Fachmedien

    Erciyes Discrete Mathematics and Graph Theory

    A Concise Study Companion and Guide
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-61114-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek | Proofs and Algorithms | Buch | Sack Fachmedien

    Dowek Proofs and Algorithms

    An Introduction to Logic and Computability
    2011. Auflage 2011
    Verlag: Springer
    ISBN: 978-0-85729-120-2
    Medium: Buch
    37,40 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Zygelman | A First Introduction to Quantum Computing and Information | Buch | Sack Fachmedien

    Zygelman A First Introduction to Quantum Computing and Information

    2. Auflage 2025
    Verlag: Springer
    ISBN: 978-3-031-66424-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella / Fourman / Peng | Introduction to Computation | Buch | Sack Fachmedien

    Sannella / Fourman / Peng Introduction to Computation

    Haskell, Logic and Automata
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-76907-9
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makinson | Sets, Logic and Maths for Computing | Buch | Sack Fachmedien

    Makinson Sets, Logic and Maths for Computing

    Third Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-42217-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Riis Nielson / Nielson | Semantics with Applications: An Appetizer | Buch | Sack Fachmedien

    Riis Nielson / Nielson Semantics with Applications: An Appetizer

    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-84628-691-9
    Medium: Buch
    37,40 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    O'Regan | Concise Guide to Formal Methods | Buch | Sack Fachmedien

    O'Regan Concise Guide to Formal Methods

    Theory, Fundamentals and Industry Applications
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64020-4
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Automata Theory and Formal Languages | Buch | Sack Fachmedien

    Pettorossi Automata Theory and Formal Languages

    Fundamental Notions, Theorems, and Techniques
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-11964-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makinson | Sets, Logic and Maths for Computing | Buch | Sack Fachmedien

    Makinson Sets, Logic and Maths for Computing

    2. Auflage 2012
    Verlag: Springer London Ltd
    ISBN: 978-1-4471-2499-3
    Medium: Buch
    34,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Parkes | A Concise Introduction to Languages and Machines | Buch | Sack Fachmedien

    Parkes A Concise Introduction to Languages and Machines

    1. Auflage. 2008
    Verlag: Springer
    ISBN: 978-1-84800-120-6
    Medium: Buch
    32,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbrielli / Martini | Programming Languages: Principles and Paradigms | Buch | Sack Fachmedien

    Gabbrielli / Martini Programming Languages: Principles and Paradigms

    2. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34143-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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