Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001

2001-12  

1 (2001年12月1日)  

Roberto Moreno-Diaz  

667  

无  

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.

Invited LecturesGrobner Bases: A Short Introduction for Systems Theorists B. BuchbergerDesign for Reuse via Structuring Techniques for ASMs E. BOrger1　Computer Aided Systems Theory 1.1 Mathematical and Logic Formalisms　　On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata　　 M. Affenzeller, F. Pichler, R. Mittelmann　　A Holarchical Organized Design Assistant for Hierarchical Decompositions　　 S. Meine　　Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach　　 W. Jacak, K. Proll, S. Dreiseitl　Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties　　 E. Di Nardo, A.G. Nobile, E. Pirozzi, L.M. Ricciardi　　Hybrid Systems' Properties - Classification and Relation to Computer Science T. Stauner Assertion-Based Analysis of Hybrid Systems with PVS E. Abraham-Mumm, U. Hannemann, M. Steffen Algebraic Description of Physical Systems H. yon Issendorff 1.2 Information and Decision Information Structure and Logical Design of Social Rules T. Shimogawa Towards a Generic Model of Information Processing Systems G. Nemeth Evolutionary Information and Decision Support Systems:An Integration Based on Ontologies M. V. Hurtado, J. Parets A Proposal for Project Management Using CommonKADS I. del Aguila, S. Tunez, J. Canadas, A. Bosch, R. Marin A General Planning Method for Allocation of Human Resource Groups. M. Mauerkirchner Optimizing Organizational Structure: A HausdorffBenchmark for Complex Social Systems M. Schwaninger A Planning under Uncertainty Model E. Paniagua-Aris, J.T. Palma-Mendez, F. Martin-Rubio　　……2　Computer Algebra and Automated Theorem Proving3 Functional Programming and CalculusAuthor Index

无

Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001 PDF格式下载

　　售此书，旺咨询
　　http://item.taobao.com/item.htm?id=16408452107
　　
　　===========================================================================================================================================================