Languages
Rossi, Francesca.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
Thiele, Lothar.; Congress on Progress and Controversies in Oncological Urology (2000:); Morari, Manfred.; Rossi, Francesca.; SpringerLink (Online service)
(Electronic resources)
Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
by:
SpringerLink (Online service); Rossi, Francesca.; Fages, Francois.; Oddi, Angelo.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
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:
SpringerLink (Online service); Soliman, Sylvain.; Rossi, Francesca.; Fages, Francois.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
SpringerLink (Online service); Rossi, Francesca.; Tsoukias, Alexis.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Software Engineering.
Algorithm Analysis and Problem Complexity.
Decision making- Data processing
Math Applications in Computer Science.
Hybrid computers
Symbolic and Algebraic Manipulation.
Automatic theorem proving
Constraints (Artificial intelligence)
Discrete Mathematics in Computer Science.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Numeric Computing.
Mathematical Logic and Formal Languages.
Processor Architectures.
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)
Simulation and Modeling.