Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Handbook of Software Engineering
Handbook of Software Engineering
This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering,...
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods.  Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...

Graph Algorithms
Graph Algorithms
Shimon was a great computer scientist who inspired generations of Israeli stutents and young researchers, including many future leaders of theoretical computer science.

He was a master at creating combinatorial algorithms, constructions, and proofs. He always sought the simplest and most lucid solutions. Because
...
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Thirteen years after the publication of the first MPI (message passing interface) specification and 17 years after the first published paper on PVM(parallel virtual machine), MPI and PVM have emerged as standard programming environments and continue to be the development environment of choice for a large variety of...
Mathematical Methods for Physics and Engineering: A Comprehensive Guide
Mathematical Methods for Physics and Engineering: A Comprehensive Guide
From reviews of previous editions: '...a great scientific textbook. It is a tour de force ... to write mathematical sections that are both complete and at an appropriate academic level. The authors have clearly succeeded in this challenge, making this a remarkable pedagogical book ... The choice of exercises is excellent and possibly the best...
How to Think About Algorithms
How to Think About Algorithms
There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing...
The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics)
The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics)

The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic theory of elliptic curves in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. The book begins with a brief discussion of the...

UML and the Unified Process
UML and the Unified Process
This book provides a set of readings on the state-of-the-art and the state-of-thepractice
of the Unified Modeling Language (UML) and the Unified Process (UP).

UML is a language for specifying, visualizing, constructing and documenting
software- intensive systems. It is a unifier of proven software modeling languages that...
Mobile Satellite Communication Networks
Mobile Satellite Communication Networks
Until very recently, geostationary satellites have been used as a sole basis for the provision of mobile satellite services. However, the launch of satellite personal communication services (S-PCS), which make use of non-geostationary satellites, has provided a new dimension to the mobile satellite communications industry. The introduction of S-PCS...
Secure Systems Development with UML
Secure Systems Development with UML
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.

Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML...

Programming with Mathematica®: An Introduction
Programming with Mathematica®: An Introduction

Starting from first principles, this book covers all of the foundational material needed to develop a clear understanding of the Mathematica language, with a practical emphasis on solving problems. Concrete examples throughout the text demonstrate how Mathematica language, can be used to solve problems in science, engineering,...

A Guide to the Project Management Body of Knowledge: PMBOK(R) Guide
A Guide to the Project Management Body of Knowledge: PMBOK(R) Guide
A Guide to the Project Management Body of Knowledge (PMBOK® Guide) – Fifth Edition provides guidelines for managing individual projects and defines project management related concepts. It also describes the project management life cycle and its related processes, as well as the project life cycle.

The
...
unlimited object storage image
Result Page: 58 57 56 55 54 53 52 51 50 49 
┬ę2020 LearnIT (support@pdfchm.net) - Privacy Policy