Learn IT - Books tags formal

Hardware Design Verification : Simulation and Formal Method-Based Approaches

Prentice Hall, 2005

The Practical, Start-to-Finish Guide to Modern Digital Design Verification

As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success,...

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science)

Springer, 2012

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for...

Computer Science Logo Style 2/e, Vol. 3: Beyond Programming

MIT Press, 1997

The phrase “computer science” is still, in some circles, battling for acceptance. Some
people, not necessarily antagonistic to computers, consider it an illegitimate merger of
two disconnected ideas (much as I feel myself about the phrase “computer literacy”). They
don’t see where the science comes in;...

Parsing Techniques: A Practical Guide (Monographs in Computer Science)

Springer, 2007

Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition.

This...

Mathematical Models for Systems Reliability

CRC Press, 2008

Evolved from the lectures of a recognized pioneer in developing the theory of reliability, Mathematical Models for Systems Reliability provides a rigorous treatment of the required probability background for understanding reliability theory.

This classroom-tested text begins by discussing the Poisson process and its associated...

35 Years of Fuzzy Set Theory: Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre

Springer, 2010

This book is a tribute to Etienne E. Kerre on the occasion of his retirement on October 1st, 2010, after being active for 35 years in the field of fuzzy set theory. It gathers contributions from researchers that have been close to him in one way or another during his long and fruitful career. Besides a foreword by Lotfi A. Zadeh, it contains...

Formal Languages and Compilation (Texts in Computer Science)

Springer, 2009

The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and language design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental...

Windows PowerShell in Action, Second Edition

Manning Publications, 2011

Well, it’s been a wild ride since the first edition of this book was released. At that time, PowerShell had just shipped and had a fairly limited scope of influence. Things have changed a lot. PowerShell now ships in the box with Windows (at least Windows 7 and Server 2008 R2). The number of PowerShell users is now in the hundreds...

Computer Security Fundamentals (2nd Edition)

Que, 2011

It has been more than 6 years since the publication of the original edition of this book. A great deal has happened in the world of computer security since that time. This edition is updated to include newer information, updated issues, and revised content.

The real question is who is this book for. This book is...

Endoscopic Surgery of the Potential Anatomical Spaces

Springer, 2005

“Anatomical potential spaces” is an attractive and no more abstract concept that offers new perspectives to a surgical world that is rapidily changing and becoming more complex.

Powerful new technologies demand our attention and testify that our clinical work and research are deeply influenced by...

Seamless Learning: Perspectives, Challenges and Opportunities (Lecture Notes in Educational Technology)

Springer, 2019

This book introduces readers to the latest state of research and development in seamless learning. It consolidates various approaches to and practices in seamless learning from a range of techno-pedagogical, socio-situated and socio-cultural perspectives. Further, it details our current understanding of learning...

Modeling Business Objects with XML Schema (The Morgan Kaufmann Series in Software Engineering and Programming)

Morgan Kaufmann, 2003

XML Schema is the new language standard from the W3C and the new foundation for defining data in Web-based systems. There is a wealth of information available about Schemas but very little understanding of how to use this highly formal specification for creating documents. Grasping the power of Schemas means going back to the basics of documents...

Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1