Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Problems and Solutions in Biological Sequence Analysis
Problems and Solutions in Biological Sequence Analysis
Bioinformatics, an integral part of post-genomic biology, creates principles and ideas for computational analysis of biological sequences. These ideas facilitate the conversion of the flood of sequence data unleashed by the recent information explosion in biology into a continuous stream of discoveries. Not surprisingly, the new biology of the...
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

A Statistical Guide for the Ethically Perplexed
A Statistical Guide for the Ethically Perplexed

For disciplines concerned with human well-being, such as medicine, psychology, and law, statistics must be used in accordance with standards for ethical practice. A Statistical Guide for the Ethically Perplexed illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical...

Credit and Community: Working-Class Debt in the UK since 1880
Credit and Community: Working-Class Debt in the UK since 1880
Credit's centrality to the current economic crisis makes the publication of Sean O'Connell's social history of working-class credit consumption particularly timely. Although the credit crunch came too late to be included in this book, the portrait of a complex relationship between lenders and borrowers over the past 120 years should be required...
Verification Techniques for System-Level Design (Systems on Silicon)
Verification Techniques for System-Level Design (Systems on Silicon)
A must-read in formal and semi-formal verification!

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the
...
PHP Master: Write Cutting Edge Code
PHP Master: Write Cutting Edge Code

PHP Master is aimed at intermediate PHP developers—those who have left their newbie status behind, and are looking to advance their skills and knowledge. Our aim as authors is to enable developers to refine their skills across a number of areas, and so we’ve picked topics that we felt have stood us in the best stead to grow...

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Lectures (Lecture Notes in Computer Science)
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Lectures (Lecture Notes in Computer Science)

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such...

The Hiring and Firing: Question and Answer Book
The Hiring and Firing: Question and Answer Book
Falcone (96 Great Interview Questions to Ask Before You Hire), director of employment and development at Paramount Pictures, offers a comprehensive look at virtually all hiring issues, including application and termination procedures, evaluation, recommendation and lawsuits. This objective q&a-style guide offers step-by-step directions for...
The Basics of Chemistry (Basics of the Hard Sciences)
The Basics of Chemistry (Basics of the Hard Sciences)
Written for students beginning a formal study of chemistry, this volume encompasses many different topics in and approaches to introductory chemistry. Chapters are devoted to topics such as the atom, elements and the periodic table, bonding, equilibrium and kinetics, solutions, acids and bases, and chemical reactions. Several chapters discuss broad...
The Art of Agile Practice: A Composite Approach for Projects and Organizations (Advanced & Emerging Communications Technologies)
The Art of Agile Practice: A Composite Approach for Projects and Organizations (Advanced & Emerging Communications Technologies)

The Art of Agile Practice: A Composite Approach for Projects and Organizations presents a consistent, integrated, and strategic approach to achieving "Agility" in your business. Transcending beyond Agile as a software development method, it covers the gamut of methods in an organization?including...

Complete Digital Design: A Comprehensive Guide to Digital Electronics and Computer System Architecture
Complete Digital Design: A Comprehensive Guide to Digital Electronics and Computer System Architecture
Digital systems are created to perform data processing and control tasks. What distinguishes one system from another is an architecture tailored to efficiently execute the tasks for which it was designed. A desktop computer and an automobile’s engine controller have markedly different attributes dictated by their unique requirements. Despite...
An Introduction to Distributed Algorithms
An Introduction to Distributed Algorithms
"Barbosa makes the otherwise difficult subject of distributed algorithms very enjoyable and attractive to both students and researchers. The leading intuitive discussion of each algorithm is so very well organized and clearly written that a reader can, without the slightest effort, have a clear picture of it. An ideal textbook for an...
unlimited object storage image
Result Page: 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy