Learn IT - Books tags formal

Concurrent and Real-Time Programming in Ada

Cambridge University Press, 2007

Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking...

Software & Systems Requirements Engineering: In Practice

McGraw-Hill, 2009

Proven Software & Systems Requirements Engineering Techniques

"Requirements engineering is a discipline used primarily for large and complex applications. It is more formal than normal methods of gathering requirements, and this formality is needed for many large applications. The authors are experienced...

Advances in Intelligent Networking and Collaborative Systems: The 11th International Conference on Intelligent Networking and Collaborative Systems ... in Intelligent Systems and Computing)

Springer, 2019

This book presents the latest innovative research findings, methods, and development techniques related to intelligent social networks and collaborative systems, intelligent networking systems, mobile collaborative systems, and secure intelligent cloud systems. Offering both theoretical and practical perspectives, it also reveals...

Microeconomics: Theory and Applications with Calculus Value Package (includes Study Guide for Microeconomics: Theory and Applications with Calculus)

Prentice Hall, 2008

his book is a new type of intermediate macroeconomics textbook- Until now, the choice was between books that use calculus to present formal theory dryly and with few, if any, applications to the real world and books that include applications but present theory using only graphs and algebra. This book uses calcu- lus, algebra, and graphs to...

Beginning Perl for Bioinformatics

O'Reilly, 2001

With its highly developed capacity to detect patterns in data, Perl has become one of the most popular languages for biological data analysis. But if you're a biologist with little or no programming experience, starting out in Perl can be a challenge. Many biologists have a difficult time learning how to apply the language to bioinformatics. The...

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms (Princeton Series in Applied Mathematics)

Princeton Press, 2009

This book covers its subject very thoroughly. The framework the authors have established is very elegant and, if it catches on, this book could be the primary reference for this approach. I don't know of any other book that covers this set of topics.
(Richard M. Murray, California Institute of Technology )

This...

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Morgan and Claypool Publishers, 2013

Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and...

Objects, Abstraction, Data Structures and Design: Using C++

John Wiley & Sons, 2005

Our goal in writing this book was to combine a strong emphasis on problem solving and software design with the study of data structures. To this end, we discuss applications of each data structure to motivate its study. After providing the specification (a header file) and the implementation of an abstract data type, we cover case...

Mathematical Methods for Physics and Engineering: A Comprehensive Guide

Cambridge University Press, 2006

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

Knowledge Representation, Reasoning and Declarative Problem Solving

Cambridge University Press, 2010

This book is about the language of logic programming with answer set semantics and its application to knowledge representation reasoning and declarative problem solving This book will be useful to researchers in logic programming declarative programming articial intelligence knowledge representation and autonomous agents to...

Automated Database Applications Testing: Specification Representation for Automated Reasoning

World Scientific Publishing, 2010

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints...

Energy-Based Control of Electromechanical Systems: A Novel Passivity-Based Approach (Advances in Industrial Control)

Springer, 2020

This book introduces a passivity-based approach which simplifies the controller design task for AC-motors. It presents the application of this novel approach to several classes of AC motors, magnetic levitation systems, microelectromechanical systems (MEMS) and rigid robot manipulators actuated by AC motors.

The novel...

Result Page: 59 58 57 56 55 54 53 52 51 50 49 48