This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to
Covering the basic techniques used in the latest research work, the author consolidates progress made so far, including some very recent and promising results, and conveys the beauty and excitement of
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. The approach to both these subjects is base
LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27-31, 2001. The two volumes consist of m
The second edition of this best-seller is revised and updated. It delivers a reader-friendly explanation of the relational model and its importance to database designers and builders. Clear explanatio
This book introduces the art of programming in C++. The topics covered range from simple C++ programmes to programme features such as classes, templates, and namespaces
No matter what language you are familiar with, this book will benefit you. Beginning with a rapid introduction to PHP's syntax and basic functionality, you will swiftly understand PHP. The book then s
This essential companion to Chaitin's successful books The Unknowable and The Limits of Mathematics, presents the technical core of his theory of program-size complexity. The two previous volumes are
Five experts in Mindstorm programming present advanced techniques for building and programming robots using LEGO bricks and LEGO's RCX Code, presenting advanced sample projects and coverage of LegOS,
This book is an easy, concise but fairly complete introduction to ISO/ANSI C++ with special emphasis on object-oriented numeric computation. A user-defined numeric linear algebra library accompanies t
This book is a result of the ISD'99, Eight International Conference on Infonnation Systems Development-Methods and Tools, Theory, and Practice held August 11-13, 1999 in Boise, Idaho, USA. The purpose
A guide to the programming language for intermediate to advanced level programmers covers forms, disk and files, advanced Windows API usage, and database and Internet programming.
Learning how to write multithreaded applications is the key to taking full advantage of the Java platform. InTaming Java Threads, well-known columnist and Java expert Allen Holub provides Java program
For those who want to learn more about computer animation without being swamped with complex mathematics, this is the book to read! Beginning with the relationship between animation, the human visual
This book teaches the architectures, design principles, and troubleshooting techniques of a LAN, imparted via the presentation of a broad scope of data and computer communication standards, real-world
The aim of this book is to discuss the fundamental ideas which lie behind the statistical theory of learning and generalization. It considers learning as a general problem of function estimation based
Despite the interest in parallelism and parallel processing, there is a fundamental question that has remained largely unexplored, namely the question of how to design multiprograms (parallel programs
The conception of fresh ideas and the development of new techniques for Blind Source Separation and Independent Component Analysis have been rapid in recent years. It is also encouraging, from the per
This book documents the state of the art in combinatorial optimization, presenting approximate solutions of virtually all relevant classes of NP-hard optimization problems. The wealth of problems, alg
This concise guide covers the fundamental aspects of the numerical analysis, basing upon it the construction of its routines for solving nonlinear equations, linear and nonlinear systems of equations,
This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, s
At once a programming course that emphasises object-oriented thinking as well as a well-documented, versatile, and robust geometry library. All of the relevant geometry is covered in depth to provide
This advanced handbook presents a broad and up-to-date view of the computational complexity theory of Boolean circuits. It combines the algorithmic and the automata-theoretic approaches, and includes
An approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. The authors consider the problem in terms of parameterized languages and taking "k-slices"
This book teaches two important topics in contemporary software development: object-oriented programming and Java. The book uses a different approach from most of the available literature. It begins w
This book constitutes the refereed proceedings of the 9th International Conference on Database and Expert Systems Applications, DEXA'98, held in Vienna, Austria, in August 1998.The 81 revised full pap
An exploration of the basis for social and economic behaviour. Using cellular automata in particular, the authors model various factors that are involved in a system of individuals who interact social
Written for readers who are not computer or electrical engineers, this book is for those who want enough information to make intelligent buying or upgrading decisions, maximize their productivity, and
"A fascinating collection of profiles and interviews with some of the men...who brought us (to the computer age)." -L.R. SHANNON, THE NEW YORK TIMES"...Dennis Shasha and Cathy Lazere have written a fr
A consensus seems to exist on the following. In foreign language acquisition methodology sound methods and efficient tools have been developed until now in order to allow the learner to master and put
A presentation of the central and basic concepts, techniques, and tools of computer science, with the emphasis on presenting a problem-solving approach and on providing a survey of all of the most imp
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the b
This book is an introduction to coding and information theory, with an emphasis on coding theory. It is suitable for undergraduates with a modest mathematical background. While some previous knowledge
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all o
Neural networks are a computing paradigm that is finding increasing attention among computer scientists. In this book, theoretical laws and models previously scattered in the literature are brought to
In spite of its importance, the ocean is generally overlooked since we focus more of our attention on land and atmospheric issues. We have not yet been able to explore the full depths of the ocean and
Formal specifications were first used in the description of program- ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing system
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it p
