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-Díaz, Bruno Buchberger, Jose-Luis Freireen Limba Engleză Paperback – 28 noi 2001
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 639.07 lei
Preț vechi: 798.84 lei
-20%
Puncte Express: 959
Preț estimativ în valută:
113.08€ • 134.83$ • 98.35£
113.08€ • 134.83$ • 98.35£
Carte tipărită la comandă
Livrare economică 27 martie-10 aprilie
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