| 書目名稱 | 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|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 21:17
發(fā)表于 2025-3-21 16:35:03
