Home | Amazing | Today | Tags | Publishers | Years | Search 
Rigorous Software Development: An Introduction to Program Verification
Rigorous Software Development: An Introduction to Program Verification

This book is about the use of techniques and tools for the design and implementation of computer systems and software that are free from logical or functional flaws (in the sense of functional requirements). The word rigorous in the title of this book is justified by the fact that the arguments for such fault freeness have their roots...

Guide to Scientific Computing in C++ (Undergraduate Topics in Computer Science)
Guide to Scientific Computing in C++ (Undergraduate Topics in Computer Science)
Many books have been written on the C++ programming language, varying across a spectrum from the very practical to the very theoretical. This book certainly lies at the practical end of this spectrum, and has a particular focus for the practical treatment of this language: scientific computing.

Traditionally,
...
Innovative Knowledge Management: Concepts for Organizational Creativity and Collaborative Design (Premier Reference Source)
Innovative Knowledge Management: Concepts for Organizational Creativity and Collaborative Design (Premier Reference Source)
The purpose of this book is to collect and to present the results of theoretical and empirical research into various aspects of Knowledge Management (KM), innovation and, especially, the conjunction of KM and innovation. To this end, chapters are included from both academics and practitioners, and the contributions represent...
Restricted Kalman Filtering: Theory, Methods, and Application (SpringerBriefs in Statistics)
Restricted Kalman Filtering: Theory, Methods, and Application (SpringerBriefs in Statistics)

In this book, I highlight the developments in Kalman filtering subject to general linear constraints. Essentially, the material to be presented is almost entirely based on the results and examples originally developed in Pizzinga et al. (2008a), Cerqueira et al. (2009), Pizzinga (2009, 2010), Souza et al. (2011), Pizzinga et al. (2011), and...

Trends in Communication Technologies and Engineering Science (Lecture Notes in Electrical Engineering)
Trends in Communication Technologies and Engineering Science (Lecture Notes in Electrical Engineering)
A large international conference on Advances in Communication Technologies and Engineering Science was held in Hong Kong, March 19–21, 2008, under the International MultiConference of Engineers and Computer Scientists (IMECS 2008). The IMECS 2008 is organized by the International Association of Engineers (IAENG). IAENG is...
A Guide to Experimental Algorithmics
A Guide to Experimental Algorithmics

Computational experiments on algorithms can supplement theoretical analysis by showing what algorithms, implementations, and speed-up methods work best for specific machines or problems. This book guides the reader through the nuts and bolts of the major experimental questions: What should I measure? What inputs should I test? How do I...

A Practical Guide to Graphics Reporting: Information Graphics for Print, Web & Broadcast
A Practical Guide to Graphics Reporting: Information Graphics for Print, Web & Broadcast

A Practical Guide to Graphics Reporting explains all of the most important skills and theoretical considerations for creating diagrams, charts, maps, and other forms of information graphics intended to provide readers with valuable visual and textual news and information.

Research and writing skills as
...

An Introduction to Game Theory
An Introduction to Game Theory

Game-theoretic reasoning pervades economic theory and is used widely in other social and behavioral sciences. An Introduction to Game Theory, by Martin J. Osborne, presents the main principles of game theory and shows how they can be used to understand economic, social, political, and biological phenomena. The book introduces in an...

Experimental Robotics: The 10th International Symposium on Experimental Robotics (Springer Tracts in Advanced Robotics)
Experimental Robotics: The 10th International Symposium on Experimental Robotics (Springer Tracts in Advanced Robotics)

The International Symposium on Experimental Robotics (ISER) is a series of bi-annual meetings which are organized in a rotating fashion around North America, Europe and Asia/Oceania. The goal of ISER is to provide a forum for research in robotics that focuses on novelty of theoretical contributions validated by experimental results. The...

Reliability-Based Design in Geotechnical Engineering: Computations and Applications
Reliability-Based Design in Geotechnical Engineering: Computations and Applications

Reliability-based design is the only engineering methodology currently available which can ensure self-consistency in both physical and probabilistic terms.  It is also uniquely compatible with the theoretical basis underlying other disciplines such as structural design. It is especially relevant as geotechnical design becomes subject to...

Database System Concepts
Database System Concepts

Database System Concepts, 5/e, is intended for a first course in databases at the junior or senior undergraduate, or first-year graduate, level. In addition to basic material for a first course, the text contains advanced material that can be used for course supplements, or as introductory material for an advanced course.

...

An Introduction to Linear Programming and Game Theory
An Introduction to Linear Programming and Game Theory

Praise for the Second Edition:

"This is quite a well-done book: very tightly organized, better-than-average exposition, and numerous examples, illustrations, and applications."
—Mathematical Reviews of the American Mathematical Society

An Introduction to Linear Programming and...

Result Page: 166 165 164 163 162 161 160 159 158 157 156 155 154 153 152 151 150 149 148 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy