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 1861 van 51.032 resultaten

Rainer A. Rueppel

Advances in Cryptology – EUROCRYPT ’92

paperbackEngels9783540564133 26-2-1993

A series of workshops devoted to modern cryptography began in Santa Barbara,California in 1981 and was followed in 1982 by a European counterpart in Burg Feuerstein, Germany. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Nonmonotonic and Inductive Logic

paperbackEngels9783540564331 26-2-1993

This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. Meer

84,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Michael Doob

TEX: starting from 1

paperbackEngels9783540564416 4-11-1993

TEX is the program for printing high quality mathematical text to which all others are compared. It is flexible enough to be used on many different computer architectures and operating systems ranging from microcomputers to mainframes. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Nonmonotonic Logic

gebondenEngels9783540564485 3-11-1993

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Software for Parallel Computation

gebondenEngels9783540564515 13-4-1993

This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "Software for Parallel Computation" held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Extensions of Logic Programming

paperbackEngels9783540564546 12-2-1993

This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Expertensysteme 93

paperbackDuits9783540564645 9-2-1993

Willkommen zur 2. Deutsehen Expertensystemtagung in Hamburg! Seit der ersten Tagung 1987 in Ntirnberg haben sich Expertensysteme sowohl in der Industrie als auch in der For sehung weitgehend etabliert und in verschiedenen Richtungen weiterentwickelt. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Friedhelm Sowa

TEX/LATEX und Graphik

paperbackDuits9783540564683 27-5-1994

Dieser Überblick über die wichtigsten Verfahren zur Integration von Grafiken in TeX-Dokumente unterstützt den Leser sowohl bei der Entscheidung für ein geeignetes Verfahren als auch bei der praktischen Arbeit mit TeX/LaTeX. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Machine Learning: From Theory to Applications

paperbackEngels9783540564836 30-3-1993

This volume includes some of the key research papers in the area of machine learning produced at MIT and Siemens during a three-year joint research effort. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Datenbanksysteme in Büro, Technik und Wissenschaft

paperbackDuits9783540564874 23-2-1993

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computer Aided Verification

paperbackEngels9783540564966 30-3-1993

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

STACS 93

paperbackEngels9783540565031 19-2-1993

This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. Meer

144,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Typed Lambda Calculi and Applications

paperbackEngels9783540565178 3-3-1993

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming languages. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computer Simulation and Computer Algebra

paperbackEngels9783540565307 29-7-1993

Computer Simulation and Computer Algebra. Starting from simple examples in classical mechanics, these introductory lectures proceed to simulations in statistical physics (using FORTRAN) and then explain in detail the use of computer algebra (by means of Reduce). Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Verification and Validation of Complex Systems: Human Factors Issues

gebondenEngels9783540565741 30-8-1993

Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Meer

360,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Cognitive Models and Intelligent Environments for Learning Programming

gebondenEngels9783540565802 29-7-1993

At present, there is a general consensus on the nature of learning programming, but there are different opinions on what forms an effective environment for it. Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Semantics: Foundations and Applications

paperbackEngels9783540565963 29-4-1993

Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Ulrich Sendler

3D-CAD

paperbackDuits9783540566090 28-1-1994

Die objektorientierte Programmierung setzt sich auch im CAD-Bereich durch. 3D ist nicht mehr Spezialit{t, sondern wird zum Kern der Produktentwicklung. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Vinny Cahill

The COMANDOS Distributed Application Platform

paperbackEngels9783540566601 29-9-1993

The last decade has seen an enormous change in the capability of information technology and also in the expectations of what that technology can provide. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

FME '93: Industrial-Strength Formal Methods

paperbackEngels9783540566625 6-4-1993

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. Meer

144,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