語系: 繁體中文

說明(常見問題)

登入

語系

英文 (4)

跳至 : 概要 | 書目資訊 | 主題

Rossi, Francesca.

概要

作品:	1 作品在 4 項出版品 1 種語言

書目資訊

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: Thiele, Lothar.; Congress on Progress and Controversies in Oncological Urology (2000:); Morari, Manfred.; Rossi, Francesca.; SpringerLink (Online service) (書目-電子資源)

Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / by: SpringerLink (Online service); Rossi, Francesca.; Fages, Francois.; Oddi, Angelo.; Congress on Progress and Controversies in Oncological Urology (2000:) (書目-電子資源)

Recent advances in constraints = 12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: SpringerLink (Online service); Soliman, Sylvain.; Rossi, Francesca.; Fages, Francois.; Congress on Progress and Controversies in Oncological Urology (2000:) (書目-電子資源)

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: SpringerLink (Online service); Rossi, Francesca.; Tsoukias, Alexis.; Congress on Progress and Controversies in Oncological Urology (2000:) (書目-電子資源)

主題

Software Engineering. Algorithm Analysis and Problem Complexity. Decision making- Data processing Math Applications in Computer Science. Hybrid computers Symbolic and Algebraic Manipulation. Automatic theorem proving Constraints (Artificial intelligence) Discrete Mathematics in Computer Science. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Numeric Computing. Mathematical Logic and Formal Languages. Processor Architectures. Computation by Abstract Devices. Probability and Statistics in Computer Science. Artificial intelligence Artificial Intelligence (incl. Robotics) Special Purpose and Application-Based Systems. Constraint programming (Computer science) Simulation and Modeling.

變更密碼

登入