Computer en informatica

Erdinç Saçan

AI voor iedereen

'AI voor iedereen' is een baanbrekend boek dat de ethische en maatschappelijke uitdagingen van kunstmatige intelligentie blootlegt..
34,99 24,99

Hardlopers

Bob van Duuren
€ 29,99
Morgen in huis
Cheryl Porcelijn
€ 34,95
Morgen in huis
Gerben Wierda
€ 17,99
Morgen in huis
Aaron Mirck
€ 20,95
Morgen in huis

Aanbiedingen

Bob van Duuren
€ 18,95
€ 24,99
-25%
Morgen in huis
Team VDM
€ 24,99
€ 34,99
-29%
Morgen in huis
Bob van Duuren
€ 23,95
€ 29,99
-21%
Morgen in huis
Harry Woldendorp
€ 18,95
€ 24,00
-22%
Morgen in huis

Aanraders

Michiel de van der Schueren
€ 39,50
Morgen in huis
Erwin Blom
€ 34,99
Morgen in huis
Martijn Aslander
€ 29,99
Morgen in huis
Team VDM
€ 24,99
Morgen in huis
Etienne Donicie
€ 29,95
Morgen in huis
Niek De Visscher
€ 26,49
Morgen in huis
Hans Frederiks
€ 29,99
Morgen in huis
Larisse Buijze
€ 34,99
Morgen in huis

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

Alle producten

Filter de resultaten

Actieve filters 1

Computer en informatica

Rubriek

Managementrubriek

Toon meer

Aanbevolen

Producten

Taal

Toon meer

Serie

Toon meer

Ministerie

Trefwoorden

Toon meer

Prijs

-
Toon resultaten
Filteren 1
Sorteren
Pagina 462 van 50.547 resultaten
Alle producten

GebondenEngels9780521413008 26-9-1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence.  Meer
€ 130,14
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521414135 11-2-1993
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.  Meer
€ 151,68
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521551151 17-8-1995
This book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions.  Meer
€ 125,85
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521551243 26-1-1996
Symbolic dynamics is a rapidly growing area of dynamical systems. Although it originated as a method to study general dynamical systems, it has found significant uses in coding for data storage and transmission as well as in linear algebra.  Meer
€ 176,07
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521115964 29-4-2011
In today's security-conscious society, real-world applications for authentication or identification require a highly accurate system for recognizing individual humans.  Meer
€ 138,76
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521147750 27-5-2010
Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic.  Meer
€ 56,95
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521435925 10-11-2005
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic.  Meer
€ 67,00
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521382328 28-7-1989
This volume contains the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods through software engineering to implementations.  Meer
€ 114,37
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521450553 20-5-1993
This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences.  Meer
€ 135,89
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521190176 20-2-2012
Machine learning is an interdisciplinary field of science and engineering that studies mathematical theories and practical applications of systems that learn.  Meer
€ 170,33
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521191814 27-7-2009
In an IT world in which there are differently sized projects, with different applications, differently skilled practitioners, and on-site, off-site, and off-shored development teams, it is impossible for there to be a one-size-fits-all agile development and testing approach.  Meer
€ 110,06
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521601245 18-11-2004
The TCP/IP family of protocols have become the de facto standard in the world of networking, are found in virtually all computer communication systems, and form the basis of today's Internet.  Meer
€ 81,35
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521602808 25-3-2004
Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents.  Meer
€ 48,34
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521168755 21-7-2011
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.  Meer
€ 67,00
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521035361 18-1-2007
Cryptography is concerned with the conceptualization, definition and construction of computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations.  Meer
€ 71,30
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521534765 31-7-2006
For many everyday transmissions, it is essential to protect digital information from noise or eavesdropping. This undergraduate introduction to error correction and cryptography is unique in devoting several chapters to quantum cryptography and quantum computing, thus providing a context in which ideas from mathematics and physics meet.  Meer
€ 48,34
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780521197465 29-4-2010
Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner.  Meer
€ 122,96
Levertijd ongeveer 9 werkdagen | Gratis verzonden
PaperbackEngels9780521617932 13-11-2006
There is a growing need for a more automated system of partitioning data sets into groups, or clusters. For example, digital libraries and the World Wide Web continue to grow exponentially, the ability to find useful information increasingly depends on the indexing infrastructure or search engine.  Meer
€ 51,21
Levertijd ongeveer 9 werkdagen | Gratis verzonden
GebondenEngels9780471498285 28-3-2001
A much--needed guide on how to apply patterns in user interface design While the subject of design patterns for software development has been covered extensively, little has been written about the power of the pattern format in interface design.  Meer
€ 58,40
Levertijd ongeveer 16 werkdagen | Gratis verzonden
PaperbackEngels9780521090964 27-11-2008
This book shows how densities arise in simple deterministic systems. There has been explosive growth in interest in physical, biological and economic systems that can be profitably studied using densities.  Meer
€ 69,87
Levertijd ongeveer 9 werkdagen | Gratis verzonden

Rubrieken

    Personen

      Trefwoorden