Editors:
Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2809)
Conference series link(s): EUROCAST: International Conference on Computer Aided Systems Theory
Conference proceedings info: EUROCAST 2003.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (60 papers)
-
Front Matter
-
Complex Systems Tools and Applications
-
Social and Intelligent Systems
About this book
Keywords
- Coq
- Simulation
- Textur
- automata
- computer aided system theory
- data mining
- formal methods
- genetic algorithms
- hybrid systems
- image processing
- information theory
- intelligent control systems
- logic
- modeling
- reactive systems
Editors and Affiliations
-
Institute of Cybernetics, Universidad de Las Palmas de Gran Canaria, Spain
Roberto Moreno-Díaz
-
Systems Theory, Johannes Kepler University Linz, Linz, Austria
Franz Pichler
Bibliographic Information
Book Title: Computer Aided Systems Theory - EUROCAST 2003
Book Subtitle: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers
Editors: Roberto Moreno-Díaz, Franz Pichler
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b13239
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-20221-9Published: 13 October 2003
eBook ISBN: 978-3-540-45210-2Published: 14 April 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 677
Topics: Computer-Aided Engineering (CAD, CAE) and Design, Computer Modelling, Processor Architectures, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Artificial Intelligence