• Bildungs- und Geschäftslösungen

Durchsuche "Logic" (Zeige 981 - 1000 von 2401 Ergebnissen)

Themen

  • R-CALCULUS: A Logic of Belief Revision

    von Wei Li; Yuefei Sui
    • Format: reflowable eBook
    • €96.29 EUR
      Preis inkl. MwSt.

  • Analysis and Control of Boolean Networks

    A Semi-tensor Product Approach
    von Daizhan Cheng; Hongsheng Qi; Zhiqiang Li
    • Format: reflowable eBook
    • €96.29 EUR
      Preis inkl. MwSt.

  • Deontic Logic in Computer Science

    11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
    von Thomas Agotnes; Jan M. Broersen; Dag Elgesem
    • Auflage: 1st
    • Format: Fest
    • €48.14 EUR
      Preis inkl. MwSt.

  • Towards an Arithmetical Logic

    The Arithmetical Foundations of Logic
    von Yvon Gauthier
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • A.P. Morse’s Set Theory and Analysis

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

  • E-recursion, Forcing And C*-algebras

    von Chong Chitat
    • Format: reflowable eBook
    • €22.42 EUR
      Preis inkl. MwSt.

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • Logical Tools for Handling Change in Agent-Based Systems

    von Dov M. Gabbay; Karl Schlechta
    • Format: Fest
    • €149.79 EUR
      Preis inkl. MwSt.

  • Rewriting Logic and Its Applications

    14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
    • Format: reflowable eBook
    • €69.54 EUR
      Preis inkl. MwSt.

  • Deductive Software Verification – The KeY Book

    From Theory to Practice
    • Format: Fest
    • €106.99 EUR
      Preis inkl. MwSt.

  • Frontiers of Combining Systems

    11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    • Format: reflowable eBook
    • €69.54 EUR
      Preis inkl. MwSt.

  • The Semantic Web: ESWC 2018 Satellite Events

    ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • Intuitionistic Proof Versus Classical Truth

    The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
    von Enrico Martino
    • Format: reflowable eBook
    • €96.29 EUR
      Preis inkl. MwSt.

  • The Argument of Mathematics

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

  • Logic and Integer Programming

    von H. Paul Williams
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.

  • Software Engineering and Formal Methods

    12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
    von Author
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.

  • Logic and Philosophy of Mathematics in the Early Husserl

    von Stefania Centrone
    • Format: reflowable eBook
    • €96.29 EUR
      Preis inkl. MwSt.

  • Formal Methods and Software Engineering

    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.

  • Concise Guide to Formal Methods

    Theory, Fundamentals and Industry Applications
    von Gerard O'Regan
    • Format: reflowable eBook
    • €69.54 EUR
      Preis inkl. MwSt.

  • Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
Zeige 981 - 1000 von 2401 Ergebnissen
Page links