語系
Rossi, Francesca.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Tsoukias, Alexis.; SpringerLink (Online service); 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:
Fages, Francois.; Workshop on the Preservation of Stability under Discretization ((2001 :); Rossi, Francesca.; Soliman, Sylvain.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Thiele, Lothar.; Morari, Manfred.; Rossi, Francesca.
(書目-語言資料,印刷品)
主題
Software Engineering.
Math Applications in Computer Science.
Algorithm Analysis and Problem Complexity.
Hybrid computers
Symbolic and Algebraic Manipulation.
Automatic theorem proving
Decision making
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
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.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Numeric Computing.
Computation by Abstract Devices.