Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers: Lecture Notes in Computer Science, cartea 2178
Editat de Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freireen Limba Engleză Paperback – 28 noi 2001
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 341.95 lei
- 20% Preț: 369.12 lei
- 20% Preț: 645.28 lei
- 20% Preț: 591.51 lei
- 15% Preț: 580.46 lei
- Preț: 410.88 lei
- 20% Preț: 504.57 lei
- Preț: 381.21 lei
- 20% Preț: 340.32 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 538.29 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 238.01 lei
- 17% Preț: 360.19 lei
- 20% Preț: 438.69 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 596.46 lei
- 15% Preț: 438.59 lei
- 20% Preț: 655.02 lei
- 20% Preț: 649.49 lei
- 20% Preț: 309.90 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 310.26 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 326.98 lei
- 20% Preț: 825.93 lei
- 17% Preț: 427.22 lei
- 20% Preț: 763.23 lei
- 20% Preț: 350.21 lei
- 20% Preț: 307.71 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 20% Preț: 343.62 lei
- 20% Preț: 583.40 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 353.50 lei
- 20% Preț: 607.39 lei
Preț: 664.77 lei
Preț vechi: 830.96 lei
-20% Nou
Puncte Express: 997
Preț estimativ în valută:
127.24€ • 132.33$ • 106.62£
127.24€ • 132.33$ • 106.62£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540429593
ISBN-10: 354042959X
Pagini: 688
Ilustrații: XI, 672 p.
Dimensiuni: 155 x 235 x 36 mm
Greutate: 0.95 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354042959X
Pagini: 688
Ilustrații: XI, 672 p.
Dimensiuni: 155 x 235 x 36 mm
Greutate: 0.95 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Lectures.- Gröbner Bases: A Short Introduction for Systems Theorists.- Design for Reuse via Structuring Techniques for ASMs.- Computer Aided Systems Theory.- 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.- Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution.- Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory.- Optimization Problems Categories.- Systems Methodology for Classical NeuralNets at Various Levels.- Biologically Based CAST-mechanism for Visual Motion Analysis.- Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach.- An Online Information Retrieval Systems by Means of Artificial Neural Networks.- Kinematics in Robotics by the Morphogenetic Neuron.- Analysis and Verification Queries over Object-Oriented Petri Nets.- Integrated Design and Implementation of Digital Controllers.- Symbolic Computation Tools for Dynamical Nonlinear Control Systems.- Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica.- Towards a Computer-Aided Design of Reactive Systems.- Contributions to the Control and Stabilization of the Pole-Cart System.- A Qualitative System as a Frame to Control Unmanned Vehicles.- Hyper-Automation System Applied to Geometry Demonstration Environment.- Computer Algebra and Automated Theorem Proving.- The PCS Prover in TH?OREM?.- Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.- Classifying Isomorphic Residue Classes.- CAL: A Computer Assisted Learning System for Computation and Logic.- A Set Theory Prover Within Theorema.- Functional Programming and ? Calculus.- The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server.- Hidden Specification of a Functional System.- Distributed Execution of Functional Programs Using the JVM.- Fusion in Coq.- A Language Prototyping Tool Based on Semantic Building Blocks.- Verifying an Applicative ATP Using Multiset Relations.- Adding Traces to a Lazy Monadic Evaluator.- Functional Vs Object-Oriented Distributed Languages.- Persistent Haskell.
Caracteristici
Includes supplementary material: sn.pub/extras