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