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

Bekijk resultaten in...

Alle producten Managementboeken Seminars + Trainingen Online magazine Sale

Filteren 1

Pagina 2689 van 55.815 resultaten

Ken Robinson

ZB 2002: Formal Specification and Development in Z and B

paperbackEngels9783540431664 16-1-2002

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23–25 January 2002 in the city of Grenoble in the heart of the French Alps. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Peter Müller

Modular Specification and Verification of Object-Oriented Programs

paperbackEngels9783540431671 23-1-2002

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Bildverarbeitung für die Medizin 2002

paperbackDuits9783540432258 4-3-2002

In den letzten Jahren hat sich der Workshop "Bildverarbeitung für die Medizin" durch erfolgreiche Veranstaltungen etabliert. In übersichtlicher Form das breite Spektrum universitärer und industrieller Anwendung und Forschung dargestellt. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Tests and Proofs

paperbackEngels9783642389153 7-6-2013

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. Meer

56,20

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Giancarlo Succi

Open Source Software: Quality Verification

gebondenEngels9783642389276 7-6-2013

This book constitutes the refereed proceedings of the 9th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2013, held in Koper-Capodistria, Slovenia, in June 2013. Meer

111,40

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Robert Pollack

Types for Proofs and Programs

paperbackEngels9783540432876 20-2-2002

This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th – 12th of December, 2000 at the University of Durham, Durham, UK. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

The Nature of Computation: Logic, Algorithms, Applications

paperbackEngels9783642390524 19-7-2013

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Case-Based Reasoning Research and Development

paperbackEngels9783642390555 6-6-2013

This book constitutes the refereed proceedings of the 21st International Conference on Case-Based Reasoning Research and Development (ICCBR 2013) held in Saratoga Springs, NY, USA, in July 2013. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Information Security and Privacy

paperbackEngels9783642390586 7-6-2013

This book constitutes the refereed conference proceedings of the 18th Australasian Conference on Information Security and Privacy, ACISP 2013, held in Brisbane, Australia, in July 2013. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Advances in Neural Networks- ISNN 2013

paperbackEngels9783642390678 15-7-2013

The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on Neural Networks, ISNN 2013, held in Dalian, China, in July 2013. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Theory and Applications of Satisfiability Testing - SAT 2013

paperbackEngels9783642390708 19-7-2013

This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

The Brain: Fuzzy Arithmetic to Quantum Computing

paperbackEngels9783642060052 21-10-2010

We could start writing this book by saying, with several other authors, that the brain is the most powerful and complex information processing device known, whether naturally developed or created artificially. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Fujio Yamaguchi

Curves and Surfaces in Computer Aided Geometric Design

paperbackEngels9783642489549 20-11-2013

ThIS IS an English verSIOn of the book m two volumes, entitled "KeiJo Shon Kogaku (1), (2)" (Nikkan Kogyo Shinbun Co.) written in Japanese. The purpose of the book is a umfied and systematic exposition of the wealth of research results m the field of mathematical representation of curves and surfaces for computer aided geometric design that have appeared in the last thirty years. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

E-Voting and Identity

paperbackEngels9783642391842 18-7-2013

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. Meer

56,20

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion

paperbackEngels9783642391873 10-7-2013

The three-volume set LNCS 8009-8011 constitutes the refereed proceedings of the 7th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Mobile Robots in Rough Terrain

paperbackEngels9783642060267 15-12-2010

This monograph discusses issues related to estimation, control, and motion planning for mobile robots operating in rough terrain, with particular attention to planetary exploration rovers. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Design of Intelligent Multi-Agent Systems

paperbackEngels9783642061776 21-10-2010

There is a tremendous interest in the design and applications of agents in virtually every area including avionics, business, internet, engineering, health sciences and management. Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Jack J. Dongarra

Computational Science - ICCS 2002

paperbackEngels9783540435914 12-4-2002

Computational Science is the scienti?c discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. Meer

168,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Oliver Deussen

Computergenerierte Pflanzen

gebondenDuits9783540436065 12-12-2002

Die Schönheit der Natur mit dem Rechner nachzubilden, fasziniert die Computergraphik seit jeher. Im vorliegenden Buch werden Verfahren zur Erzeugung künstlicher Pflanzenmodelle beschrieben und deren Anwendung in Bereichen wie Simulation, Virtual Reality, Botanik, Landschaftsplanung und Architektur. Meer

76,13

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Kerstin Osswald

Konzeptmanagement

gebondenDuits9783540436072 14-11-2002

Für das Management von Multimediaprojekten gab es bisher keine unternehmensübergreifenden, praxistauglichen Vorgehensmodelle, die auf spezifische Probleme der Multimediabranche zugeschnitten sind. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Uw winkelwagen

Computer en informatica

jQuery - de basis

Hardlopers

Aanbiedingen

Aanraders

ITIL 4 – Pocketguide 2e druk