Ergebnisse filtern
Fachgebiet
Medium
  • 12
  • 8
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 1
  • 20
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
Verlag
  • 3
  • 2
  • 1
  • 9
  • 3
  • 1
  • 1
Preis
  • 7
  • 13
Sprachen
  • 20
Verfügbarkeit
  • 20
Katalog
  • 20
20  Treffer  für „Schwichtenberg, Helmut“
    Schwichtenberg | Proof and Computation | eBook | Sack Fachmedien
    E-Book

    Schwichtenberg Proof and Computation

    1995
    Verlag: Springer
    ISBN: 978-3-642-79361-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schwichtenberg | Logic of Computation | Buch | Sack Fachmedien

    Schwichtenberg Logic of Computation

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-63832-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwichtenberg | Proof Technology and Computation | Buch | Sack Fachmedien

    Schwichtenberg Proof Technology and Computation

    1. Auflage 2006
    Verlag: IOS Press
    ISBN: 978-1-58603-625-6
    Medium: Buch
    101,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwichtenberg | Logic of Computation | eBook | Sack Fachmedien
    E-Book

    Schwichtenberg Logic of Computation

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-59048-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schwichtenberg | Proof and Computation | Buch | Sack Fachmedien

    Schwichtenberg Proof and Computation

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-642-79363-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwichtenberg | Proofs and Computations | eBook | Sack Fachmedien
    E-Book

    Schwichtenberg Proofs and Computations

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-1-139-21057-7
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    76,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Berger / Schwichtenberg | Computational Logic | eBook | Sack Fachmedien
    E-Book

    Berger / Schwichtenberg Computational Logic

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-58622-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schwichtenberg / Steinbrüggen | Proof and System-Reliability | eBook | Sack Fachmedien
    E-Book

    Schwichtenberg / Steinbrüggen Proof and System-Reliability

    Erscheinungsjahr 2012
    Verlag: Springer Netherland
    ISBN: 978-94-010-0413-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Berger / Schwichtenberg | Computational Logic | Buch | Sack Fachmedien

    Berger / Schwichtenberg Computational Logic

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-63670-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steinbrüggen / Schwichtenberg | Proof and System-Reliability | Buch | Sack Fachmedien

    Steinbrüggen / Schwichtenberg Proof and System-Reliability

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-0608-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwichtenberg / Berger | Computational Logic | Buch | Sack Fachmedien

    Schwichtenberg / Berger Computational Logic

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64589-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwichtenberg / Wainer | Proofs and Computations | Buch | Sack Fachmedien

    Schwichtenberg / Wainer Proofs and Computations

    Erscheinungsjahr 2013
    Verlag: Cambridge University Press
    ISBN: 978-0-521-51769-0
    Medium: Buch
    100,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clote / Schwichtenberg | Computer Science Logic | eBook | Sack Fachmedien
    E-Book

    Clote / Schwichtenberg Computer Science Logic

    14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44622-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schwichtenberg / Clote | Computer Science Logic | Buch | Sack Fachmedien

    Schwichtenberg / Clote Computer Science Logic

    14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67895-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Schwichtenberg / Brauer | Logic and Algebra of Specification | Buch | Sack Fachmedien

    Bauer / Schwichtenberg / Brauer Logic and Algebra of Specification

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55813-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Brauer / Schwichtenberg | Logic and Algebra of Specification | eBook | Sack Fachmedien
    E-Book

    Bauer / Brauer / Schwichtenberg Logic and Algebra of Specification

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-58041-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bauer / Brauer / Schwichtenberg | Logic and Algebra of Specification | Buch | Sack Fachmedien

    Bauer / Brauer / Schwichtenberg Logic and Algebra of Specification

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-63448-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bridges / Ishihara / Rathjen | Handbook of Constructive Mathematics | Buch | Sack Fachmedien

    Bridges / Ishihara / Rathjen Handbook of Constructive Mathematics

    Erscheinungsjahr 2023
    Verlag: Cambridge University Press
    ISBN: 978-1-316-51086-5
    Medium: Buch
    179,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Link | One Hundred Years of Russell´s Paradox | eBook | Sack Fachmedien
    E-Book

    Link One Hundred Years of Russell´s Paradox

    Mathematics, Logic, Philosophy
    1. Auflage 2008
    Verlag: De Gruyter
    ISBN: 978-3-11-019968-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    260,00 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Link | One Hundred Years of Russell´s Paradox | Buch | Sack Fachmedien

    Link One Hundred Years of Russell´s Paradox

    Mathematics, Logic, Philosophy
    1. Auflage 2004
    Verlag: De Gruyter
    ISBN: 978-3-11-017438-0
    Medium: Buch
    229,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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