語系
Rossi, Francesca.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
SpringerLink (Online service); Thiele, Lothar.; Congress on Progress and Controversies in Oncological Urology (2000:); Rossi, Francesca.; Morari, Manfred.
(書目-電子資源)
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:
Fages, Francois.; SpringerLink (Online service); Oddi, Angelo.; Congress on Progress and Controversies in Oncological Urology (2000:); Rossi, Francesca.
(書目-電子資源)
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:
Soliman, Sylvain.; Congress on Progress and Controversies in Oncological Urology (2000:); Rossi, Francesca.; SpringerLink (Online service); Fages, Francois.
(書目-電子資源)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
Tsoukias, Alexis.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Rossi, Francesca.
(書目-電子資源)
主題
Software Engineering.
Decision making- Data processing
Math Applications in Computer Science.
Algorithm Analysis and Problem Complexity.
Hybrid computers
Symbolic and Algebraic Manipulation.
Automatic theorem proving
Constraints (Artificial intelligence)
Discrete Mathematics in Computer Science.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Numeric Computing.
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.