Ergebnisse filtern
Fachgebiet
Medium
  • 315
  • 11
  • 4
Erscheinungsjahr
  • 1
  • 7
  • 9
  • 8
  • 8
  • 13
  • 5
  • 11
  • 7
  • 2
  • 3
  • 2
  • 8
  • 7
  • 31
  • 8
  • 28
  • 6
  • 15
  • 4
  • 9
  • 8
  • 6
  • 8
  • 22
  • 14
  • 7
  • 9
  • 11
  • 7
  • 8
  • 7
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 3
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 9
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 5
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 2
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
Verlag
  • 2
  • 1
  • 6
  • 1
  • 16
  • 7
  • 9
  • 3
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 11
  • 8
  • 5
  • 1
  • 1
  • 3
  • 186
  • 1
  • 11
  • 8
  • 1
  • 9
  • 1
  • 11
  • 1
  • 2
  • 2
  • 2
  • 1
Preis
  • 3
  • 13
  • 105
  • 209
Sprachen
  • 327
  • 3
Verfügbarkeit
  • 329
  • 1
Katalog
  • 330
  • 37
330  Treffer  für „Design“
    Gabbay / Wansing | What is Negation? | Buch | Sack Fachmedien

    Gabbay / Wansing What is Negation?

    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-90-481-5169-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gödel / Feferman / Dawson, Jr. | Collected Works | Buch | Sack Fachmedien

    Gödel / Feferman / Dawson, Jr. Collected Works

    Erscheinungsjahr 1995
    Verlag: Oxford University Press
    ISBN: 978-0-19-507255-6
    Medium: Buch
    464,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gödel / Feferman / Dawson, Jr. | Collected Works | Buch | Sack Fachmedien

    Gödel / Feferman / Dawson, Jr. Collected Works

    Volume I: Publications 1929-1936
    Erscheinungsjahr 2001
    Verlag: Oxford University Press
    ISBN: 978-0-19-514720-9
    Medium: Buch
    88,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gödel / Feferman / Dawson, Jr. | Collected Works | Buch | Sack Fachmedien

    Gödel / Feferman / Dawson, Jr. Collected Works

    Volume III: Unpublished Essays and Lectures
    Erscheinungsjahr 2001
    Verlag: Oxford University Press
    ISBN: 978-0-19-514722-3
    Medium: Buch
    111,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gödel / Feferman / Dawson, Jr. | Collected Works | Buch | Sack Fachmedien

    Gödel / Feferman / Dawson, Jr. Collected Works

    Volume V: Correspondence, H-Z
    Erscheinungsjahr 2003
    Verlag: OUP Oxford
    ISBN: 978-0-19-850075-9
    Medium: Buch
    425,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Woods | British Logic in the Nineteenth Century | Buch | Sack Fachmedien

    Gabbay / Woods British Logic in the Nineteenth Century

    Erscheinungsjahr 2008
    Verlag: Elsevier BV
    ISBN: 978-0-444-51610-7
    Medium: Buch
    259,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Beck / Geoghegan | The Art of Proof | Buch | Sack Fachmedien

    Beck / Geoghegan The Art of Proof

    Basic Training for Deeper Mathematics
    1. Auflage. 2010
    Verlag: Springer Nature B.V.
    ISBN: 978-1-4419-7022-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Antonsen | Logical Methods | Buch | Sack Fachmedien

    Antonsen Logical Methods

    The Art of Thinking Abstractly and Mathematically
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-63776-7
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caviness | EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings | Buch | Sack Fachmedien

    Caviness EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

    Volume 2: Research Contributions
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15984-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Venturini Zilli | Mathematical Models for the Semantics of Parallelism | Buch | Sack Fachmedien

    Venturini Zilli Mathematical Models for the Semantics of Parallelism

    Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18419-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beck / Geoghegan | The Art of Proof | Buch | Sack Fachmedien

    Beck / Geoghegan The Art of Proof

    Basic Training for Deeper Mathematics
    Softcover Nachdruck of the original 1. Auflage 2010
    Verlag: Springer
    ISBN: 978-1-4939-4086-8
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Velleman | How to Prove It: A Structured Approach | Buch | Sack Fachmedien

    Velleman How to Prove It: A Structured Approach

    2. Auflage 2006
    Verlag: CAMBRIDGE
    ISBN: 978-0-521-86124-3
    Medium: Buch
    95,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Lall | Mathematical Foundations of Computer Science | Buch | Sack Fachmedien

    Lall Mathematical Foundations of Computer Science

    1. Auflage 2024
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-032-46789-4
    Medium: Buch
    164,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer | Logical Foundations of Cyber-Physical Systems | Buch | Sack Fachmedien

    Platzer Logical Foundations of Cyber-Physical Systems

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-09697-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Szeider | Theory and Applications of Satisfiability Testing - SAT 2010 | Buch | Sack Fachmedien

    Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010

    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14185-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maddox | A Transition to Abstract Mathematics | Buch | Sack Fachmedien

    Maddox A Transition to Abstract Mathematics

    Mathematical Thinking and Writing
    2. Auflage 2008
    Verlag: Elsevier Science
    ISBN: 978-0-12-374480-7
    Medium: Buch
    92,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Mao | Model Validation and Uncertainty Quantification, Volume 3 | Buch | Sack Fachmedien

    Mao Model Validation and Uncertainty Quantification, Volume 3

    Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-77347-2
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donatelli / Thiagarajan | Petri Nets and Other Models of Concurrency - ICATPN 2006 | Buch | Sack Fachmedien

    Donatelli / Thiagarajan Petri Nets and Other Models of Concurrency - ICATPN 2006

    27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34699-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Gabbay / Maibaum | Handbook of Logic in Computer Science | Buch | Sack Fachmedien

    Abramsky / Gabbay / Maibaum Handbook of Logic in Computer Science

    Volume 2: Background: Computational Structures
    Erscheinungsjahr 1993
    Verlag: OUP Oxford
    ISBN: 978-0-19-853761-8
    Medium: Buch
    576,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anshakov / Gergely | Cognitive Reasoning | Buch | Sack Fachmedien

    Anshakov / Gergely Cognitive Reasoning

    A Formal Approach
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26165-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloch | Proofs and Fundamentals | Buch | Sack Fachmedien

    Bloch Proofs and Fundamentals

    A First Course in Abstract Mathematics
    2. Auflage 2011
    Verlag: Springer-Verlag GmbH
    ISBN: 978-1-4419-7126-5
    Medium: Buch
    64,15 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Hawblitzel / Miller | Certified Programs and Proofs | Buch | Sack Fachmedien

    Hawblitzel / Miller Certified Programs and Proofs

    Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35307-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Treur | Dynamics and Management of Reasoning Processes | Buch | Sack Fachmedien

    Meyer / Treur Dynamics and Management of Reasoning Processes

    2002
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-0193-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maor | To Infinity and Beyond | Buch | Sack Fachmedien

    Maor To Infinity and Beyond

    A Cultural History of the Infinite
    Erscheinungsjahr 1991
    Verlag: Princeton University Press
    ISBN: 978-0-691-02511-7
    Medium: Buch
    33,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Gödel / Feferman / Dawson | Kurt Gödel: Collected Works: Volume IV | Buch | Sack Fachmedien

    Gödel / Feferman / Dawson Kurt Gödel: Collected Works: Volume IV

    Erscheinungsjahr 2014
    Verlag: Oxford University Press
    ISBN: 978-0-19-968961-3
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite

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