Applications of Learning and Planning Methods

• Hardcover | Engels | World Scientific Computer Science | nr. 26
• Learning and planning are two important topics of artificial intelligence. Learning deals with the algorithmic processes that make a computing machine... Lees meer

Mathematical Logic for Computer Science

Zhongwan Lu

• Hardcover | Engels | World Scientific Computer Science | nr. 13
• This book describes the aspects of mathematical logic related to computer sciences. The materials adopted in this book are intended to attend to both ... Lees meer

Mathematical Logic for Computer Science (2nd Edition)

Zhongwan Lu

• Hardcover | Engels | World Scientific Computer Science | nr. 47
• Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each ... Lees meer

Information, Randomness & Incompleteness: Papers on Algorithmic Information Theory

Gregory J Chaitin

• Hardcover | Engels | World Scientific Computer Science | nr. 8
• The papers gathered in this book were published over a period of more than twenty years in widely scattered journals. They led to the discovery of ran... Lees meer

Computer-Aided Specification Tech (V1)

Janos Demetrovics, Elod Knuth, Peter Rado

• Hardcover | Engels | World Scientific Computer Science | nr. 1
• This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s... Lees meer

Information-Theoretic Incompleteness

Gregory J Chaitin

• Paperback | Engels | World Scientific Computer Science | nr. 35
• In this mathematical autobiography, Gregory Chaitin presents a technical survey of his work and a nontechnical discussion of its significance. The vol... Lees meer

Understanding and Learning Statistics by Computer

DAVID H Robinson, Mark C K Yang

• Hardcover | Engels | World Scientific Computer Science | nr. 4
• This textbook provides an introduction to statistics for computer users or computer science undergraduates. The main emphasis here is on how to use th... Lees meer

Non-Deterministic Concurrent Logic Programming in Pandora

Reem Bahgat

• Hardcover | Engels | World Scientific Computer Science | nr. 37
• This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. ... Lees meer

Software Science and Engineering: Selected Papers from the Kyoto Symposia

• Hardcover | Engels | World Scientific Computer Science | nr. 31
• Twelve outstanding papers have been carefully selected from those presented at a series of symposia held at Kyoto University and the Advanced Software... Lees meer

Computer Vision and Shape Recognition

• Hardcover | Engels | World Scientific Computer Science | nr. 14
• This is an up-to-date volume of selected and expanded papers originating from Vision Interface 88, a conference held in Edmonton, Canada. A broad rang... Lees meer

DC Flux Parametron: A New Approach to Josephson Junction Logic

Eiichi Goto, Kia Fock Loe

• Hardcover | Engels | World Scientific Computer Science | nr. 6
• The direct current flux parametron using Josephson junction and based on the principle of parametron seems to be the answer for the search of new tech... Lees meer

Computational Studies of the Most Frequent Chinese Words and Sounds

Ching Yee Suen

• Hardcover | Engels | World Scientific Computer Science | nr. 3
• Following the rapid growth of powerful computer hardware and sophisticated software, Chinese computing and data processing has become a very exciting ... Lees meer

Language Architectures and Programming Environments

• Hardcover | Engels | World Scientific Computer Science | nr. 34
• This book contains articles on advanced topics in language architectures and programming environments. The chapters are written by distinctive leaders... Lees meer

Computer-Aided Specification Techniques

Janos Demetrovics, Elod Knuth, Peter Rado

• Paperback | Engels | World Scientific Computer Science | nr. 1
• This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s... Lees meer

Symbolic and Algebraic Computation by Computers - Proceedings of the Second International Symposium

• Hardcover | Engels | World Scientific Computer Science | nr. 2
• This proceedings is based on research work on formula manipulation and computer algebra, culminating in the design and construction of a formula manip... Lees meer

Visualizing Abstract Objects and Relations

Tomihisa Kamada

• Hardcover | Engels | World Scientific Computer Science | nr. 5
• Pictorial representations are very useful for humans to understand complicated relations or structures. This is the reason that the user interface of ... Lees meer

Introduction to Database and Knowledge-Base Systems

S Krishna

• Hardcover | Engels | World Scientific Computer Science | nr. 28
• This book provides a comprehensive yet concise coverage of the concepts and technology of database systems and their evolution into knowledge-bases. T... Lees meer

Introduction to Database and Knowledge-Base Systems

S Krishna

• Paperback | Engels | World Scientific Computer Science | nr. 28
• This book provides a comprehensive yet concise coverage of the concepts and technology of database systems and their evolution into knowledge-bases. T... Lees meer

Mathematical Foundations of Parallel Computing

V V Voevodin

• Hardcover | Engels | World Scientific Computer Science | nr. 33
• Parallel implementation of algorithms involves many difficult problems. In particular among them are round-off analysis, the way to convert sequential... Lees meer

Information, Randomness & Incompleteness: Papers on Algorithmic Information Theory

Gregory J Chaitin

• Paperback | Engels | World Scientific Computer Science | nr. 8
• The papers gathered in this book were published over a period of more than twenty years in widely scattered journals. They led to the discovery of ran... Lees meer

Control Theory of Robotic Systems

J M Skowronski

• Hardcover | Engels | World Scientific Computer Science | nr. 11
• Automated manufacturing is the topic of the day in industry and thus also in R&D investigation in both industrial laboratories and academia. The core ... Lees meer

Structural Pattern Analysis

• Hardcover | Engels | World Scientific Computer Science | nr. 19
• This book contains a selection of 14 papers presented at the workshop organised by the International Association for Pattern Recognition (IAPR) Techni... Lees meer

Syntactic and Structural Pattern Recognition - Theory and Applications

• Hardcover | Engels | World Scientific Computer Science | nr. 7
• This book is currently the only one on this subject containing both introductory material and advanced recent research results. It presents, at one en... Lees meer

From Humans to Computers: Cognition Through Visual Perception

Victor V Alexandrov, N D Gorsky

• Hardcover | Engels | World Scientific Computer Science | nr. 22
• This book considers computer vision to be an integral part of the artificial intelligence system. The core of the book is an analysis of possible appr... Lees meer