Search alternatives:
asi subseries » _ subseries
nato asi » nato arw
sciences » science
Cover Image
Read Now

1
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... compression techniques: A survey -- From 2D to 3D representation -- VLSI-intensive graphics systems...”
Cover Image
Read Now

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Environments -- The Addition of Bounded Quantification and Partial Functions to a Computational Logic and Its...”
Cover Image
Read Now

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of Comprehension Monitoring in the Acquisition of Knowledge from Science Texts -- 4. Constructive Learning from...”
Cover Image
Read Now

4
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... data structures in parallel computation -- 22 Cognitive capabilities of a parallel system -- 23 Neural...”
Cover Image
Read Now

5
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... Systems with a Cybernetic System Perspective -- Artificial Intelligence Techniques for the Distribution...”
Cover Image
Read Now

6
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Designing Value-Based Educational Systems -- Retrospective Design Analysis: A New Educational Technology...”
Cover Image
Read Now

7
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... Robot Programming System -- A Relational Data Base Supporting CAD-Oriented Robot Programming -- World...”
Cover Image
Read Now

8
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for the Specification of Time-Sensitive Systems -- Logic Programming and Meta-Logic -- Proofs, Lambda Terms and Control...”
Cover Image
Read Now

9
Published 1992
Springer Berlin Heidelberg
Table of Contents: “..., and to learn -- Hypermedia and science education — the case of chemistry -- Designing hypermedia for computer...”
Cover Image
Read Now

10
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Computational Mathetics: the Missing Link in Intelligent Tutoring Systems Research? -- What’s in an ITS? A...”
Cover Image
Read Now

11
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study -- Propositional Proof...”
Cover Image
Read Now

12
by Debons, Anthony, Larson, Arvid G.
Published 1983
Springer Netherlands
Table of Contents: “... for the Implementation of an Integrated Computer-Assisted Human Resource Planning System -- Toward a Paradigm...”
Cover Image
Read Now

13
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... Optimization of Aircraft Structures -- A CAD Approach to Structural Optimization -- Application of Structural...”
Cover Image
Read Now

14
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... changes (LTC) of evoked field potentials in the amygdala: a model of emotional memory -- Role of nitric...”
Cover Image
Read Now

15
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... -- Hypercubes and Pyramids -- Architectural Comparisons -- A Pyramidal System for Image Processing -- Counting...”
Cover Image
Read Now

16
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Interpretation of the Dynamics of Constrained Systems -- 10. A Generic Numerical Method for Mechanical System...”
Cover Image
Read Now

17
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... and Deployment of Information/Intelligent Systems -- Computational Intelligence Defined — By Everyone...”
Cover Image
Read Now

18
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... in the Kinematics of Spatial Mechanisms -- Quaternions and Euler Parameters — A Brief Exposition -- 2 Computer Aided...”
Cover Image
Read Now

19
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... Decision Support -- AQUATOOL: A Computer-Assisted Support System for Water Resources Research Management...”
Cover Image
Read Now

20
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...I - The Climate System and Its Modelling -- Modeling Long-Term Climatic Changes -- Climate Models...”