Learn IT - Books tags formal

Operating System Concepts Essentials

John Wiley & Sons, 2010

Operating systems are an essential part of any computer system. Similarly, a course on operating systems is an essential part of any computer-science education. This field is undergoing rapid change, as computers are now prevalent in virtually every application, from games for children through the most sophisticated planning tools for...

Understanding Computation: From Simple Machines to Impossible Programs

O'Reilly, 2013

This book is for programmers who are curious about programming languages and the theory of computation, especially those who don’t have a formal background in mathematics or computer science.

If you’re interested in the mind-expanding parts of computer science that deal with programs,...

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer, 2012

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory...

Introduction to Insurance Mathematics: Technical and Financial Features of Risk Transfers

Springer, 2011

The book aims at presenting technical and financial features of life insurance, non-life insurance, pension plans. The book has been planned assuming non-actuarial readers as its "natural" target, namely - advanced undergraduate and graduate students in Economics, Business and Finance; - professionals and technicians operating in...

Bosch

Parkstone Press, 2008

“The difference between this painter’s works and those of others: they seek to paint men as they appear on the outside, whereas he endeavours to paint the inner man, as he is on the inside.”

1453: Birth of Hieronymus Van Aken in ‘s-Hertogenbosch (now Bois-le-Duc). His family, of...

Turning up the Heat on Pain: TRPV1 Receptors in Pain and Inflammation (Progress in Inflammation Research)

Birkhauser, 2005

Despite tremendous advances in the understanding of the sensory nervous system which have accompanied the recent explosive growth of the neurosciences, rema- ably few innovative medicines directed towards pain and inflammation are ava- able. Indeed, many patients are still prescribed analgesic and anti-inflammatory medications that were...

Advanced PHP Programming

Sams Publishing, 2004

Over the past three years PHP has evolved from being a niche language used to add dynamic functionality to small sites to a powerful tool making strong inroads into large-scale, business-critical Web systems.

The rapid maturation of PHP has created a skeptical population of users from more...

Introduction to the Mathematics of Medical Imaging, Second Edition

SIAM, 2007

At the heart of every medical imaging technology is a sophisticated mathematical model of the measurement process and an algorithm to reconstruct an image from the measured data. This book provides a firm foundation in the mathematical tools used to model the measurements and derive the reconstruction algorithms used in most imaging modalities in...

Handbook on Ontologies (International Handbooks on Information Systems)

Springer, 2009

An ontology is a formal description of concepts and relationships that can exist for a community of human and/or machine agents. The notion of ontologies is crucial for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of...

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... (Lecture Notes in Computer Science (11392))

Springer, 2019

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.

The 11 revised full papers included in the volume were carefully reviewed and...

Business Process Management: Concepts, Languages, Architectures

Springer, 2007

Business process management is usually treated from two different perspectives: business administration and computer science. While business administration professionals tend to consider information technology as a subordinate aspect for experts to handle, by contrast computer scientists often consider business goals and organizational regulations...

STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

Springer, 2007

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007.

The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of...

Result Page: 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21