Languages
Rossi, Francesca.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
Software Engineering.
Math Applications in Computer Science.
Algorithm Analysis and Problem Complexity.
Hybrid computers
Symbolic and Algebraic Manipulation.
Automatic theorem proving
Simulation and Modeling.
Decision making
Discrete Mathematics in Computer Science.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Processor Architectures.
Mathematical Logic and Formal Languages.
Numeric Computing.
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)