| 书目名称 | Computer Aided Systems Theory - EUROCAST 2003 |
| 副标题 | 9th International Wo |
| 编辑 | Roberto Moreno-Díaz,Franz Pichler |
| 视频video | http://file.papertrans.cn/234/233321/233321.mp4 |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s 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) that will provide for a complete picture of the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the ?rst CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scienti?c and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the ?rst international meeting on CAST, (Las Palmas February 1989), under the name EUROCAST’89, that was a very successful gathering of systems theorists, computer scientists and engineers from most of European countries, North America and Japan. ItwasagreedthatEUROCASTinternationalconferenceswouldbeorganized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999) and Las Palmas(2001), in addition to an extr |
| 出版日期 | Conference proceedings 2003 |
| 关键词 | Coq; Simulation; Textur; automata; computer aided system theory; data mining; formal methods; genetic algor |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b13239 |
| isbn_softcover | 978-3-540-20221-9 |
| isbn_ebook | 978-3-540-45210-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2003 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-11 00:35
发表于 2025-3-21 16:35:03
