Electronic Books

Total Books: 101 - 120 /491

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Aimed at developing professional knowledge in the field of highway engineering with adequate skills in planning, designing ...

Highlighting the importance of innovations, firm-sponsored training, and recruitment of high-skilled workers, this monograph ...

It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which ...

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...

When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...

This book traces the origins of prevailing perceptions about PVS and submits these to critical examination. In doing this ...

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...

The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...

This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...

One of the most striking features of Coordination Dynamics is its interdisciplinary character. The problems we are trying ...

Provides unique information to prepare graduates and newly hired corporate and investment banking professionals for a career ...

Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...

This book contains four parts. The first part presents a further development of models of knowledge creation presented already ...

Recent advances in trauma treatment, coupled with ongoing traumatic world events, point to a critical need for global standards ...

Total Books: 101 - 120 /491