Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Practical Statistics for Data Scientists: 50 Essential Concepts
Practical Statistics for Data Scientists: 50 Essential Concepts

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)
Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)
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)
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,...

Handbook of Electrical Design Details (Handbook)
Handbook of Electrical Design Details (Handbook)
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
Principles of Model Checking
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
Programming Language Pragmatics, Second Edition
"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
Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology
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
Graduate Mathematical Physics, With MATHEMATICA Supplements
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
Real-Time Systems: Formal Specification and Automatic Verification
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)
Art of Computer Programming, Volume 2: Seminumerical Algorithms (3rd Edition)

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
Compiler Design: Syntactic and Semantic Analysis

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
Real-Time Systems: Scheduling, Analysis, and Verification
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 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy