• Bildungs- und Geschäftslösungen

Durchsuche "Logic" (Zeige 41 - 60 von 2401 Ergebnissen)

Themen

  • The Mathematical Foundations of the Finite Element Method...

    • Format: Fest
    • €75.92 EUR
      Preis inkl. MwSt.

  • LANGUAGE OF GAME THEORY, THE: PUTTING EPISTEMICS INTO THE...

    Putting Epistemics into the Mathematics of Games
    von Adam Brandenburger
    • Format: reflowable eBook
    • €39.85 EUR
      Preis inkl. MwSt.

  • Reconfigurable Computing

    Accelerating Computation with Field-Programmable Gate Arrays
    von Maya B. Gokhale; Paul S. Graham
    • Format: Fest
    • €139.09 EUR
      Preis inkl. MwSt.

  • New Trends in Constraints

    Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
    von Francesca Rossi; Antonis C. Kakas; Krzysztof R. Apt
    • Auflage: 1st
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.

  • PROCEEDINGS OF THE 13TH ASIAN LOGIC CONFERENCE

    von Author
    • Format: reflowable eBook
    • €49.80 EUR
      Preis inkl. MwSt.

  • Inner Models and Large Cardinals

    von Martin Zeman
    • Auflage: 1st
    • Format: Fest
    • €203.25 EUR
      Preis inkl. MwSt.

  • Logic Based Program Synthesis and Transformation

    13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
    von Maurice Bruynooghe
    • Auflage: 1st
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.

  • Computational Prospects Of Infinity - Part I: Tutorials

    von Chong Chitat
    • Format: Fest
    • €225.35 EUR
      Preis inkl. MwSt.

  • The Great Formal Machinery Works

    Theories of Deduction and Computation at the Origins of the Digital Age
    von Jan von Plato
    • Format: Fest
    • €37.45 EUR
      Preis inkl. MwSt.

  • Digital Libraries: Data, Information, and Knowledge for D...

    19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • Leveraging Applications of Formal Methods, Verification a...

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
    • Format: reflowable eBook
    • €96.29 EUR
      Preis inkl. MwSt.

  • The Congruences of a Finite Lattice

    A "Proof-by-Picture" Approach
    von George Grätzer
    • Auflage: 2nd
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • Artificial Intelligence and Soft Computing – ICAISC 2008

    9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings
    von Leszek Rutkowski; ‎Ryszard Tadeusiewicz; ‎Lofti A. Zadeh
    • Auflage: 1st
    • Format: Fest
    • €171.19 EUR
      Preis inkl. MwSt.

  • Verification, Model Checking, and Abstract Interpretation

    18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • Interactive Theorem Proving

    8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • Applications of Graph Transformations with Industrial Rel...

    4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
    von Andy Schürr; ‎Dániel Varró; ‎Gergely Varró
    • Auflage: 1st
    • Format: Fest
    • €48.14 EUR
      Preis inkl. MwSt.

  • Handbook of Formal Languages

    Volume 2. Linear Modeling: Background and Application
    von Author
    • Format: Fest
    • €234.33 EUR
      Preis inkl. MwSt.

  • Functional and Constraint Logic Programming

    19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
    von Julio Marino
    • Auflage: 1st
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.

  • Provability, Computability and Reflection

    von Beklemishev, Lev D.
    • Format: Fest
    • €203.30 EUR
      Preis inkl. MwSt.

  • Inductive Logic

    von Dov M. Gabbay
    • Format: reflowable eBook
    • €230.05 EUR
      Preis inkl. MwSt.
Zeige 41 - 60 von 2401 Ergebnissen
Page links