Learn IT - Books tags formal

Fundamentals of Economics

Cengage Learning, 2008

Based on the comprehensive two-semester text by the same authors, this version of Economics "boils down" the formal economic theories and concepts into their essential parts, emphasizing domestic and international applications and policy issues. Fundamentals of Economics is a concise but thorough survey of economics for instructors...

Active Rules in Database Systems (Monographs in Computer Science)

Springer, 1998

A timely survey of the field from the point of view of some of the subject's most active researchers. Divided into several parts organized by theme, the book first covers the underlying methodology regarding active rules, followed by formal specification, rule analysis, performance analysis, and support tools. It then moves on to the...

Software for Dependable Systems: Sufficient Evidence?

National Academy Press, 2007

Critical systems are often subject to certiication: a formal assurance that the system has met relevant technical standards designed to ensure it will not unduly endanger the public and can be depended upon to deliver its intended service safely and securely. Today, certiication1 of the dependability of a software-based system usually relies more...

Distributed Multimedia Information Retrieval: SIGIR 2003 Workshop on Distributed Information Retrieval

Springer, 2004

During the last decade companies, governments, and research groups worldwide have directed significant effort towards the creation of sophisticated digital libraries across a variety of disciplines. As digital libraries proliferate, in a variety of media, and from a variety of sources, problems of resource selection and data...

Professional Verification: A Guide to Advanced Functional Verification

Springer, 2004

Professional Verification is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on how to solve the problems that verification teams face. Professional Verification is based on the experiences of advanced...

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) (v. 3)

Springer, 2006

From the reviews:

"The presentation is focused on the fundamental ideas of domain engineering, requirements engineering and computer system engineering. … The rigorous treatment and the author’s original style of viewing the software engineering approaches are important, outstanding features … . is of...

Introduction to Automata Theory, Languages and Computation (Addison-Wesley series in computer science)

Addison Wesley, 1979

Ten years ago the authors undertook to produce a book covering the known material on formal languages, automata theory, and computational complexity. In retrospect, only a few significant results were overlooked in the 237 pages. In writing a new book on the subject, we find the field has expanded in so many new directions that a...

Bridging Scales and Knowledge Systems: Concepts and Applications in Ecosystem Assessment

Island Press, 2006

The Millennium Ecosystem Assessment (MA) was carried out between 2001 and 2005 to assess the consequences of ecosystem change for human well-being and to establish the basis for actions needed to enhance the conservation and sustainable use of ecosystems and their contributions to human well-being. The MA was originally conceived as a...

Sustainable Peacebuilding and Social Justice in Times of Transition: Findings on the Role of Education in Myanmar

Springer, 2018

This book offers a unique insight into the ways in which education systems, governance, and actors at multiple scales interact in initial steps towards building peace. It presents a spectrum of recently conducted research in the context of Myanmar, a society in the midst of challenging transitions, politically, socio-culturally and...

Multidimensional Programming

Oxford University Press, 1995

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically...

Oxford Practice Grammar

Oxford University Press, 1999

Who is this book for?

Oxford Practice Grammar is for students of English at a middle or 'intermediate' level. This means students who are no longer beginners but who are not yet expert in English. The book is suitable for those studying for the Cambridge First Certificate in English. It can be used by students attending classes or by...

Professional Penetration Testing: Creating and Operating a Formal Hacking Lab

Syngress Publishing, 2009

Save yourself some money! This complete classroom-in-a-book on penetration testing provides material that can cost upwards of $1,000 for a fraction of the price!

Thomas Wilhelm has delivered pen testing training to countless security professionals and now through the pages of this book you can benefit from his years of experience as a...

Result Page: 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40