Search alternatives:
technical reviewers » technical reviewer
logical technical » ecological technical, clinical technical, social technical
Cover Image
Read Now

1
Published 2002
Springer US
Table of Contents: “...6 Technology-based Transformations -- 6.1 Introduction -- 6.2 Gate Delay Models -- 6.3 Logic...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... deductive databases: The statelog approach -- Active-U-Datalog: Integrating active rules in a logical update...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Error Analysis of Digital Filters Using Theorem Proving -- Verifying Uniqueness in a Logical...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Proof Terms for Simply Typed Higher Order Logic -- Routing Information Protocol in HOL/SPIN -- Recursive...”
Cover Image
Read Now

5
Published 1998
Springer US
Table of Contents: “... to Combinatorial Optimization: A Logic Programming Approach -- 3 Disjunctive Programming and Cooperating Solvers...”
Cover Image
Read Now

7
Published 2003
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

8
Published 1998
Springer US
Subjects: “...Mathematical logic...”
Cover Image
Read Now

9
by Strauss, M.
Published 1972
Springer Netherlands
Table of Contents: “... of Present Knowledge (1967) -- IV. Max Planck and the Rise of Quantum Theory (1960) -- B / Logic of Physics...”
Cover Image
Read Now

10
by Koren, Israel
Published 1989
Springer US
Table of Contents: “...1 Yield Models for Defect-Tolerant VLSI Circuits: A Review -- 2 Wafer Scale Revisited -- 3 Models...”
Cover Image
Read Now

11
by Lai, Young-Jou, Hwang, Ching-Lai
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... Proceedings -- Journal Articles, Technical Reports and Theses -- Appendix: Stochastic Programming -- A.1...”
Cover Image
Read Now

12
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Review Papers -- Ensembles of Learning Machines -- Eduardo R. Caianiello Lecture -- Learning...”
Cover Image
Read Now

13
by Lai, Young-Jou, Hwang, Ching-Lai
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Decision Making -- Books, Monographs and Conference Proceedings -- Journal Articles, Technical Reports...”
Cover Image
Read Now

14
Published 2002
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

15
Published 1989
Springer Japan
Table of Contents: “... of Contributors -- Keywords Index -- Conference Committees and Co-Sponsors -- List of Technical Program Reviewers...”
Cover Image
Read Now

16
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Java -- From Flop to MegaFlops: Java for Technical Computing -- Considerations in HPJava Language...”
Cover Image
Read Now

17
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... trenches -- Technical Papers and Tool Reports -- Model-checking in finite state-space systems with fine...”
Cover Image
Read Now

18
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

19
Published 2000
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

20
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... and Perspectives -- Technical Papers -- Compiling Embedded Languages -- Lightweight and Generative Components II...”