Learn IT - Books tags formal

Practical Statistics for Data Scientists: 50 Essential Concepts

O'Reilly, 2017

Statistical methods are a key part of of data science, yet very few data scientists have any formal statistics training. Courses and books on basic statistics rarely cover the topic from a data science perspective. This practical guide explains how to apply various statistical methods to data science, tells you how to avoid their...

Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)

Morgan Kaufmann, 1997

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.

Distributed Algorithms contains the most significant algorithms and impossibility...

Spatial Representation and Reasoning for Robot Mapping: A Shape-Based Approach (Springer Tracts in Advanced Robotics)

Springer, 2008

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

Handbook of Electrical Design Details (Handbook)

McGraw-Hill, 2003

A COMPREHENSIVE SOURCE OF TECHNICAL DETAILS ON ELECTRICAL POWER FROM GENERATION TO PRACTICAL APPLICATIONS

Reliable, low-cost electric power is a fundamental requirement for modern society, making possible such vital services as lighting, HVAC, transportation, communication, and data processing, in addition to driving motors of...

Principles of Model Checking

MIT Press, 2008

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...

Programming Language Pragmatics, Second Edition

Morgan Kaufmann, 2005

"Michael Scott's book could have been entitled: Why Programming Languages Work. It takes a fresh look at programming languages by bringing together ideas and techniques usually covered in disparate language design, compiler, computer architecture, and operating system courses. Its comprehensive and integrated presentation of language...

Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology

Auerbach Publications, 2008

Driven by the need and desire to reduce costs, organizations are faced with a set of decisions that require analytical scrutiny. Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology examines cost-saving trends in architecture planning, administration, and management....

Graduate Mathematical Physics, With MATHEMATICA Supplements

John Wiley & Sons, 2006

This up-to-date textbook on mathematical methods of physics is designed for a one-semester graduate or two-semester advanced undergraduate course. The formal methods are supplemented by applications that use MATHEMATICA to perform both symbolic and numerical calculations.
The book is written by a physicist lecturer who knows the...

Real-Time Systems: Formal Specification and Automatic Verification

Cambridge University Press, 2008

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...

Art of Computer Programming, Volume 2: Seminumerical Algorithms (3rd Edition)

Addison Wesley, 1997

The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.

–Byte, September 1995

...

Compiler Design: Syntactic and Semantic Analysis

Springer, 2013

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional...

Real-Time Systems: Scheduling, Analysis, and Verification

John Wiley & Sons, 2002

This text is based on two rich sources: (1) materials in lecture notes I taught to senior and graduate-level computer science and electrical engineering students at Rice University and at the University of Houston, and (2) my research in the area of timing analysis and verification of real-time systems since the late 1980s,...

Result Page: 56 55 54 53 52 51 50 49 48 47