| 132515 |
|
Borrelli F. |
Constrained Optimal Control of Linear and Hybrid Systems |
2003 | •• |
| 33905 |
|
F.Giannessi, F.Giannessi |
Constrained Optimization and Image Space Analysis |
2005 | •• |
| 168737 |
|
Giannessi F. |
Constrained Optimization and Image Space Analysis: Separation of Sets and Optimality Conditions |
2005 | •• |
| 61233 |
|
Bertsekas D.P. |
Constrained Optimization and Lagrange Multiplier Methods |
1996 • | •• |
| 197681 |
|
Chorin A.J. |
Constrained random walks and vortex filaments in turbulence theory |
1990 | •• |
| 124790 |
|
Schonmann R., Shlosman S. |
Constrained Variational Problem with Applications to the Ising Model |
1996 | •• |
| 127349 |
|
Kuijpers B. (ed.), Revesz P. (ed.) |
Constraint Databases |
2004 | •• |
| 133356 |
|
Gabriel Kuper, Mark Wallace |
Constraint Databases and Applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings |
1996 • | •• |
| 135756 |
|
Kuper G., Wallace M. |
Constraint Databases and Applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings |
1996 | •• |
| 181726 |
|
Vianu V., Srivastava D., Gunther O. |
Constraint Databases and Applications: Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, ... Transformation of Pollutants in the T) |
1996 | •• |
| 74843 |
|
Schrijvers T., Fruehwirth T. |
Constraint handling rules: current research topics |
2009 | •• |
| 175422 |
|
Schrijvers T., Fruhwirth T. |
Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence) |
2008 | •• |
| 163159 |
|
|
Constraint Integer Programming |
2007 | •• |
| 161359 |
|
Apt K., Wallace M. |
Constraint Logic Programming using Eclipse |
2007 | •• |
| 81630 |
|
Meyer M. (Editor) |
Constraint Processing: Selected Papers |
1995 • | •• |
| 176041 |
|
Meyer M. |
Constraint Processing: Selected Papers (Lecture Notes in Computer Science) |
1995 | •• |
| 161895 |
|
Leler W. |
Constraint Programming Languages. Their Specification and Generation |
1987 | •• |
| 170976 |
|
Podelski A. |
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers |
1995 | •• |
| 28828 |
|
Cruz J. |
Constraint Reasoning for Differential Models |
2005 | •• |
| 152968 |
|
Nicoleta Neagu |
Constraint Satisfaction Techniques for Agent-Based Reasoning |
2005 • | •• |
| 7543 |
|
Azevedo F. |
Constraint solving over multi-valued logics: application to digital circuits |
2002 | •• |
| 153159 |
|
Friedman G. |
Constraint Theory: Multidimensional Mathematical Model Management |
2005 | •• |
| 154611 |
|
Nareyek A. |
Constraint-Based Agents |
2001 | •• |
| 178181 |
|
Shieber S. |
Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages |
1992 | •• |
| 35142 |
|
Yuan J., Pixley C., Aziz A. |
Constraint-Based Verification |
2005 • | •• |
| 173854 |
|
Jouannaud J. |
Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings |
1994 | •• |
| 112619 |
|
Kostovski A.N. |
Construcciones Geometricas Mediante un Compes |
1980 | •• |
| 128039 |
|
Devlin K.J. |
Constructibility |
1984 | •• |
| 172986 |
|
Devlin K. |
Constructibility |
1984 | •• |
| 160996 |
|
Charles S. Chihara |
Constructibility and Mathematical Existence (Clarendon Paperbacks) |
1991 | •• |
| 151133 |
|
Mostowski A. |
Constructible sets with applications |
1969 | •• |
| 208881 |
|
Chee Lay Tan |
Constructing a System of Irregularities The Poetry of Bei Dao, Yang Lian, and Duoduo |
2016 | •• |
| 4011 |
|
Thatcher J. |
Constructing Accessible Websites |
2002 | •• |
| 179425 |
|
Muhlhauser M., Ferscha A., Aitenbichler E. |
Constructing Ambient Intelligence: AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007, Revised Papers (Communications in Computer and Information Science) |
2008 | •• |
| 39499 |
|
Matthewson G. |
Constructing an Astronomical Telescope |
1955 • | •• |
| 178205 |
|
Shanklin D., Rademacher K., Talbot J. |
Constructing and Controlling Compaction of Earth Fills (ASTM Special Technical Publication, 1384) |
2000 | •• |
| 27912 |
|
Boar B. |
Constructing Blueprints for Enterprise IT Architectures |
1998 | •• |
| 153269 |
|
Cooke J. |
Constructing Correct Software |
2005 • | •• |
| 181437 |
|
Cooke D. |
Constructing Correct Software |
2005 • | •• |
| 166964 |
|
Cooke D. |
Constructing Correct Software (Formal Approaches to Computing and Information Technology) |
2005 • | •• |
| 38816 |
|
Akhmedov A. |
Constructing infinitely many smooth structures on small 4-manifolds |
2008 | •• |
| 27308 |
|
Bigus J. |
Constructing intelligent agents with Java |
1997 | •• |
| 196004 |
|
P.Ernest |
Constructing Mathematical Knowledge: Epistemology and Mathematics Education (Studies in Mathematics Education) |
1996 | •• |
| 26637 |
|
Wilson M. |
Constructing measures |
2004 | •• |
| 16094 |
|
|
Constructing MW patterns |
1994 | •• |
| 150844 |
|
Summerton J. |
Constructing Risk and Safety in Technological Practice |
2002 | •• |
| 157922 |
|
Stroup-Gardiner M. |
Constructing Smooth Hot Mix Asphalt (HMA) Pavements (ASTM Special Technical Publication, 1433) |
2003 | •• |
| 43154 |
|
Joyce D. |
Constructing special Lagrangian m-folds in mathbbCmCm by evolving quadrics |
2000 | •• |
| 82867 |
|
Sebestyen G. |
Construction - Craft to Industry |
1998 | •• |
| 166402 |
|
Barthe G., Gregoire B., Huisman M. |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, |
2006 | •• |
|
|
Î ïðîåêòå