Promotional Information

Springer Book Archives

Table of Contents

Section 1: Information Processing and Software.- New Application Related Developments in Informatics with Verified Results.- Graphs, Automata, Petri Nets From Sequential to Distributed and Concurrent Systems.- Approaches to the Representation of Knowledge.- Inductive Inference in AI Systems.- Construction of High-Quality Software with Formally Guaranteed Properties.- An Intelligent System for Distributed System Software Design.- Integrated Environment for Software System Design.- Object-Oriented CASE.- Automatic Speech Synthesis by Computer.- Phoneme Recognition of Speech.- A Machine Learning Approach to Learn Rules for Fault Diagnosis in Power Distribution Systems.- Artificial Neural Networks: Models, Implementations, and Selected Applications.- Features of the Generalized Heterogeneous Information Resource Representation Language.- Technological Complexes for Application Program Development.- Document Image Understanding.- Computer Hardware Verification and Modeling.- Multi Media Human-Computer Communication.- Distributed Software Systems: Trends from Communication to Cooperation.- Towards a New Generation of Diagnosis Systems.- Speech-Understanding Systems: The Communication Technology of Tomorrow ?.- Section 2: Systems Design Automation.- Design of Integrated Systems.- VLSI-Based System Design Challenges in the Early 1990s.- Methodology Aspects of Logical Structure Synthesis of Application Specific Integrated Circuits.- High-Level Synthesis — A Step Towards System Design Automation.- Algorithmic Environment for VLSI Design on Cellular Automata.- HDL for System Design.- Hierarchical Physical Design of Complex VLSI Circuits.- Methods and Algorithms for Hierarchical Layout Synthesis of VLSI Circuits.- System-Related Aspects of Testing.- Directions of Reducing theComputational Complexity in LSI Circuit Simulation.- System Shell for VLSI CAD.