Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
اقرأ المزيد
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيد
Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
اقرأ المزيد
Concentrator Location in Telecommunications Networks
It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...
اقرأ المزيد
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
اقرأ المزيد
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
اقرأ المزيد
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
اقرأ المزيد
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
اقرأ المزيد
Constrained Control and Estimation
Using the principal tools of prediction and optimisation, this work gives the examples of how to deal with constraints, placing ...
اقرأ المزيد
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
اقرأ المزيد
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
اقرأ المزيد
Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
اقرأ المزيد
Constraint Theory
The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. ...
اقرأ المزيد
Constraint-Based Mining and Inductive Databases
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...
اقرأ المزيد
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
اقرأ المزيد
Constructal Theory of Social Dynamics
Constructal Theory of Social Dynamics brings together for the first time social scientists and engineers to develop a predictive ...
اقرأ المزيد
Control of Nonlinear Dynamical Systems : Methods and Applications
This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having ...
اقرأ المزيد
Cooperative Design, Visualization, and Engineering (vol. # 3675)
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
اقرأ المزيد
