MPG.eBooks - Search Results - ("logica" OR "logical")*

1

Finding your logical presentation flow

by Weissman, Jerry

[FTPress Delivers]

Read Now

2

Modeling Uncertainty with Fuzzy Logic : With Recent Theory and Applications

by Celikyilmaz, Asli, Türksen, I. Burhan
Published 2009

Springer Berlin Heidelberg

“... logic and system modeling knowledge is assumed. Therefore, the book itself may be a reference for some...”

Read Now

3

Logic Minimization Algorithms for VLSI Synthesis

by Brayton, Robert K., Hachtel, Gary D., McMullen, C., Sangiovanni-Vincentelli, Alberto L.
Published 1984

Springer US

Table of Contents: “...1. Introduction -- 1.1 Design Styles for VLSI Systems -- 1.2 Automatic Logic Synthesis -- 1.3 PLA...”

Read Now

4

Integrating Functional and Temporal Domains in Logic Design : The False Path Problem and Its Implications

by McGeer, Patrick C., Brayton, Robert K.
Published 1991

Springer US

Table of Contents: “... Note on Notation -- 1.4 Logic Notation -- 1.5 Outline -- 2 The False Path Problem -- 2.1 Introduction...”

Read Now

5

Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techniques

by Kunz, Wolfgang, Stoffel, Dominik
Published 1997

Springer US

Table of Contents: “... Logic Optimization -- 6 Logic Verification -- 7 Conclusions and Future Work -- References...”

Read Now

6

The decision model : a business logic framework linking business and technology

by Von Halle, Barbara
Published 2009

Auerbach

“... logic...”

Read Now

7

Mathematische Grundlagen der Ingenieurinformatik

by Pahl, Peter J., Damrath, Rudolf
Published 2000

Springer Berlin Heidelberg

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

Read Now

8

Learning RSLogix 5000 programming : become proficient in building PLC solutions in integrated architecture from the ground up using RSLogix 5000

by Scott, Austin
Published 2015

Packt Publishing

Subjects: “...Programmable logic devices / fast...”

Read Now

9

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Games with Expressive Constraints on Strategies -- Distributed Synthesis for Alternating-Time Logics...”

Read Now

10

Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Predicate Abstraction for Branching Time: Complete, Incremental, and Precise -- Timed Temporal Logics...”

Read Now

11

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

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

Read Now

12

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas -- Fair...”

Read Now

13

Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Published 1996

Springer Berlin Heidelberg

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

Read Now

14

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Qubos: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers -- Model...”

Read Now

15

Computer Aided Systems Theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Sel...

Published 2007

Springer Berlin Heidelberg

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

Read Now

16

Computer Aided Systems Theory – EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Sele...

Published 2005

Springer Berlin Heidelberg

Table of Contents: “...The Gaps of the Thesaurus Wordnet Used in Information Retrieval -- Fuzzy Adaptive Objects (Logic...”

Read Now

17

Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon TM...”

Read Now

18

Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Select...

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... System -- A Categorical Approach to NP-Hard Optimization Problems -- Logic and Formal Tools -- A...”

Read Now

19

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming -- State Space...”

Read Now

20

Real-Time Management of Resource Allocation Systems : A Discrete Event Systems Approach

by Reveliotis, Spyros A.
Published 2005

Springer US

Table of Contents: “...Resource Allocation Systems: Concepts and Problems -- Logical Control of Disjunctive / Conjunctive...”

Narrow Search