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
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.