Automata Books - Page 12

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science)

Amazon Price: $89.95 List Price: $89.95 Usually ships in 24 hours By: Springer Amazon Marketplace: 22 new & used starting at $12.84

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics

Editorial Review:

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P (Ifip ... a, Computer Science and Technology, a-20)

IFIP TC10, Belgium) WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Luc J. M. Claesen

List Price: $177.25 By: North-Holland Amazon Marketplace: 4 new & used starting at $19.79

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics
Subjects -> Computers & Internet -> Hardware -> Microprocessors & System Design -> Computer Design

Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers (Lecture Notes in Computer Science)

Amazon Price: $69.95 List Price: $69.95 Usually ships in 24 hours By: Springer Amazon Marketplace: 26 new & used starting at $48.04

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Human Vision & Language Systems

Editorial Review:

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007, held in Prague, Czech Republic, in July 2007.

The 23 revised full papers and 7 revised poster papers presented together with the extended abstracts of 4 invited lectures were carefully reviewed and selected from 79 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.

Implementation and Application of Automata: 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers (Lecture Notes in Computer Science)

Amazon Price: $72.95 List Price: $72.95 Usually ships in 24 hours By: Springer Amazon Marketplace: 20 new & used starting at $66.64

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Human Vision & Language Systems

Editorial Review:

Proceedings of the 5th International Conference, CIAA 2000, held July 24-25, 2000 in London, Ontario, Canada. Topics addressed from theoretical as well as application oriented viewpoints range from automata applications in software engineering to new representations and algorithms for efficient implementation of automata. Softcover.

Intelligent Robots - Sensing, Modeling and Planning: Sensing, Modeling and Planning (Series in Machine Perception and Artificial Intelligence, Vol 27)

Amazon Price: $103.00 List Price: $103.00 Usually ships in 24 hours By: World Scientific Pub Co Inc Amazon Marketplace: 9 new & used starting at $82.40

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Computer Mathematics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics

Editorial Review:

Rapid advances in sensors, computers, and algorithms continue to fuel dramatic improvements in intelligent robots. In addition, robot vehicles are starting to appear in a number of applications. For example, they have been installed in public settings to perform such tasks as delivering items in hospitals and cleaning floors in supermarkets; recently, two small robot vehicles were launched to explore Mars. This book presents the latest advances in the principal fields that contribute to robotics. It contains contributions written by leading experts addressing topics such as Path and Motion Planning, Navigation and Sensing, Vision and Object Recognition, Environment Modeling, and others.

Contents: Path and Motion Planning; Navigation and Sensing; Localization and Visibility; Vision, Shape, and Object Recognition; Environment Modeling; Fixture Design and Grasping; Distributed Systems; Ecological Systems, Learning, and Robot Control; Applications.

Intelligent Systems for Finance and Business

List Price: $190.00 By: John Wiley & Sons Ltd (Import) Amazon Marketplace: 8 new & used starting at $49.82

Buy at Amazon.com

Browse similar items by category:
Subjects -> Business & Investing -> Management & Leadership -> Management
Subjects -> Business & Investing -> Management & Leadership -> Systems Analysis
Subjects -> Business & Investing -> Management & Leadership -> General AAS

Editorial Review:

A new generation of computing techniques, commonly known as "intelligent systems", are now being applied to a variety of financial and business modelling tasks. These techniques include genetic algorithms, neural networks, dynamical systems models (chaos theory), expert systems, rule induction, fuzzy systems and hybrids of these techniques. They are also being applied to stock market prediction, portfolio management, credit evaluation, fraud detection, insurance risk assessment, macro-economic modelling, and in many cases are outperforming traditional statistical techniques. This study analyzes the relative merits of the different techniques for financial and economic modelling, and examines current applications.

An Introduction to Automata Theory (Computer Science Texts)

M. W. Shields

List Price: $32.95 By: Alfred Waller Ltd Amazon Marketplace: 3 new & used starting at $46.49

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Software -> General AAS
Subjects -> Computers & Internet -> General

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

List Price: $65.00 By: Cambridge University Press Amazon Marketplace: 3 new & used starting at $93.47

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics
Subjects -> Computers & Internet -> Hardware -> Microprocessors & System Design -> Computer Design

Editorial Review:

HOL is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly proving theorems, and as theorem-proving support for application-specific verification systems. HOL is currently being applied to a wide variety of problems, including the specification and verification of critical systems. Introduction to HOL provides a coherent and self-contained description of HOL containing both a tutorial introduction and most of the material that is needed for day-to-day work with the system. After a quick overview that gives a 'hands-on feel' for the way HOL is used, there follows a detailed description of the ML language. The logic that HOL supports and how this logic is embedded in ML are then described in detail. This is followed by an explanation of the theorem-proving infrastructure provided by HOL. Finally two appendices contain a subset of the reference manual, and an overview of the HOL library, including an example of an actual library documentation.

Introduction to the Theory of Automata

Zamir Bavel

List Price: $46.90 By: Reston Pub Co Amazon Marketplace: 10 new & used starting at $2.95

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Professional & Technical -> Engineering -> General
Subjects -> Professional & Technical -> Engineering -> General AAS

Jewels Are Forever: Contributions on Theoretical Computer Science in Honor of Arto Salomaa

List Price: $84.95 By: Springer-Verlag Telos Amazon Marketplace: 11 new & used starting at $29.99

Buy at Amazon.com

Browse similar items by category:
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Automata
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Robotics
Subjects -> Computers & Internet -> Computer Science -> Artificial Intelligence -> Theory of Computing

Editorial Review:

Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa's many research areas. Due to its representative selection of classic and cutting edge trends in theoretical computer science, the book constitutes a comprehensive state-of-the-art survey. The contributions are in such central areas as automata theory, algorithms and complexity, and combinatorics of words. But not only that, they take up new areas such as regular sets and biocomputing. While some are survey articles of fundamental topics, most are original research papers.