Книги. Художественная литература. Учебники и пособия.

-

Robert P. Kurshan

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational complexity, and perhaps general utility as well. This book develops the theory of automata-theoretic verification from its foundations, with a focus on algorithms and heuristics to reduce the computational complexity of analysis. It is suitable as a text for a one-or two-semester graduate course, and is recommended reading for anyone planning to use a verification tool, such as COSPAN or SMV. An extensive...

Nigel P. Cook

-

Santanu Mahapatra, Adrian Mihai Ionescu

-

Edward A. Feigenbaum, Julian Feldman

Computers and Thought showcases the work of the scientists who not only defined the field of Artificial Intelligence, but who are responsible for having developed it into what it is today. Originally published in 1963, this collection includes twenty classic papers by such pioneers as A. M. Turing and Marvin Minsky who were behind the pivotal advances in artificially simulating human thought processes with computers. Among the now hard-to-find articles are reports of computer programs that play chessand checkers, prove theorems in logic and geometry, solve problems in calculus, balance assembly lines, recognize visual temporal patterns, and communicate in natural language. The reports of simulation of cognitive processes include computer models of human behavior in logic problems, deciding on common stock portfolios, and carrying out social interaction. Models of verbal learning behavior, predictive behavior in two-choice experiments, and concept formation are also included....

Donna L. Baker

Adobe Acrobat is one of the most widely recognized tools for document management, office communications, and improved workflow, and Acrobat 8 is the most powerful version yet, introducing new tools for shared reviews, creating automated forms, license management, additional security, and many others. Now that PDF has become the ubiquitous electronic document format, industries as diverse as engineering, legal, manufacturing, and government all rely on Acrobat to make their tasks run smoother and more efficiently. Here to help guide you, Acrobat expert Donna Baker presents real-life scenarios that you can apply to any situation in which document control and management is an issue. With practical advice, productivity tips, and step-by-step directions for using the latest Acrobat features, Acrobat 8 in the Office will help you understand the broad capabilities of this a€?what-can’t-it-do?a€? software. Among other useful features, this book also • Shows you how...

H. Kangassalo, Hannu Jaakkola, Koichi Hori, Hannu Kangassalo

Mohamed Henini, M Razeghi

Tremendous progress has been made in the last few years in the growth, doping and processing technologies of the wide bandgap semiconductors. As a result, this class of materials now holds significant promis for semiconductor electronics in a broad range of applications. The principal driver for the current revival of interest in III-V Nitrides is their potential use in high power, high temperature, high frequency and optical devices resistant to radiation damage. This book provides a wide number of optoelectronic applications of III-V nitrides and covers the entire process from growth to devices and applications making it essential reading for those working in the semiconductors or microelectronics. Broad review of optoelectronic applications of III-V nitrides

-

Masaru Tomita