Rossi, Francesca.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Algorithmic decision theoryfirst international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(1998 :); Rossi, Francesca.; SpringerLink (Online service); Tsoukias, Alexis.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.