Electronic Books

Total Books: 1481 - 1500 /1601

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 ...

Total Books: 1481 - 1500 /1601