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