Learn IT - Books tags formal

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer

Springer, 2003

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the...

Introduction to Computer Security

Addison Wesley, 2004

In this authoritative book, widely respected practitioner and teacher Matt Bishop presents a clear and useful introduction to the art and science of information security. Bishop's insights and realistic examples will help any practitioner or student understand the crucial links between security theory and the day-to-day security...

An Extended Entity-Relationship Model: Fundamentals and Pragmatics (Lecture Notes in Computer Science)

Springer, 1994

Studying modern database languages one recognizes that there is a gap between language features and theoretical foundations:

* Studies of the formal foundations exist for the relational data model but not for the Entity-Relationship model, which is a model used by numerous practical people. Also, most extensions of...

Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11)

SIAM, 2004

This self-contained monograph covers the foundations of what is currently known about automata networks, giving the reader sufficient theoretical background to be at the forefront of research in many related areas. Alexandra Kireeva, Mathematical Reviews

Algebraic Theory of Automata Networks investigates automata networks as...

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

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