Ergebnisse filtern
Fachgebiet
Medium
  • 14
  • 11
Erscheinungsjahr
  • 9
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
Autoren
  • 3
  • 3
  • 1
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 25
  • 3
  • 3
  • 2
Verlag
  • 2
  • 10
  • 2
  • 2
  • 1
  • 4
  • 4
Preis
  • 4
  • 12
  • 7
  • 2
Sprachen
  • 18
  • 7
Verfügbarkeit
  • 25
Katalog
  • 25
25  Treffer  für „Siefkes, Dirk“
    Siefkes | Formale Methoden und kleine Systeme | eBook | Sack Fachmedien
    E-Book

    Siefkes Formale Methoden und kleine Systeme

    Lernen, leben und arbeiten in formalen Umgebungen
    1993
    Verlag: Vieweg & Teubner
    ISBN: 978-3-322-84923-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    38,66 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siefkes | Formalisieren und Beweisen | eBook | Sack Fachmedien
    E-Book

    Siefkes Formalisieren und Beweisen

    Logik für Informatiker
    1990
    Verlag: Vieweg & Teubner
    ISBN: 978-3-322-85621-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    33,26 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siefkes | Formale Methoden und kleine Systeme | Buch | Sack Fachmedien

    Siefkes Formale Methoden und kleine Systeme

    Lernen, leben und arbeiten in formalen Umgebungen
    1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05199-0
    Medium: Buch
    74,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes | Büchi’s Monadic Second Order Successor Arithmetic | eBook | Sack Fachmedien
    E-Book

    Siefkes Büchi’s Monadic Second Order Successor Arithmetic

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-36678-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    39,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siefkes | Formalisieren und Beweisen | Buch | Sack Fachmedien

    Siefkes Formalisieren und Beweisen

    Logik für Informatiker
    2. Auflage 1992
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-14757-0
    Medium: Buch
    69,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes | GI-4.Jahrestagung | eBook | Sack Fachmedien
    E-Book

    Siefkes GI-4.Jahrestagung

    Berlin, 9.–12. Oktober 1974
    1975
    Verlag: Springer
    ISBN: 978-3-662-40087-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    39,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siefkes | Formalisieren und Beweisen | eBook | Sack Fachmedien
    E-Book

    Siefkes Formalisieren und Beweisen

    Logik für Informatiker
    2. Auflage 1992
    Verlag: Vieweg & Teubner
    ISBN: 978-3-322-91769-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    33,26 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sozialgeschichte der Informatik | eBook | Sack Fachmedien
    E-Book

    Sozialgeschichte der Informatik

    Kulturelle Praktiken und Orientierungen
    1998
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-663-08954-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    35,96 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siefkes | Formalisieren und Beweisen | Buch | Sack Fachmedien

    Siefkes Formalisieren und Beweisen

    Logik für Informatiker
    1990
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-04757-3
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes | Büchi's Monadic Second Order Successor Arithmetic | Buch | Sack Fachmedien

    Siefkes Büchi's Monadic Second Order Successor Arithmetic

    1970
    Verlag: Springer
    ISBN: 978-3-662-35848-1
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sozialgeschichte der Informatik | Buch | Sack Fachmedien

    Sozialgeschichte der Informatik

    Kulturelle Praktiken und Orientierungen
    1998
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-4300-0
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes | GI-4.Jahrestagung | Buch | Sack Fachmedien

    Siefkes GI-4.Jahrestagung

    Berlin, 9.¿12. Oktober 1974
    1975
    Verlag: Springer
    ISBN: 978-3-662-39104-4
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Büchi / Siefkes | Finite Automata, Their Algebras and Grammars | eBook | Sack Fachmedien
    E-Book

    Büchi / Siefkes Finite Automata, Their Algebras and Grammars

    Towards a Theory of Formal Expressions
    Erscheinungsjahr 2013
    Verlag: Springer US
    ISBN: 978-1-4613-8853-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siefkes / Müller | Decidable Theories | Buch | Sack Fachmedien

    Siefkes / Müller Decidable Theories

    Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
    1970
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-04909-8
    Medium: Buch
    26,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Büchi / Siefkes | Finite Automata, Their Algebras and Grammars | Buch | Sack Fachmedien

    Büchi / Siefkes Finite Automata, Their Algebras and Grammars

    Towards a Theory of Formal Expressions
    Softcover Nachdruck of the original 1. Auflage 1989
    Verlag: Springer
    ISBN: 978-1-4613-8855-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes / Müller | Decidable Theories | eBook | Sack Fachmedien
    E-Book

    Siefkes / Müller Decidable Theories

    Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-36252-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    24,60 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Quine | Grundzüge der Logik | Buch | Sack Fachmedien

    Quine Grundzüge der Logik

    Neuauflage 2009
    Verlag: Suhrkamp Verlag
    ISBN: 978-3-518-27665-5
    Medium: Buch
    22,00 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Büchi / Mac Lane / Siefkes | The Collected Works of J. Richard Büchi | Buch | Sack Fachmedien

    Büchi / Mac Lane / Siefkes The Collected Works of J. Richard Büchi

    1990. Auflage 1989
    Verlag: Springer
    ISBN: 978-0-387-97064-6
    Medium: Buch
    102,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Büchi / Siefkes / Mac Lane | The Collected Works of J. Richard Büchi | Buch | Sack Fachmedien

    Büchi / Siefkes / Mac Lane The Collected Works of J. Richard Büchi

    Softcover Nachdruck of the original 1. Auflage 1990
    Verlag: Springer
    ISBN: 978-1-4613-8930-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Büchi / Mac Lane / Siefkes | The Collected Works of J. Richard Büchi | eBook | Sack Fachmedien
    E-Book

    Büchi / Mac Lane / Siefkes The Collected Works of J. Richard Büchi

    Erscheinungsjahr 2012
    Verlag: Springer US
    ISBN: 978-1-4613-8928-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Siefkes / Braun / Städtler | Pioniere der Informatik | Buch | Sack Fachmedien

    Siefkes / Braun / Städtler Pioniere der Informatik

    Ihre Lebensgeschichte im Interview
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64857-4
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes / Braun / Städtler | Pioniere der Informatik | Buch | Sack Fachmedien

    Siefkes / Braun / Städtler Pioniere der Informatik

    Ihre Lebensgeschichte im Interview
    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-642-63660-8
    Medium: Buch
    25,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes / Braun / Eulenhöfer | Pioniere der Informatik | eBook | Sack Fachmedien
    E-Book

    Siefkes / Braun / Eulenhöfer Pioniere der Informatik

    Ihre Lebensgeschichte im Interview
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-58599-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    17,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Coy / Nake / Pflüger | Sichtweisen der Informatik | Buch | Sack Fachmedien

    Coy / Nake / Pflüger Sichtweisen der Informatik

    1992
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05263-8
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coy / Nake / Stransfeld | Sichtweisen der Informatik | eBook | Sack Fachmedien
    E-Book

    Coy / Nake / Stransfeld Sichtweisen der Informatik

    1992
    Verlag: Vieweg & Teubner
    ISBN: 978-3-322-84926-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    38,66 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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