1
by Rosin, David P.
Published 2015
Springer International Publishing
Subjects: ...Electronic Circuits and Systems...

2
Published 2000
Springer US
Table of Contents: .... Navigation: Animals as Autonomous Robots -- 4. From configurable circuits to bio-inspired systems -- 2...

3
Published 1990
Springer Netherlands
Table of Contents: ...Update on Cadiag-2: A Fuzzy Medical Expert System For General Internal Medicine -- A Case Study...

4
Published 1995
Springer Netherlands
Table of Contents: ... Control -- Performance Evaluation for Fault Detection of Analog Electronic Circuits -- Subjective System...

5
by Grötschel, Martin, Lovasz, Laszlo, Schrijver, Alexander
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...9. Stable Sets in Graphs -- 9.1 Odd Circuit Constraints and t-Perfect Graphs -- 9.2 Clique...

6
by Zemanian, Armen H.
Published 2001
Birkhäuser
Subjects: ...Applied Dynamical Systems...

7
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... verification of digital circuits using symbolic ternary system models -- Vectorized model checking...

8
by Du, Dingzhu, Ko, Ker-I
Published 2014
John Wiley & Sons
Table of Contents: ... Branching Programs; Exercises; Historical Notes; Chapter 6 Circuit Complexity; 6.1 Boolean Circuits; 6.2...

9
by Wallis, W.D.
Published 2012
Birkhäuser Boston
Table of Contents: ...Properties of Numbers -- Sets and Data Structures -- Boolean Algebras and Circuits -- Relations...

10
by Wallis, W.D.
Published 2003
Birkhäuser Boston
Table of Contents: ...1 Properties of Numbers -- 2 Sets and Data Structures -- 3 Boolean Algebras and Circuits -- 4...

11
by Wang, Hao
Published 1963
Elsevier Science
Table of Contents: ... : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving...

12
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog...

13
by Kotzig, Anton
Published 1982
North-Holland
Table of Contents: ... of components in perfect systems of difference sets; Chapter 2. Crossing-free subgraphs; Chapter 3. A note...

14
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved -- Deadlock Decidability...

15
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... Partitions -- II. Numbers -- On Size Ramsey Number of Paths, Trees and Circuits. II -- On the Computational...

16
Published 1990
Springer Netherlands
Table of Contents: ... and Embedding Partial Triple Systems of Even Index -- On the Rank of Fixed Point Sets of Automorphisms of Free...

17
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... characterization of fair computations of finite state SCCS processes -- Verification of distributed systems...

18
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... for an analogue of Rice's Theorem in circuit complexity theory -- Two connections between Linear Logic...

19
Published 1997
Springer Netherlands
Table of Contents: ... -- On the Complexity of Realization of Boolean Functions by Circuits over an Infinite Basis -- Dynamic Problems...

20
by Korte, Bernhard, Lovasz, Laszlo, Schrader, Rainer
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... Interval Greedoids -- 4. Exchange Systems and Gauss Greedoids -- X. Transposition Greedoids -- 1...