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 1787 van 50.926 resultaten

Modelling Database Dynamics

paperbackEngels9783540198031 30-4-1993

Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

First International Workshop on Larch

paperbackEngels9783540198048 22-4-1993

The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Logic Program Synthesis and Transformation

paperbackEngels9783540198062 29-1-1993

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

14th Information Retrieval Colloquium

paperbackEngels9783540198086 13-5-1993

We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Design Issues in CSCW

paperbackEngels9783540198109 30-9-1994

One of the most significant developments in computing over the last ten years has been the growth of interest in computer based support for people working together. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Proof in VDM: A Practitioner’s Guide

paperbackEngels9783540198130 1-12-1993

Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Analysis für Informatiker

paperbackDuits9783540898221 4-3-2009

Bei dem Thema des Buches spielt das algorithmische Denken eine wichtige Rolle. Die Autoren führen in die Analysis ein, indem sie deren Grundlagen aus algorithmischer Sichtweise entwickeln, die Theorie mittels MATLAB- und Maple-Programmen und Java-Applets anschaulich machen und grundlegende Konzepte der numerischen Analysis behandeln. Meer

40,24

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Multiscale Modeling and Simulation in Science

paperbackEngels9783540888567 1-12-2008

Most problems in science involve many scales in time and space. An example is turbulent ?ow where the important large scale quantities of lift and drag of a wing depend on the behavior of the small vortices in the boundarylayer. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Web and Wireless Geographical Information Systems

paperbackEngels9783540899020 24-11-2008

The 8th edition of the International Symposium on Web and Wireless Geograp- cal Information Systems (W2GIS 2008) was held in December 2008, in the vibrant city of Shanghai, China. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Modeling Uncertainty with Fuzzy Logic

gebondenEngels9783540899235 8-4-2009

The world we live in is pervaded with uncertainty and imprecision. Is it likely to rain this afternoon? Should I take an umbrella with me? Will I be able to find parking near the campus? Meer

180,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Rules in Database Systems

paperbackEngels9783540198468 22-3-1994

This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database systems, and the papers presented covered a range of different aspects of database rule systems. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Semantics of Specification Languages (SoSL)

paperbackEngels9783540198543 30-3-1994

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

STACS 2001

paperbackEngels9783540416951 7-2-2001

The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The STACS meetings are organized jointly by the Special Interest Group for Theoretical Computer S- ence of the Gesellschaft fu ¨r Informatik (GI) in Germany and the Maison de l’Informatique et des Math ematiques Discr etes (MIMD) in France. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Ulrike Petersen

Women, Work and Computerization

paperbackEngels9783540626107 20-5-1997

This volume considers the submissions to the 6th International IFIP-TC 9/WG 9.1 Conference on Women, Work and Computerization WWC 97. The conference provides an interdisciplinary forum for researchers, practitioners and users in the field of information technology. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Random Walks and Diffusions on Graphs and Databases

gebondenEngels9783642195914 27-5-2011

Most networks and databases that humans have to deal with contain large, albeit finite number of units. Their structure, for maintaining functional consistency of the components, is essentially not random and calls for a precise quantitative description of relations between nodes (or data units) and all network components. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

STACS 97

paperbackEngels9783540626169 21-2-1997

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997. Meer

138,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Information Processing and Biological Systems

gebondenEngels9783642196201 6-3-2011

Living beings require constant information processing for survival. In cells, information is being processed and propagated at various levels, from the gene regulatory network to chemical pathways, to the interaction with the environment. Meer

120,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Audio- and Video-based Biometric Person Authentication

paperbackEngels9783540626602 3-3-1997

This book constitutes the refereed proceedings of the First International Conference on Audio- and Video-based Biometric Person Authentication, AVBPA'97, held in Crans-Montana, Switzerland, in March 1997. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Typed Lambda Calculi and Applications

paperbackEngels9783540626886 12-3-1997

This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Conjeevaram E. Veni Madhavan

Foundations of Software Technology and Theoretical Computer Science

paperbackEngels9783540520481 6-12-1989

The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Uw winkelwagen

Computer en informatica

jQuery - de basis

Hardlopers

Aanbiedingen

Aanraders

ITIL 4 – Pocketguide 2e druk