Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
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...

Switchmode Power Supply Handbook
Switchmode Power Supply Handbook
The bestselling reference--packed with essential new material! The leading hands-on guide in this rapidly expanding area of electronics, Keith Billing's revision of the Switchmode Power Supply Handbook brings additional state-of-the-art techniques and developments to engineers at all levels. Offering sound working knowledge of the latest in...
Handbook of Boolean Algebras, Volume 2
Handbook of Boolean Algebras, Volume 2

This Handbook treats those parts of the theory of Boolean algebras of most interest to pure mathematicians: the set-theoretical abstract theory and applications and relationships to measure theory, topology, and logic. It is divided into two parts (published in three volumes). Part I (volume 1) is a comprehensive, self-contained introduction...

Surface Acoustic Wave Devices and Their Signal Processing Applications
Surface Acoustic Wave Devices and Their Signal Processing Applications
The suggestion for writing this book came from my long-time friend, Professor Colin diCenzo, FIEEE, to whom I owe many thanks for his encouragement. The outline of the book was started many years ago, as a somewhat sparse series o f lecture notes that I used in support of an electrical engineering graduate course at McMaster...
Who Put the Butter in Butterfly?: And Other Fearless Investigations into Our Illogical Language
Who Put the Butter in Butterfly?: And Other Fearless Investigations into Our Illogical Language

When I wrote Imponderables™, I purposely omitted any questions about the origins of words and phrases. An Imponderable was a mystery that couldn’t be answered by standard reference books, and so many wonderful books about words already existed that I couldn’t believe there was a need for more.

As someone who uses...

Programmers at Work: Interviews With 19 Programmers Who Shaped the Computer Industry (Tempus)
Programmers at Work: Interviews With 19 Programmers Who Shaped the Computer Industry (Tempus)

A collection of interviews that probe the minds of 20 of the most notable programmers. They highlight the forces, events and the personality traits that influenced today's software movers and shakers - how they approach design, is it a talent?, and how they see the future. Among the interviewees are Andy Hertzfield (Macintosh Operating...

Relational Databases and Knowledge Bases
Relational Databases and Knowledge Bases
A database management system (DBMS), or simply database system, is characterized by the data model it suports . The first DBMSs, designed in the 1960s, were based on hierarchical or network models and have been viewed as extensions of file systems in which interfile links are provided through pointers . The data manipulation languages of these...
Project Management for Construction: Fundamental Concepts for Owners, Engineers, Architects, and Builders
Project Management for Construction: Fundamental Concepts for Owners, Engineers, Architects, and Builders

This book is provided on the worldwide web as a service to the community of practitioners and students. Reproduction for educational purposes is permitted with appropriate citation. If you find this work helpful or have suggestions for additions or corrections, please email Chris Hendrickson: cth@cmu.edu. A hardcopy Instructor's Manual with...

Schaum's Outline of Numerical Analysis
Schaum's Outline of Numerical Analysis

If you want top grades and thorough understanding of numerical analysis, this powerful study tool is the best tutor you can have! It takes you step-by-step through the subject and gives you accompanying related problems with fully worked solutions. You also get additional problems to solve on your own, working at your own speed. (Answers at...

Simulated Annealing and Boltzmann Machines: A Stochastic Approach to Combinatorial Optimization and Neural Computing
Simulated Annealing and Boltzmann Machines: A Stochastic Approach to Combinatorial Optimization and Neural Computing

Wiley-Interscience Series in Discrete Mathematics and Optimization Advisory Editors Ronald L. Graham Jan Karel Lenstra Robert E. Tarjan Discrete Mathematics and Optimization involves the study of finite structures. It is one of the fastest growing areas in mathematics today. The level and depth of recent advances in the area and the wide...

Problem Solving With Prolog
Problem Solving With Prolog
Prolog is a programming language in which solutions to computing problems are expressed as facts representing relationships between objects and as rules specifying consequences which derive from facts. In Prolog, the mechanisms for representing knowledge about objects and relationships are both high-level and general-purpose. This brings two...
Understanding and Writing Compilers: A Do It Yourself Guide (Macmillan Computer Science Series)
Understanding and Writing Compilers: A Do It Yourself Guide (Macmillan Computer Science Series)
In the past compiler writers and designers seemed to form an elite group within computing science, set apart by their esoteric knowledge and their ability to produce large, important system programs which really worked. The admiration of the computing public, whether it was once deserved or not, is no longer merited now that the principles of...
Result Page: 1 2 3 4 Next 
©2018 LearnIT (support@pdfchm.net) - Privacy Policy