Learn IT - Books tags formal

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press, 2009

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that...

International Security and the United States: An Encyclopedia (Praeger Security International)

Praeger Publishers, 2007

Shaped by often very dramatic events, international security and the international system have changed significantly in recent years. The conclusion of the Cold War, the emergence of new political systems, the growth of significant threats such as terrorism, and the development of new security doctrines have driven global transformation. These...

Non-Transformational Syntax: Formal and Explicit Models of Grammar

John Wiley & Sons, 2011

This authoritative introduction explores the four mainnon-transformational syntactic frameworks: Head-driven PhraseStructure Grammar, Lexical-Functional Grammar, Categorial Grammar,and Simpler Syntax. It also considers a range of issues that arisein connection with these approaches, including questions aboutprocessing and acquisition.

...

Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling

Springer, 2007

Formal specification languages, object-oriented methods, CASE tools, component-based software production, agent-oriented, aspect-oriented ... During the last two decades many techniques have been proposed from both research and industry in order to generate a correct software product from a higher-level system specification. Nevertheless, the many...

Sanskrit Computational Linguistics: 4th International Symposium, New Delhi, India

Springer, 2010

This volume constitutes the refereed proceedings of the 4th International Symposium on Sanskrit Computational Linguistics, held in New Delhi, India, in December 2010. The 18 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers can be categorized under following broad areas such as phonology...

Logic: A Very Short Introduction

Oxford University Press, 2006

Logic is one of the most ancient intellectual disciplines, and one of the most modern. Its beginnings go back to the 4th century Ð²Ñ. The only older disciplines are philosophy and mathematics, with both of which it has always been intimately connected. It was revolutionized around the turn of the twentieth century, by the...

Pixelization Paradigm: Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

Springer, 2007

We propose in this paper an outline of Pixelization Paradigm formalization. The aim of this approach is both theoretic and applied.

Theoretic by the way we believe in the heuristic value of theoretical approach: it is well known that generalizing a theory allows on the one hand enlarging the application field of this theory and on the...

Formal Verification: An Essential Toolkit for Modern VLSI Design

Morgan Kaufmann, 2015

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a...

Task Models and Diagrams for Users Interface Design: 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium in October 2006.

The 23 revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions for...

Writing Successfully in Science

Routledge, 1992

Are you a reluctant writer? If so, you are in good company. Many scientists, even the most successful ones, would rather get on with their next piece of work than settle down to reporting the last piece. But it is a fact of scientific life that every worthwhile research project must lead to publication or a written report of some kind. Each new...

The Art of Debugging with GDB, DDD, and Eclipse

No Starch Press, 2008

Debugging is of central importance to successful software development, and yet many beginning programmers are unaware of the techniques they can use to reduce the time they spend finding and fixing programming errors. GDB, a popular open source debugger, allows a programmer to trace program execution line by line, set breakpoints,...

Business Communication: Process and Product (with meguffey.com Printed Access Card), 7th Edition

South-Western College, 2010

BUSINESS COMMUNICATION: PROCESS AND PRODUCT, 7 is designed to prepare students for success in today's digital workplace as well as tips on job searching skills. The textbook and accompanying Web site explains the basics of communicating in the workplace, working in teams, how to being a good listener and understanding business etiquette....

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