Learn IT - Amazing Books

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer, 2007

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art...

Handbook on Information Technologies for Education and Training (International Handbooks on Information Systems)

Springer, 2008

"Part of the publishers series of International handbooks on information systems, this is a great fat book which does indeed concentrate on the technical side rather than on pedagogy. its concern is the design and implementation of hardware/software systems (including networks) for educational and training contexts. Its more than forty...

Dictionary of Contact Allergens

Springer, 2007

Here is a helpful guide, A-to-Z guide on the structures of chemicals implicated in contact dermatitis. It describes each molecule along with its principal name for classification. The dictionary also lists the most important synonyms, the Chemical Abstract Service (CAS) Registry Number that characterizes the substance and its chemical...

Spatial Data Modelling for 3D GIS

Springer, 2007

This book is based on research works done by the authors at the University of Glasgow, Scotland, United Kingdom and the International Institute for GeoInformation Science and Earth Observation (ITC), The Netherlands in 2000 and 1996 respectively. We were motivated to write the book when we began a joint research work in 1992 for our postgraduate...

Anatomic Basis of Tumor Surgery

Springer, 2010

Modern biological understanding is the basis for a multimodality treatment of a tumor. 'Anatomic Basis of Tumor Surgery' is the only book that provides an anatomic basis and description of tumor surgery based on an understanding of both the anatomy and biology of tumor progression. It presents the regional anatomy to allow tailoring...

Selected Systems from Co-Fe-Si to Cu-Fe-Pt

Springer, 2008

Volume 11 of group IV presents phase diagrams, crystallographic and thermodynamic data of ternary alloy systems. The subvolume D deals with iron systems, with part 3 considering selected systems from Co-Fe-Si to Cu-Fe-Pt. At ambient pressure the equilibria of each individual ternary system are discussed as functions of temperature yielding...

Robust Signal Processing for Wireless Communications (Foundations in Signal Processing, Communications and Networking)

Springer, 2007

Optimization of adaptive signal processing algorithms for wireless communications is based on a model of the underlying propagation channel. In practice, this model is never known perfectly. For example, its parameters have to be estimated and are only known with significant errors.

In this book, a systematic treatment of this practical design...

Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques

Springer, 2007

This book - in conjunction with the two volumes LNCS 4681 and LNAI 4682 - constitutes the refereed proceedings of the Third International Conference on Intelligent Computing, ICIC 2007, held in Qingdao, China in August 2007.

The intelligent computing technology includes a range of techniques such as artificial intelligence, perceptual and...

Software Architecture (Advanced Topics in Science and Technology in China)

Springer, 2008

Part of the new series, Advanced Topics in Science and Technology in China, this book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software architecture. Readers can acquire basic knowledge of software architecture, including why software architecture is necessary, how we can describe...

High Performance Computing on Vector Systems 2007

Springer, 2007

The book presents the state-of-the-art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of vector-based systems and heterogeneous architectures. The application contributions cover computational fluid dynamics,...

The Universe Before the Big Bang: Cosmology and String Theory (Astronomers' Universe)

Springer, 2008

Terms such as "expanding Universe", "big bang", and "initial singularity", are nowadays part of our common language. The idea that the Universe we observe today originated from an enormous explosion (big bang) is now well known and widely accepted, at all levels, in modern popular culture. But what happens to the...

Into The Nano Era: Moore's Law Beyond Planar Silicon CMOS (Springer Series in Materials Science)

Springer, 2008

Even as we enter the nanotechnology era, we are now encountering the 50th anniversary of the invention of the IC. Will silicon continue to be the pre-eminent material and will Moore^TM’s Law continue unabated, albeit in a broader economic venue, in the nanotechnology era? This monograph addresses these issues by a re-examination of...

Result Page: Previous 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248 3249 3250 3251 3252 Next