Rossi, Francesca.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent advances in constraints13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
by:
(1998 :); Fages, Francois.; Oddi, Angelo.; Rossi, Francesca.; SpringerLink (Online service)
(書目-電子資源)
Recent advances in constraints12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
(1998 :); Fages, Francois.; Rossi, Francesca.; Soliman, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
Algorithmic decision theoryfirst international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(1998 :); Rossi, Francesca.; SpringerLink (Online service); Tsoukias, Alexis.
(書目-電子資源)
Hybrid Systems: Computation and Control8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
(1998 :); Morari, Manfred.; Rossi, Francesca.; SpringerLink (Online service); Thiele, Lothar.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Logics and Meanings of Programs.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Processor Architectures.
Special Purpose and Application-Based Systems.
Programming Languages, Compilers, Interpreters.
Decision making
Numeric Computing.
Constraints (Artificial intelligence)
Hybrid computers
Computer Science.
Simulation and Modeling.
Probability and Statistics in Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.