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 2406 van 55.818 resultaten

Information Security and Privacy

paperbackEngels9783540734574 15-6-2007

Here is a highly relevant book that covers a wide array of key aspects in information security. It constitutes the refereed proceedings of the 12th Australasian Conference on Information Security and Privacy held in Townsville, Australia in July 2007. Meer

114,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Product-Focused Software Process Improvement

paperbackEngels9783540734598 21-6-2007

A vital new publication for scientists and researchers in the field, this book constitutes the refereed proceedings of the 8th International Conference on Product Focused Software Process Improvement, PROFES 2007, held in Riga, Latvia in July 2007. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Peter-Joachim Becker

Sehr fortgeschrittene Handhabungssysteme

paperbackDuits9783540135944 1-8-1984

Das mit Mitteln des BMFT durchgefUhrte Vorhaben "Sehr fortgeschrittene Handhabungssysteme" hatte eine Laufzeit vom 01.08.1977 bis zum 31.12.'82. Es wurde am Fraunhofer-Institut fUr Infornations- und Datenverarbeitung (IITB), Karlsruhe, in Zusarnmenarbeit mit dem Fraunhofer-Institut fUr Produktionstechnik und Automatisierung (IPA), Stuttgart, durchgefUhrt. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Henry Gordon Dietz

Languages and Compilers for Parallel Computing

paperbackEngels9783540040293 20-5-2003

This volume contains (revised versions) of papers presented at the 14th Wo- shop on Languages and Compilers for Parallel Computing. Parallel computing used to be nearly synonymous with supercomputing research, but as parallel processing technologies have become common features of commodity processors and systems,the focus of this workshopalsohas shifted. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Tadeusz Morzy

Handbook on Data Management in Information Systems

gebondenEngels9783540438939 15-7-2003

The Handbook provides practitioners, scientists and graduate students with a good overview of basic notions, methods and techniques, as well as important issues and trends across the broad spectrum of data management. Meer

240,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Image and Video Retrieval

paperbackEngels9783540438991 3-7-2002

Welcome to the International Conference an Image and Video Retrieval, CIVR2002. Ourconferenceisasnapshotofthecurrentworld-wideresearch inimageandvideoretrievalfromdigitallibraries,databases,andmultimedia collections. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Peter Graf

Term Indexing

paperbackEngels9783540610403 27-3-1996

Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Tools and Algorithms for the Construction and Analysis of Systems

paperbackEngels9783540610427 20-3-1996

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Solving Combinatorial Optimization Problems in Parallel Methods and Techniques

paperbackEngels9783540610434 27-3-1996

Solving combinatorial optimization problems can often lead to runtime growing exponentially as a function of the input size. But important real-world problems, industrial applications, and academic research challenges, may demand exact optimal solutions. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Automated Reasoning with Analytic Tableaux and Related Methods

paperbackEngels9783540439295 17-7-2002

This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 – August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002). Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

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

Süleyman Özekici

Reliability and Maintenance of Complex Systems

gebondenEngels9783540611097 18-6-1996

Complex high-technology devices are in growing use in industry, service sectors, and everyday life. Their reliability and maintenance is of utmost importance in view of their cost and critical functions. Meer

360,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Heinrich Rust

Operational Semantics for Timed Systems

paperbackEngels9783540255765 4-4-2005

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Abstraction, Reformulation, and Approximation

paperbackEngels9783540439417 19-7-2002

It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Parallel Symbolic Languages and Systems

paperbackEngels9783540611431 24-4-1996

This book presents the refereed proceedings of the International Workshop on Parallel Symbolic Languages and Systems, PSLS '95, held in Beaune, France, in October 1995. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Model-Driven Software Development

gebondenEngels9783540256137 21-7-2005

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Intelligent Distributed Computing XI

paperbackEngels9783319882307 15-8-2018

This book presents a collection of contributions addressing recent advances and research in synergistic combinations of topics in the joint fields of intelligent computing and distributed computing. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science

paperbackEngels9783319882703 12-8-2018

This volume consists of revised selected papers presented at the 3rd and 4th International Conference on Smart Energy Research, SmartER Europe 2016 and 2017, held in Essen, Germany, in February 2016 and 2017. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Grzegorz J. Nalepa

Modeling with Rules Using Semantic Knowledge Engineering

paperbackEngels9783319882949 15-8-2018

This book proposes a consistent methodology for building intelligent systems. It puts forward several formal models for designing and implementing rules-based systems, and presents illustrative case studies of their applications. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Uw winkelwagen

Computer en informatica

jQuery - de basis

Hardlopers

Aanbiedingen

Aanraders

ITIL 4 – Pocketguide 2e druk