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 productenManagementboekenSeminars + TrainingenOnline magazineSale
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. Meer
When Don Swanson hypothesized a connection between Raynaud’s phenomenon anddietary?shoil,the?eldofliterature-baseddiscovery(LBD)wasborn. During thesubsequenttwodecadesasteadystreamofresearchershavepublishedarticles aboutLBDandthe? Meer
Intelligent Information Technology (iiT) encompasses the theories and ap plications of artificial intelligence, statistical pattern recognition, learning theory, data warehousing, data mining and knowledge discovery, Grid com puting, and autonomous agents and multi-agent systems in the context of today's as well as future IT, such as Electronic Commerce (EC), Business Intelligence (BI), Social Intelligence (SI), Web Intelligence (WI), Knowledge Grid (KG), and Knowledge Community (KC), among others. Meer
This book constitutes the refereed proceedings of the First European Public Key Infrastructure Workshop: Research and Applications, EuroPKI 2004, held on Samos Island, Greece in June 2004. Meer
The second International Conference on Applied Cryptography and Network Security (ACNS 2004) was sponsored and organized by ICISA (the International Communications and Information Security Association). Meer
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. Meer
Multimedia Applications discusses the basic characteristics of multimedia document handling, programming, security, human computer interfaces, and multimedia application services. Meer
Design is eminent throughout different disciplines of science, engineering, humanities, and art. However, within these disciplines, the way in which the term design is understood and applied differs significantly. Meer
This volume is published as the proceedings of the third Russian-German - vanced Research Workshop on Computational Science and High Performance Computing in Novosibirsk, Russia, in July 2007. Meer
Clifford algebra, then called geometric algebra, was introduced more than a cenetury ago by William K. Clifford, building on work by Grassmann and Hamilton. Meer
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Meer
Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Meer
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. Meer
Nützliche Verknüpfung: Der Autor führt systematisch in die Programmiersprache C++ ein und stellt sie anhand des C++Builders von Borland vor. Dieses visuelle Entwicklungssystem für Windows-Programme ist die Variante C++ von Delphi. Meer
The construction of any broadly understood theory of information or infor mation processing system involves two major methodological processes: (1) abstraction and analysis, (2) reasoning and computing. Meer
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. Meer
Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having to tell them explicitly how. Meer
Das Lehrbuch führt in konkrete Techniken und Begriffe der Analysis ein. In der Darstellung betont der Autor Ideenbildung und Argumentationshierarchien. Meer
Modern cryptography depends heavily on number theory, with primality test ing, factoring, discrete logarithms (indices), and elliptic curves being perhaps the most prominent subject areas. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books