Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lee mas
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lee mas
Computer-Aided Highway Engineering / Sandipan Goswami, Pradip Sarkar
Aimed at developing professional knowledge in the field of highway engineering with adequate skills in planning, designing ...
Lee mas
Computers and Productivity
Highlighting the importance of innovations, firm-sponsored training, and recruitment of high-skilled workers, this monograph ...
Lee mas
Concentrator Location in Telecommunications Networks
It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...
Lee mas
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 ...
Lee mas
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
Lee mas
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
Lee mas
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: ...
Lee mas
Conscious in a Vegetative State? A Critique of the PVS Concept
This book traces the origins of prevailing perceptions about PVS and submits these to critical examination. In doing this ...
Lee mas
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lee mas
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Lee mas
Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lee mas
Constraint-Based Mining and Inductive Databases
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...
Lee mas
Cooperative Design, Visualization, and Engineering (vol. # 3675)
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
Lee mas
Coordination: Neural, Behavioral and Social Dynamics
One of the most striking features of Coordination Dynamics is its interdisciplinary character. The problems we are trying ...
Lee mas
Corporate and Investment Banking : Preparing for a Career in Sales, Trading, and Research in Global Markets / Fidelio Tata
Provides unique information to prepare graduates and newly hired corporate and investment banking professionals for a career ...
Lee mas
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course : Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad
Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...
Lee masCreative Environments
This book contains four parts. The first part presents a further development of models of knowledge creation presented already ...
Lee mas
Cross-Cultural Assessment of Psychological Trauma and PTSD
Recent advances in trauma treatment, coupled with ongoing traumatic world events, point to a critical need for global standards ...
Lee mas
