MPG.eBooks - Search Results

1

Foundations of Soft Logic

by Klein, Moshe, Maimon, Oded
Published 2024

Springer Nature Switzerland

Table of Contents: “...Introduction -- Philosophical and Mathematical Background -- Axioms of Soft Logic -- Soft Numbers...”

Read Now

2

Introduction to Azure Logic apps : build low-code serverless workflows

by Satapahi, Ashirwad
Published 2023

Apress

“... with Logic Apps by Microsoft Azure. The video will guide you to integrate disparate systems and applications...”

Read Now

3

Digital electronics and logic design

Published 2013

Dorling Kindersley (India) Pvt. Ltd

Read Now

4

Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings

Published 2024

Springer Nature Switzerland

Table of Contents: “...-- Model Theory of Gödel Logic. -- Nothing is Logical. -- Automata Minimisation in Logical Form...”

Read Now

5

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language...”

Read Now

6

Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev

Published 2024

Springer International Publishing

Table of Contents: “...Part I: Translation of Quasi-matrix (quasi-functional) logic -- 1. Quasi-matrix (quasi-functional...”

Read Now

7

Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... Logic -- Elementary Complexity and Geometry of Interaction -- Quantitative Semantics Revisited -- Total...”

Read Now

8

The Foundations of Experimental Physics : Unraveling the Premises of Physical and Scientific Knowledge

by Parravicini, Jacopo
Published 2024

Springer Nature Switzerland

Subjects: “...Mathematical Logic in Philosophy...”

Read Now

9

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Collection Principles in Dependent Type Theory -- Executing Higher Order Logic -- A Tour...”

Read Now

10

Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

11

Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Published 2024

Springer Nature Switzerland

Table of Contents: “... in Event-B -- Modal Extensions of the Logic of Abstract State Machines -- An Analysis of the Impact...”

Read Now

12

Unconventional Computation and Natural Computation : 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings

Published 2024

Springer Nature Switzerland

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

13

The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... of the Bandera Abstraction Tools -- Types in Program Analysis -- Flow Logic: A Multi-paradigmatic Approach...”

Read Now

14

Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation - SAMOS

Published 2002

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Read Now

15

Cryptographic Hardware and Embedded Systems - CHES 2000 : Second International Workshop Worcester, MA, USA, August 17-18, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Read Now

16

Cryptographic Hardware and Embedded Systems - CHES 2001 : Third International Workshop, Paris, France, May 14-16, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Read Now

17

Optimal Interprocedural Program Optimization : A New Framework and Its Application

by Knoop, Jens
Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

18

Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of...

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... to the Bounded Retransmission Protocol -- Model Checking in CLP -- Using Logic Programs with Stable Model...”

Read Now

19

Digital design and computer architecture

by Harris, Sarah L., Harris, David Money
Published 2016

Morgan Kaufmann

Table of Contents: “...From zero to one -- Combinational logic design -- Sequential logic design -- Hardware description...”

Read Now

20

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proce...

Published 1999

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Narrow Search