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 2322 van 50.794 resultaten

Peter J. Stuckey

Logic Programming

paperbackEngels9783540439301 17-7-2002

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Andrei Voronkov

Automated Deduction - CADE-18

paperbackEngels9783540439318 17-7-2002

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computational Logic: Logic Programming and Beyond

paperbackEngels9783540439592 12-7-2002

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computational Logic: Logic Programming and Beyond

paperbackEngels9783540439608 12-7-2002

144,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computing and Combinatorics

paperbackEngels9783540439967 31-7-2002

The abstract and papers in this volume were presented at the Eighth Annual International Computing and Combinatorics Conference (COCOON 2002), held on August 15-17 in Singapore. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computer Aided Verification

paperbackEngels9783540439974 19-7-2002

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Hans-Georg Beyer

The Theory of Evolution Strategies

gebondenEngels9783540672975 27-3-2001

Evolutionary algorithms, such as evolution strategies, genetic algorithms, or evolutionary programming, have found broad acceptance in the last ten years. Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Knowledge Discovery in Databases

paperbackDuits9783540673286 27-9-2000

Knowledge Discovery in Databases (KDD) ist ein aktuelles Forschungs- und Anwendungsgebiet der Informatik. Ziel des KDD ist es, selbständig entscheidungsrelevante, aber bisher unbekannte Zusammenhänge und Verknüpfungen in den Daten großer Datenmengen zu entdecken und dem Analysten oder dem Anwender in übersichtlicher Form zu präsentieren. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Ralf Steinmetz

Multimedia-Technologie

gebondenDuits9783540673323 21-8-2000

In dem Buch Multimedia-Technologie werden Grundlagen, Komponenten und Systeme multimedialer Datenverarbeitung beschrieben. In diesem Werk werden die integrierte digitale Speicherung, Kommunikation, Verarbeitung und Darstellung kontinuierlicher (z. Meer

90,71

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

JooSeok Song

Information Security and Cryptology - ICISC'99

paperbackEngels9783540673804 12-4-2000

The 2nd International Conference on Information Security and Cryptology (ICISC)wassponsored bythe KoreaInstituteofInformationSecurityandCr- tology(KIISC). Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Knowledge Discovery and Data Mining. Current Issues and New Applications

paperbackEngels9783540673828 5-4-2000

The Fourth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2000) was held at the Keihanna-Plaza, Kyoto, Japan, April 18 - 20, 2000. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Temporal Logic and State Systems

gebondenEngels9783540674016 27-3-2008

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. Meer

84,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Macromedia GmbH - Akademie für Neue Medien

Konzeption und Entwicklung interaktiver Lernprogramme

gebondenDuits9783540674375 19-3-2002

Das Werk vermittelt medienadäquat die notwendigen Kenntnisse, um Konzeptionen und Drehbücher für interaktive E-Learning-Programme erstellen und Lernprogrammprojekte organisieren und leiten zu können. Meer

258,93

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Jose Rolim

Parallel and Distributed Processing

paperbackEngels9783540674429 19-4-2000

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Michael Thielscher

Challenges for Action Theories

paperbackEngels9783540674559 16-4-2000

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Bodo Pareigis

Lineare Algebra für Informatiker

paperbackDuits9783540675334 4-9-2000

Das vorliegende Buch bietet eine auf die Belange der mathematischen Grundausbildung der Informatiker zugeschnittene Einführung in die Lineare Algebra, die den Leser bis hin zu den Euklidischen Vektorräumen und der Hauptachsentransformation führt. Meer

34,64

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Cambyse G. Omidyar

Mobile and Wireless Communication Networks

paperbackEngels9783540675433 8-5-2000

Mobile and Wireless Communications Networks 2000 (MWCN2000) was the second conference in its series aimed at stimulating technical exchange in the emergingandimportantel dofMobileandWirelessCommunicationsNetworks. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

MuPAD Tutorial

paperbackEngels9783540675464 6-7-2000

This book explains the basic use of the software package called MuPAD and gives an insight into the power of the system. M u PAD is a so-called computer algebra system, which is developed mainly at the University of Paderborn in Germany. Meer

96,94

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Dimitris N. Christodoulakis

Natural Language Processing - NLP 2000

paperbackEngels9783540676058 24-5-2000

This volume contains the papers prepared for the 2nd International Conference on Natural Language Processing, held 2-4 June in Patras, Greece. The conference program features invited talks and submitted papers, c- ering a wide range of NLP areas: text segmentation, morphological analysis, lexical knowledge acquisition and representation, grammar formalism and s- tacticparsing,discourse analysis,languagegeneration,man-machineinteraction, machine translation, word sense disambiguation, and information extraction. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Annalisa Bossi

Logic-Based Program Synthesis and Transformation

paperbackEngels9783540676287 7-6-2000

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. 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

De AI-revolutie