最 低 价：￥99.00
定 价：￥110.00
作 者：RobertoMoreno-DiazBrunoBuchbergerJose-LuisFreire 著 著
出 版 社：湖南文艺出版社
出版时间：2001-12-1
I S B N：354042959X
| Invited Lectures Grobner Bases: A Short Introduction for Systems Theorists B. Buchberger Design for Reuse via Structuring Techniques for ASMs E. Borger 1 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. Jacalk 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 Assert!on-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 Ontoiogies M. V. Hurtado, J. Parets A Proposal for Project Management Using CommonKADS I. del Aguila, S. T~nez, J. Ca~adas, A. Bosch, R. Marin A General Planning Method for Allocation of Human Resource Groups M. Mauerkirchner Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems M. Schwaninger A Planning under Uncertainty Model. E. Paniagua-Aris, J.T. Palma-M~ndez, F. Martln-Rubio 1.3 Complexity Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures J.F. Bienvenido, I.M. Flores-Parra, R. Guirado, R.L. Marin Complexity Analysis of Systems from a Functional and Technical Viewpoint S. Dierneder, R. Scheidl A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength J.D. Gonza1ez Cobas, J.A. L6pez Brugos Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity C.A.P. Campani P.B. Menezes Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution J. Scharinger 1.4 CAST in Neural-like Computation.Applications 1.5 CAST in Automation and Control 2 Computer Algebra and Automated Theorem Proving 3 Functional Programming and λCalculus Author Index |
内容加载中，请稍后...
商品评论（0条）