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,...
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide...

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

Decision Theory: Principles and Approaches (Wiley Series in Probability and Statistics)
Decision Theory: Principles and Approaches (Wiley Series in Probability and Statistics)
Decision theory provides a formal framework for making logical choices in the face of uncertainty. Given a set of alternatives, a set of consequences, and a correspondence between those sets, decision theory offers conceptually simple procedures for choice. This book presents an overview of the fundamental concepts and outcomes of rational decision...
Matrices and Transformations
Matrices and Transformations

Text stresses use of matrices in study of transformations of the plane. Familiarizes reader with role of matrices in abstract algebraic systems and illustrates its effective use as mathematical tool in geometry. Includes proofs of most theorems. Answers to odd-numbered exercises.

MATRIX ALGEBRA is a significant topic in...

Formal Geometry and Bordism Operations (Cambridge Studies in Advanced Mathematics)
Formal Geometry and Bordism Operations (Cambridge Studies in Advanced Mathematics)
This text organizes a range of results in chromatic homotopy theory, running a single thread through theorems in bordism and a detailed understanding of the moduli of formal groups. It emphasizes the naturally occurring algebro-geometric models that presage the topological results, taking the reader through a pedagogical development of the...
Software Craftsmanship: The New Imperative
Software Craftsmanship: The New Imperative

By recognizing that software development is not a mechanical task, you can create better applications.

Today’s software development projects are often based on the traditional software engineering model, which was created to develop large-scale defense projects. Projects that use this antiquated industrial model tend to take...

ASP Made Simple (Made Simple Programming)
ASP Made Simple (Made Simple Programming)
ASP Made Simple provides a brief introduction to ASP for the person who favours self teaching and/or does not have expensive computing facilities to learn on. The book will demonstrate how the principles of ASP can be learned with an ordinary PC running Personal Web Server, MS Access and a general text editor like Notepad.

After working through...

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