This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994.
During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. Meer
This book constitutes the refereed proceedings of the 11th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2011, held in Torino, Italy, in April 2011. Meer
Many parallel computer architectures are especially suited for particular classes of applications. However, there are only a few parallel architectures equally well suited for standard programs. Meer
This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Meer
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. Meer
Without a doubt the idea of object-oriented programming has brought some motion into the field of programming methodology and enlarged the set of programming languages. Meer
This volume presents the proceedings of the 13th British National Conference on Databases, BNCOD 13, held in Manchester, UK in July 1995.
The volume contains 2 invited contributions and 14 full revised technical papers selected from a total of 64 submissions. Meer
This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. Meer
This volume constitutes the 48 full refereed research papers accepted for presentation at the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '95, held in Fribourg, Switzerland in July 1995 under the sponsorship of the DRUMS consortium (ESPRIT II BRA 6156). Meer
Ausgehend von der Theorie und den Protokollen der Quantenkryptografie werden in dem Band die Servicequalitäten vorgestellt, die angesichts der aktuellen technischen Möglichkeiten erreichbar sind. Meer
This volume constitutes the refereed proceedings of the 10th International Symposium on Experimental Algorithms, SEA 2011, held in Kolimpari, Chania, Crete, Greece, in May 2011. Meer
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. Meer
Für viele Aufgabenstellungen bei der Automatisierung technischer Systeme und im Bereich der Naturwissenschaften und Wirtschaftswissenschaften benötigt man genaue mathematische Modelle für das dynamische Verhalten von Systemen. Meer
Dieser Band enthält die Beiträge einer Ringvorlesung Highlights aus der Informatik an der Universität Dortmund, in der Wissenschaftler, die durch ihre Forschung und didaktischen Fähigkeiten ausgewiesen sind, Glanzlichter aus der neueren Informatikforschung aufbereiteten und sie so Studenten und interessierten Laien zugänglich gemacht haben. Meer
This volume contains papers presented at the Thirteenth Taniguchi Symposium on the Theory of Condensed Matter, which was held at Kashikojima (in Ise Shima National Park), Japan, from 6th to 9th November, 1990. Meer
Irrespective of whether we use economic or societal metrics, the Internet is one of the most important technical infrastructures in existence today. Meer
This book constitutes the reviewed post-proceedings of the 5th International ICST Conference on Access Networks, AccessNets 2010, and of the satellite event , the First International ICST Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, held jointly in Budapest, Hungary in November 2010. Meer
Information retrieval is the science concerned with the effective and efficient retrieval of documents starting from their semantic content. It is employed to fulfill some information need from a large number of digital documents. Meer
The design of most modern engineering systems entails the consideration of a good trade-off between the several targets requirements to be satisfied along the system life such as high reliability, low redundancy and low operational costs. Meer
This two-volume set (CCIS 150 and CCIS 151) constitutes the refereed proceedings of the Second International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2011, held in Daejeon, Korea, in April 2011. 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