Encyclopedia of Computer Science and Technology: Volume 30 - Supplement 15: Algebraic Methodology and Software Technology to System Level ModellingAllen Kent, James G. Williams CRC Press, 1994. gada 8. febr. - 392 lappuses "This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions." |
Saturs
Contributors to Volume 30 | 1 |
CONTRIBUTORS TO VOLUME | 30 |
CLASSIFYING GRAPHICAL KNOWLEDGE 355 | 35 |
COMPUTATIONAL GEOMETRY | 79 |
DISCRETE SIMULATION MODELING | 117 |
DISTRIBUTED COMPUTING | 135 |
CROSSLIN Department of Computer Science and | 147 |
KNOWLEDGEBASED SOFTWARE ENGINEERING | 173 |
MODELBASED DIAGNOSIS | 227 |
MODELS AND LANGUAGES FOR ABSTRACT OBJECTS | 241 |
OVERLAYS | 257 |
SECURITY IN VALUEADDED NETWORKS | 291 |
SOFTWARE ENGINEERING EDUCATION | 305 |
THE SYMBOL TABLE | 333 |
SYSTEM LEVEL MODELLING | 369 |
Citi izdevumi - Skatīt visu
Encyclopedia of Computer Science and Technology: Volume 30 - Supplement 15 ... Jack Belzer,Albert George Holzman,Allen Kent Priekšskatījums nav pieejams - 1975 |
Bieži izmantoti vārdi un frāzes
abstract algorithm analysis applications approach architecture Artificial Intelligence automated behavior centers Cognitive communication compiler complex components computational geometry computer science concept Conference constraints construction convex hull coordinate Cray Cray Y-MP data types Davenport-Schinzel sequences defined Delaunay triangulation diagnosis diagrams display distributed domain model Dynamic Modelling end effector entry environment example execution FIGURE formal function graphics graphs hardware implementation Information Systems input integrated Intelligent Tutoring Systems inverse kinematics joint KBSA KBSE systems knowledge base Knowledge-Based Software Engineering language load machine Manipulators maps memory method modules motion planning object-oriented operating system overlay parallel parameters performance pointer problem Proc procedure processors protocols random number representation requirements Robot Kinematics segments semantics simulation software development software objects software technology solution solving specification Springer-Verlag stack structure student supercomputer symbol table techniques tion transformations variables vector visual Voronoi diagrams