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 2285 van 50.817 resultaten

Automated Deduction in Equational Logic and Cubic Curves

paperbackEngels9783540613985 12-6-1996

This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Automata, Languages and Programming

paperbackEngels9783540614401 26-6-1996

This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Algebraic Methodology and Software Technology

paperbackEngels9783540614630 19-6-1996

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. Meer

144,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computer Aided Verification

paperbackEngels9783540614746 17-7-1996

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computer Aided Systems Theory - CAST '94

paperbackEngels9783540614784 1-7-1996

This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Object-Based Parallel and Distributed Computation

paperbackEngels9783540614876 24-7-1996

This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Jan C. Vorbrüggen

Artificial Neural Networks - ICANN 96

paperbackEngels9783540615101 10-7-1996

This book constitutes the refereed proceedings of the sixth International Conference on Artificial Neural Networks - ICANN 96, held in Bochum, Germany in July 1996. Meer

144,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Neal Koblitz

Advances in Cryptology — CRYPTO ’96

paperbackEngels9783540615125 24-7-1996

Crypto '96, the Sixteenth Annual Crypto Conference, is sponsored by the International Association for Cryptologic Research (IACR), in cooperation with the IEEE Computer Society Technical Committee on Security and P- vacy and the Computer Science Department of the University of California at Santa Barbara (UCSB). Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Norman Hendrich

Java® für Fortgeschrittene

paperbackDuits9783540615316 13-3-1997

Fundierte Einführung in Java und die objektorientierte Programmierung. Neben der Entwicklung von Java-Applets mit Animationen für das WWW wird auch die Programmierung eigenständiger Java-Applikationen beschrieben. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Conceptual Structures: Knowledge Representations as Interlingua

paperbackEngels9783540615347 30-7-1996

This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Mathematical Foundations of Computer Science 1996

paperbackEngels9783540615507 7-8-1996

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Henri Cohen

Algorithmic Number Theory

paperbackEngels9783540615811 7-8-1996

This book constitutes the refereed post-conference proceedings of the Second International Algorithmic Number Theory Symposium, ANTS-II, held in Talence, France in May 1996. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Horst Haußecker

Mustererkennung 1996

paperbackDuits9783540615859 4-9-1996

Zum 800jahrigen Jubilaum der Stadt Heidelberg findet das 18. DAGM-Sym posium Mustererkennung 1996 an der mit 610 Jahren altesten Universitat Deutschlands statt. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Axel Hildebrand

Von der Photographie zum 3D-Modell

paperbackDuits9783540615972 29-11-1996

Gegenstand des Buches sind Methoden einer analytischen Gewinnung von Szenenbeschreibungsattributen aus zweidimensionalen Rasterbildern. Die dargestellten Methoden zur Rekonstruktion von 3D-Geometrie, Textur, Beleuchtung und Bewegung eröffnen neue Möglichkeiten für die Erzeugung realitätsnaher computergenerierter Szenen. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Pierre Fraigniaud

Euro-Par '96 - Parallel Processing

paperbackEngels9783540616269 14-8-1996

This two-volume set presents the proceedings of the Second International European Conference on Parallel Processing, EuroPar '96, held in Lyon, France, in August 1996. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Advanced Functional Programming

paperbackEngels9783540616283 14-8-1996

This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Logics in Artificial Intelligence

paperbackEngels9783540616306 28-8-1996

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Peter Holleczek

Pearl 96

paperbackDuits9783540616412 19-11-1996

Manchmal kommt es noch schlimmer, als gedacht. Standen im Vorjahr bereits BefUrchtungen im Raum, der Workshop PEARL'95 konnte angesichts flauer Konjunktur und allgemein riickHiufiger Teilnehmerzahlen nicht mehr abgehalten werden, so sind - die offentliche Diskussion liillt keinen unberiihrt - in diesem Jahr die wirtschaftliche Lage noch angespannter, die SparmaBnahmen noch rigoroser. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Database and Expert Systems Applications

paperbackEngels9783540616566 28-8-1996

This book constitutes the refereed proceedings of the 7th International Conference on Database and Expert Systems Applications, DEXA '96, held in Zurich, Switzerland, in September 1996. Meer

144,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Design and Implementation of Symbolic Computation Systems

paperbackEngels9783540616979 4-9-1996

This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. 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