Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Reliability Methods (Texts in Computer Science)
Software Reliability Methods (Texts in Computer Science)

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software...

XQuery from the Experts: A Guide to the W3C XML Query Language
XQuery from the Experts: A Guide to the W3C XML Query Language

"The individual perspectives on the concepts behind the XQuery language offered by XQuery from the Experts will be of great value to those who are seeking to understand the implications, opportunities, and challenges of XQuery as they design future information systems based on XML."
—Michael Champion,
...

Grammatical Picture Generation: A Tree-Based Approach
Grammatical Picture Generation: A Tree-Based Approach
This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal systems that describe sets of pictures by means of syntactic rules. The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, the...
Great People Decisions: Why They Matter So Much, Why They are So Hard, and How You Can Master Them
Great People Decisions: Why They Matter So Much, Why They are So Hard, and How You Can Master Them
Great organizations are made up of great people. And for leaders at all levels within those organizations, the ability to find, hire, integrate, and retain great people is an absolutely critical skill—critical to their organization's success, and critical to their own success.

But for most people, making great appointments is difficult,...

A Second Course in Formal Languages and Automata Theory
A Second Course in Formal Languages and Automata Theory
Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and...
Probability, Random Processes, and Ergodic Properties
Probability, Random Processes, and Ergodic Properties

This book has a long history. It began over two decades ago as the first half of a book on information and ergodic theory. The intent was and remains to provide a reasonably self-contained advanced (at least for engineers) treatment of measure theory, probability theory, and random processes, with an emphasis on general alphabets and on ergodic...

Microchip Mathematics: Number Theory for Computer Users
Microchip Mathematics: Number Theory for Computer Users

In the Autumn of 1983, in the face of the phenomenal growth of home computer sales in the U.K., the national British newspaper The Guardian decided to produce, each week, a 'Computer Page'. Noone was quite sure exactly what should go into the page on a regular basis, but it was thought that a fortnightly column on computer mathematics...

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011

FASE (Fundamental Approaches to Software Engineering) is concerned with the foundations on which software engineering is built. Its focus is on novel techniques and the way in which they contribute to making software engineering a more mature and soundly based discipline. This year, we particularly encouraged contributions that combine the...

MPEG-4 Beyond Conventional Video Coding: Object Coding, Resilience and Scalability
MPEG-4 Beyond Conventional Video Coding: Object Coding, Resilience and Scalability
MPEG-4 (with a formal ISO/IEC designation ISO/IEC 14496) standardization was initiated in 1994 to address the requirements of the rapidly converging telecommunication, computer, and TV/film industries. MPEG-4 had a mandate to standardize algorithms for audiovisual coding in multimedia applications, digital television, interactive graphics, and...
A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
This is a practical book for computer engineers who want to understand or implement hardware/software systems. It focuses on problems that require one to combine hardware design with software design – such problems can be solved with hardware/software codesign. When used properly, hardware/software codesign works better...
Information Technology: Selected Tutorials (IFIP International Federation for Information Processing)
Information Technology: Selected Tutorials (IFIP International Federation for Information Processing)
This book contains a selection of tutorials on hot topics in information
technology, which were presented at the IFIP 18th World Computer
Congress. WCC2004 took place at the Centre de Congrès Pierre Baudis, in
Toulouse, France, from 22 to 27 August 2004.

The 11 chapters included in the book were chosen from
...
Nomic Truth Approximation Revisited (Synthese Library)
Nomic Truth Approximation Revisited (Synthese Library)

This monograph presents new ideas in nomic truth approximation. It features original and revised papers from a (formal) philosopher of science who has studied the concept for more than 35 years.

Over the course of time, the author's initial ideas evolved. He discovered a way to generalize his first theory of nomic...

Result Page: 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy