LearnIT - north-holland

Principles of Logic and Logic Programming (Studies in Computer Science and Artificial Intelligence)

North Holland, 1996

Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed.

With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation....

Operator Theory and Numerical Methods (Studies in Mathematics and its Applications)

North Holland, 2001

The authors provide a very sharp theoretical study of numerical methods used to solve partial diferential equations of elliptic and parabolic type. Every numerical scheme is thoroughly dissected. As a whole, everything fits together in a harmonious way.

The book is efficiently organized and each chapter concludes with a very informative...

Humane Interfaces (Human Factors in Information Technology)

North Holland, 1999

Ever since the first successful International Cognitive Technology (CT) Conference in Hong Kong in August 1995, a growing concern about the dehumanising potential of machines, and the machining potential of the human mind, has pervaded the organisers' thinking. When setting up the agenda for the Second International CT Conference in Aizu, Japan, in...

Extrapolation Methods (Studies in Computational Mathematics)

North Holland, 1991

This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with...

Theory of Linear Operations (North-Holland Mathematical Library)

North Holland, 1987

The theory of operators, created by V. Volterra, has as its object the study of functions defined on infinite-dimensional spaces. This theory has penetrated several highly important areas of mathematics in an essential way: suffice it to recall that the theory of integral equations and the calculus of variations are included as special cases within...

Plastic Limit Analysis of Plates, Shells and Disks (North-Holland Series in Applied Mathematics and Mechanics)

North Holland, 1997

Hardbound. This revised and updated edition of a book first published in 1972 has kept the general features of the first edition but as could be expected after two decades there are also substantial differences. For instance optimal design has been completely deleted as the developments in this field have been so great that it warrants a book in...

Set Theory (Studies in Logic and the Foundations of Mathematics)

North Holland, 1983

...provides a good introduction to relative consistence proofs in axiomatic set theory. It can be recommended as a graduate text on the subject. -- Zentralblatt für Mathematik

Paperback. Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides...

De-interlacing: A Key Technology for Scan Rate Conversion (Advances in Image Communication)

North Holland, 2000

'To interlace or not to interlace' is a hot issue currently. Traditionally interlace has been part of the video standard as it reduces the transmission and display demands, while hardly affecting the perceived quality of the pictures.

With the current explosion of new video formats due to emerging technologies as multimedia PC's,...

Parallel Computing: Fundamentals, Applications and New Directions (Advances in Parallel Computing)

North Holland, 1998

This volume gives an overview of the state-of-the-art with respect to the development of all types of parallel computers and their application to a wide range of problem areas.

The international conference on parallel computing ParCo97 (Parallel Computing 97) was held in Bonn, Germany from 19 to 22 September 1997. The first conference in this...

Result Page: 1