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 /
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Moreno-Diaz, Roberto (Editor, http://id.loc.gov/vocabulary/relators/edt), Buchberger, Bruno (Editor, http://id.loc.gov/vocabulary/relators/edt), Freire, Jose-Luis (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
|
Edition: | 1st ed. 2001. |
Series: | Lecture Notes in Computer Science,
2178 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Computer Aided Systems Theory - EUROCAST '97 A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings /
Published: (1997) -
Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers /
Published: (2003) -
Computer Aided Systems Theory - EUROCAST'99 A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings /
Published: (2000) -
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings /
Published: (2019) -
Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Published: (2003)