this sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...
Continue reading
This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...
Continue reading
The book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...
Continue reading
This book: • Provides an overview of words, word components and the rules by which components can and cannot be assembled ...
Continue reading
The Transfer and Diffusion of Information Technology for Organizational Reilience addresses the challenges faced by many ...
Continue reading
The Vehicle Routing Problem (VRP) has been an especially active and fertile area of research. Over the past five to seven ...
Continue reading
This thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite ...
Continue reading
The monitoring of benthic diatoms, macrophytes, macroinvertebrates and fish will be the backbone of future water management ...
Continue reading
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Continue reading
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Continue reading
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
Continue reading
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Continue reading
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Continue reading
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Continue reading
Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
Continue reading
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...
Continue reading
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Continue reading
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Continue reading
This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...
Continue reading
Theory and Design of CNC Systems covers the elements of control, the design of control systems, and modern open-architecture ...
Continue reading