Reference Work Entry
Computer models
Denis Hughes
Encyclopedia of Earth Sciences Series, 1998, Encyclopedia of Hydrology and Lakes, 3, Page 145
Book Chapter
Research and Application of Virtual Reality in the Field of Web-Based Education
Zhao Chengling and Zhang Zhaohua
Lecture Notes in Computer Science, 2006, Volume 4282, Advances in Artificial Reality and Tele-Existence, Pages 1305-1309
Book Chapter
Perspectives of Self-adapted Self-organizing Clustering in Organic Computing
Thomas Villmann, Barbara Hammer and Udo Seiffert
Lecture Notes in Computer Science, 2006, Volume 3853, Biologically Inspired Approaches to Advanced Information Technology, Pages 141-159
Book Chapter
ARIS — Architecture of Integrated Information Systems
August-Wilhelm Scheer and Kristof Schneider
International Handbooks on Information Systems, 2006, Handbook on Architectures of Information Systems, Part Three, Pages 605-623
Book Chapter
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
Atsushi Ohori
Lecture Notes in Computer Science, 1999, Volume 1722, Functional and Logic Programming, Pages 300-318
Book Chapter
On formal transformations of algorithms
V. M. Glushkov
Lecture Notes in Computer Science, 1981, Volume 122, Algorithms in Modern Mathematics and Computer Science, Pages 430-440
Book Chapter
Qualification and validation of software and computer systems in laboratories
Part 3. Installation and operational qualification
Ludwig Huber
2005, Validation in Chemical Measurement, Pages 46-50
Book Chapter
Fluid flow visualization: Recent developments and future directions
D. E. Edwards
Lecture Notes in Physics, 1993, Volume 414, Thirteenth International Conference on Numerical Methods in Fluid Dynamics, Pages 78-89
Book Chapter
Characterization and Management of Dynamical Behavior in a System with Mobile Components
Christian Erfurth and Wilhelm Rossak
Lecture Notes in Computer Science, 2002, Volume 2346, Innovative Internet Computing Systems, Pages 109-119
Book Chapter
Introduction
Lecture Notes in Computer Science, 1994, Volume 795, FM8501: A Verified Microprocessor, Pages 1-4