Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Compiler Specification and Verification (Lecture Notes in Computer Science)
Compiler Specification and Verification (Lecture Notes in Computer Science)

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

The Cultural Imperative: Global Trends in the 21st Century
The Cultural Imperative: Global Trends in the 21st Century

Will the tidal wave of globalization lead us to a bland and uniform cultural landscape dominated by a unified cultural perspective? Will cultural imperialism triumph in the twenty-first century? Or will the cultural imperative that drives human behavior through religion, language, geography and history maintain its influence on the human...

The Boundary Element Method with Programming: For Engineers and Scientists
The Boundary Element Method with Programming: For Engineers and Scientists
This is a thorough, yet understandable text about the boundary element method (BEM), an attractive alternative to the finite element method (FEM). It not only explains the theory, but also deals with the implementation into computer code written in FORTRAN 95 (software can be freely downloaded). Applications range from potential problems to static...
The Atomic Corporation: Rational Proposals for Uncertain Times
The Atomic Corporation: Rational Proposals for Uncertain Times

In Atomic the authors' revolutionary theory is put to the test. Looking across all sectors of business, including retail banking, financial services, telecommunications, IT and consultancy, carbon-based corporations (oil and gas companies), and consumer products companies, Camrass and Farncombe discover some real eye-openers, including...

The Turn: Integration of Information Seeking and Retrieval in Context (The Information Retrieval Series)
The Turn: Integration of Information Seeking and Retrieval in Context (The Information Retrieval Series)
This book is a wonderful contribution to a comprehensive understanding of a complete and integrated view of information seeking and information retrieval.

James D. Anderson, Professor Emeritus of Library and Information Science, Rutgers University

"The Turn is a valuable book which aims to demonstrate how and why...

Softswitch : Architecture for VoIP (Professional Telecom)
Softswitch : Architecture for VoIP (Professional Telecom)
SOFTSWITCH DISSECTED

SOFT OR HARD? Hardware switches can cost tens of millions and occupy a city block in real estate. Softswitches are a fraction of the cost and the size of a refrigerator. Bypassing big iron can also make for a more efficient development environment, potentially offering more...

Make Projects: Small Form Factor PCs
Make Projects: Small Form Factor PCs
Shoebox sized and smaller, small form factor PCs can pack as much computing muscle as anything from a PDA to a full-sized desktop computer. They consume less power, have few or no moving parts, and are very quiet. Whether you plan to use one as a standalone PC or want to embed it in your next hacking project, a small form factor PC may be the next...
Syntactic Carpentry: An Emergentist Approach to Syntax
Syntactic Carpentry: An Emergentist Approach to Syntax
Syntactic Carpentry: An Emergentist Approach to Syntax presents a groundbreaking approach to the study of sentence formation. Building on the emergentist thesis that the structure and use of language is shaped by more basic, non-linguistic forces—rather than by an innate Universal Grammar—William O'Grady shows how the defining...
Spatial Representation and Reasoning for Robot Mapping: A Shape-Based Approach (Springer Tracts in Advanced Robotics)
Spatial Representation and Reasoning for Robot Mapping: A Shape-Based Approach (Springer Tracts in Advanced Robotics)

This book demonstrates bene?ts of abstract and qualitative reasoning that have not received much attention in the context of autonomous robotics before. Bremen, Christian Freksa December 2007 Director of the SFB/TR 8 Spatial Cognition Preface This book addresses spatial representations and reasoning techniques for - bile robot mapping,...

How to Write Your Literature Review (Macmillan Study Skills)
How to Write Your Literature Review (Macmillan Study Skills)

This engaging guide by bestselling author Bryan Greetham takes students step-by-step through the process of writing a literature review, and equips them with practical strategies to help them navigate each stage. Each bite-sized chapter focuses on a specific aspect of the process, from generating ideas and pinning down the research...

Culture on drugs: Narco-cultural studies of high modernity
Culture on drugs: Narco-cultural studies of high modernity

Never has a reconsideration of the place of drugs in our culture been more urgent than it is today. Culture on drugs addresses themes such as the nature of consciousness, language and the body, alienation, selfhood, the image and virtuality and the nature/culture dyad and everyday life. It then explores how these are expressed in the work of...

Temporal Logic for Real-Time Systems (Advanced Software Development Series)
Temporal Logic for Real-Time Systems (Advanced Software Development Series)

This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

unlimited object storage image
Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy