Computer en informatica

Blijf bij in een wereld vol digitale innovatie met boeken over software, hardware, data en meer. Of je nu programmeert, onderzoekt of gewoon nieuwsgierig bent – hier ontdek je de kracht van technologie.

Zoek verder in Computer en informatica

Filteren 1

Pagina 1865 van 50.853 resultaten

Bruce G. Batchelor

Intelligent Image Processing in Prolog

gebondenEngels9783540196471 29-4-1991

After a slow and somewhat tentative beginning, machine vision systems are now finding widespread use in industry. So far, there have been four clearly discernible phases in their development, based upon the types of images processed and how that processing is performed: (1) Binary (two level) images, processing in software (2) Grey-scale images, processing in software (3) Binary or grey-scale images processed in fast, special-purpose hardware (4) Coloured/multi-spectral images Third-generation vision systems are now commonplace, although a large number of binary and software-based grey-scale processing systems are still being sold. Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

S.M. Deen

CKBS ’90

paperbackEngels9783540196495 23-6-1991

This is the first international conference aimed at bringing the distributed database and distributed AI (DAD experts together, from both academia and industry, in order to discuss the issues of the next generation of knowledge based systems, namely Cooperating Knowledge Based Systems or CKBS for short. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Peter Lindsay

mural: A Formal Development Support System

paperbackEngels9783540196518 29-5-1991

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

AI and Cognitive Science ’90

paperbackEngels9783540196532 29-5-1991

This book contains the edited versions of papers presented at the 3rd Irish Conference on Artificial Intelligence and Cognitive Science, which was held at the University of Ulster at Jordanstown, Northern Ireland on 20-21 September 1990. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Graham Birtwistle

IV Higher Order Workshop, Banff 1990

paperbackEngels9783540196600 31-7-1991

It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Past, Present, Parallel

paperbackEngels9783540196648 1-4-1991

Past, Present, Parallel is a survey of the current state of the parallel processing industry. In the early 1980s, parallel computers were generally regarded as academic curiosities whose natural environment was the research laboratory. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Functional Programming, Glasgow 1990

paperbackEngels9783540196679 30-4-1991

The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and industry. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

AISB91

paperbackEngels9783540196716 29-4-1991

AISB91 is the eighth conference organized by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. It is not only the oldest regular conference in Europe on AI - which spawned the ECAI conferences in 1982 - but it is also the conference that has a tradition for focusing on research as opposed to applications. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

J.E. Nicholls

Z User Workshop, Oxford 1990

paperbackEngels9783540196723 31-7-1991

The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Connectionism in Context

paperbackEngels9783540197164 25-2-1992

Connectionism in Context aims to broaden and extend the debate concerning the significance of connectionist models. The volume collects together a variety of perspectives by experimental and developmental psychologists, philosophers and active AI researchers. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Specifications of Database Systems

paperbackEngels9783540197324 20-1-1992

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification techniques have recognised that the database field provides a rich context for developing their ideas. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

ALPUK91

paperbackEngels9783540197348 8-1-1992

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Declarative Programming, Sasbachwalden 1991

paperbackEngels9783540197355 9-4-1992

Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Building Interactive Systems

paperbackEngels9783540197362 9-4-1992

Architectures and tools are two important considerations in the construction of interactive computer systems. The former is concerned with the optimal structural organisation of systems and the latter with the effective support of the design and management of user interfaces. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Logic Program Synthesis and Transformation

paperbackEngels9783540197423 25-2-1992

Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Coupled Oscillating Neurons

paperbackEngels9783540197447 13-5-1992

This volume consists of proceedings of the one-day conference on "Coupled Oscillating Neurons" held at King's College, London on December 13th, 1990. The subject is currently of increasing interest to neurophysiologists, neural network researchers, applied mathematicians and physicists. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Yuji Masuda

Human-Centred Systems in the Global Economy

paperbackEngels9783540197454 6-8-1992

The arrival of the information society in Japan has radically altered the industrial structure, work patterns and cultural values of its society. The innovation and implementation of information technology has accelerated this change and made its effects more profoundly felt. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Code Generation — Concepts, Tools, Techniques

paperbackEngels9783540197577 6-8-1992

Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Bo Göranzon

The Practical Intellect

paperbackEngels9783540197591 10-11-1992

The intention of this book is not to add another technical work to the series of publications already available on matters connected with the relations between natural and artificial intelligence, nor to repeat the positions already well expressed in, for example, the debate between John Searle, Daniel Dennet and Hubert Dreyfus. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

J. E. Nicholls

Z User Workshop, York 1991

paperbackEngels9783540197805 6-8-1992

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Uw winkelwagen

Computer en informatica

Chess and the Art of Enterprise Architecture

Hardlopers

Aanbiedingen

Aanraders

jQuery - de basis