A comprehensive, highly readable account of complex, technical, political and human endeavor and a worthy successor to Creating ...
اقرأ المزيد
Mathematica is today's most advanced technical computing system, featuring a rich programming environment, two-and three-dimensional ...
اقرأ المزيد
Mathematica is today's most advanced technical computing system, featuring a rich programming environment, two-and three-dimensional ...
اقرأ المزيد
"The Mathematica GuideBook for Symbolics"deals with Mathematica's symbolic mathematical capabilities. Structural and mathematical ...
اقرأ المزيد
THE NEXT WAVE IN COMPUTING, OPTIMIZATION, AND DECISION TECHNOLOGIES is divided into six sections. The first section contains ...
اقرأ المزيد
This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
اقرأ المزيد
Adam Ferguson (1723-1816) was a major figure of the Scottish Enlightenment whose thought was, in many respects, original ...
اقرأ المزيدThe authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...
اقرأ المزيد
Discover the power of one of the fastest growing programming languages in the world with this insightful new resource Guides ...
اقرأ المزيد
The book functions as both a practical user guide and an interesting read about the theory behind the machine: BEAM robotics ...
اقرأ المزيد
The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
اقرأ المزيد
this sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...
اقرأ المزيد
This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...
اقرأ المزيد
The book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...
اقرأ المزيد
The Transfer and Diffusion of Information Technology for Organizational Reilience addresses the challenges faced by many ...
اقرأ المزيد
The Vehicle Routing Problem (VRP) has been an especially active and fertile area of research. Over the past five to seven ...
اقرأ المزيد
This thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite ...
اقرأ المزيد
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
اقرأ المزيد
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
اقرأ المزيد
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
اقرأ المزيد