Computer aided systems theory EUROCAST 2001 : a selection of papers from the 8th International Workshop on Co
Author: International Workshop on Computer Aided Systems Theory (8th : 2001 : Las Palmas, Canary Islands), Moreno-Díaz, Roberto, Buchberger, Bruno, Freire, José-Luis, 1943-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer-aided engineering, Computer-aided design, programmation fonctionnelle, démonstration théorème, calcul formel, lambda calcul, réseau neuronal, théorie complexité, théorie décision, CAST, CAO, Ingénierie assistée par ordinateur, Conception assistée par ordinateur, Computer-aided design, Computer-aided engineering, Computers, Systeemtheorie, Conception assistée par ordinateur, CAST, Kongreß, CAO, CAST, calcul formel, démonstration théorème, lambda calcul, programmation fonctionnelle, réseau neuronal, théorie complexité, théorie décision, CAST
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 354042959X, 9783540429593
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 311.19 MB
PDF Size: 10.46 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 587
Views: 637
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2022-03-09 09:31:27
Size: 16.27 KB
Description
Author: Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42959-3
DOI: 10.1007/3-540-45654-6
Table of Contents:
- Gröbner Bases: A Short Introduction for Systems Theorists
- Design for Reuse via Structuring Techniques for ASMs
- On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
- A Holarchical Organized Design Assistant for Hierarchical Decompositions
- Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
- Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
- Hybrid Systems’ Properties — Classification and Relation to Computer Science
- Assertion-Based Analysis of Hybrid Systems with PVS
- Algebraic Description of Physical Systems
- Information Structure and Logical Design of Social Rules
- Towards a Generic Model of Information Processing Systems
- Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
- A Proposal for Project Management Using CommonKADS
- A General Planning Method for Allocation of Human Resource Groups
- Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems
- A Planning under Uncertainty Model
- Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures
- Complexity Analysis of Systems from a Functional and Technical Viewpoint
- A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength
- Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity
Includes bibliographical references and index