Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis

As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim
...

Wireshark® 101: Essential Skills for Network Analysis
Wireshark® 101: Essential Skills for Network Analysis

This book is written for beginner analysts and includes 46 step-by-step labs to walk you through many of the essential skills contained herein. This book provides an ideal starting point whether you are interested in analyzing traffic to learn how an application works, you need to troubleshoot slow network performance, or determine whether a...

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

Managing knowledge in the construction industry (Spon Research)
Managing knowledge in the construction industry (Spon Research)
Knowledge management presents a new way of understanding organizations and companies, and is especially suited to sophisticated and highly technical firms and operations such as those in the construction industry.

This new book draws on hard data from three separate research programs in Sweden and shows how the concept of knowledge can
...
Schaum's Easy Outline Differential Equations
Schaum's Easy Outline Differential Equations
Boiled-down essentials of the top-selling Schaum's Outline series, for the student with limited time

What could be better than the bestselling Schaum's Outline series? For students looking for a quick nuts-and-bolts overview, it would have to be Schaum's Easy Outline series. Every book in this series is a pared-down,...

How to Solve It: Modern Heuristics
How to Solve It: Modern Heuristics

This is not a book about algorithms . Certainly, it is full of algorithms , but that 's not what this book is about . This book is about possibilities . Its purpose is to present you not only with the prerequisite mandatory knowledge of the available problem-solving techniques , but more importantly to expand your ability to frame...

Challenging Mathematical Problems With Elementary Solutions (Volume 2)
Challenging Mathematical Problems With Elementary Solutions (Volume 2)

This volume contains seventy-four problems. The statements of the problems are given first, followed by a section giving complete solutions. Answers and hints are given at the end of the book. For most of the problems the reader is advised to find a solution by himself. After solving the problem, he should check his answer against the one given...

Introduction to Compiler Construction
Introduction to Compiler Construction

The art of compiler construction is a fascinating subject- It integrates the mathe matical foundations of formal languages, a wealth of well-established techniques for syntactic analysis, semantic analysis and optimization, and a tremendous amount of practical experience accumulated over the past four decades in designing and us ing...

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in...

Schaum's Easy Outline: Calculus
Schaum's Easy Outline: Calculus
Boiled-down essentials of the top-selling Schaum's Outline series for the student with limited time What could be better than the bestselling Schaum's Outline series? For students looking for a quick nuts-and-bolts overview, it would have to be Schaum's Easy Outline series. Every book in this series is a pared-down, simplified, and tightly focused...
The Complete Idiot's Guide to the Science of Everything
The Complete Idiot's Guide to the Science of Everything
Did you ever wonder how somebody ever figured out all the details of making a cellphone system work? What about those giant MRI machines that can take a picture of your insides without a single incision? Then there is the universe. We think we know at least something about how it started billions of years ago and where it’s going billions of...
Foundations of Computing
Foundations of Computing

It may sound surprising that in computing, a field which develops so fast that the future often becomes the past without having been the present, there is nothing more stable and worthwhile learning than its foundations.

It may sound less surprising that in a field with such a revolutionary methodological impact on all sciences and...

Result Page: 16 15 14 13 12 11 10 9 8 7 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy