Home | Amazing | Today | Tags | Publishers | Years | Search 
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

The Nested Universal Relation Database Model (Lecture Notes in Computer Science)
The Nested Universal Relation Database Model (Lecture Notes in Computer Science)

During the 1980's the flat relational model (relational model), which was initiated by Codd in 1970, gained immense popularity and acceptance in the market place. One of the main reasons for this success is that the relational model provides physical data independences i.e. changing the physical organization of the database does not...

Dedicated Digital Processors: Methods in Hardware/Software Co-Design
Dedicated Digital Processors: Methods in Hardware/Software Co-Design

This book is intended as an introduction to the design of digital processors that are dedicated to performing a particular task. It presents a number of general methods and also covers general purpose architectures such as programmable processors and configurable logic. In fact, the dedicated digital system might be based on a standard...

Mac OS X: The Complete Reference
Mac OS X: The Complete Reference

This book is complete: my checklists and FileMaker databases have cross-indexed features, preferences, and the applications that ship with Mac OS X, to make certain that everything shows up somewhere in the book. It has been revised against the second update—Mac OS X 10.0.2. We have tried to include screen shots of almost every feature,...

Cooperative Task-Oriented Computing: Algorithms and Complexity
Cooperative Task-Oriented Computing: Algorithms and Complexity

Cooperative network supercomputing is becoming increasingly popular for harnessing the power of the global Internet computing platform. A typical Internet supercomputer consists of a master computer or server and a large number of computers called workers, performing computation on behalf of the master. Despite the simplicity and benefits of...

Microsoft Visual Basic 2008: Complete Concepts and Techniques (Shelly Cashman)
Microsoft Visual Basic 2008: Complete Concepts and Techniques (Shelly Cashman)

The Shelly Cashman Series® offers the finest textbooks in computer education. This Microsoft Visual Basic 2008 book utilizes an innovative step-by-step pedagogy, which integrates demonstrations of professional-quality programs with in-depth discussions of programming concepts and techniques and opportunities for hands-on practice...

Engineering Chemistry (as Per VTU)
Engineering Chemistry (as Per VTU)

The objective of this book is to present a substantial introduction to the ideas, phenomena and methods of the problems that are frequently observed in mathematics, mathematical physics and engineering technology. The book can be appreciated at a considerable number of levels and is designed for everyone from amateurs to research workmen.

...
Redis Cookbook
Redis Cookbook

Redis is a data structure server with an in-memory dataset for speed. It is called a data structure server and not simply a key value store because Redis implements data structures allowing keys to contain binary safe strings, hashes, sets and sorted sets, as well as lists. This combination of flexibility and speed makes Redis the ideal tool...

Geocomputation
Geocomputation

GeoComputation (GC) is a follow-on revolution that is occurring after the introduction of geographical information systems (GIS). It is expected to gather speed and momentum in the first decade of the 21st century. The rationale behind this latest revolution is quite simple. When we have finished creating our GIS databases, set up our...

MATLAB: An Introduction with Applications
MATLAB: An Introduction with Applications

MATLAB is a powerful language for technical computing. The name MATLAB stands for MATrix LABoratory, because its basic data element is a matrix (array). MATLAB can be used for math computations, modeling and simulations, data analysis and processing, visualization and graphics, and algorithm development.

MATLAB is widely used...

Exact Exponential Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Exact Exponential Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

For a long time computer scientists have distinguished between fast and slow algorithms. Fast (or good) algorithms are the algorithms that run in polynomial time, which means that the number of steps required for the algorithm to solve a problem is bounded by some polynomial in the length of the input. All other algorithms are slow (or bad)....

C# Programming: From Problem Analysis to Program Design
C# Programming: From Problem Analysis to Program Design

C# Programming: From Problem Analysis to Program Design requires no previous introduction to programming and only a mathematical background of high school algebra. The book uses C# as the programming language for software development; however, the basic programming concepts presented can be applied to a number of other languages....

Result Page: 435 434 433 432 431 430 429 428 427 426 425 424 423 422 421 420 419 418 417 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy