This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. Meer
Combinatorial (or discrete) optimization is one of the most active fields in the interface of operations research, computer science, and applied ma- ematics. Meer
Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent advances in computer security, including: security protocol design, secure peer-to-peer and ad hoc networks, multimedia security, and intrusion detection, defense and measurement. Meer
Proceedings of the International Symposium on High Performance Computational Science and Engineering 2004 (IFIP World Computer Congress) is an essential reference for both academic and professional researchers in the field of computational science and engineering. Meer
This collection of readings is designed to provide easy access to Communication Theory. Many of the essays in the Reader have previously been difficult to obtain and many have appeared in contexts where their relevance for communications, media and cultural studies was not immediately apparent. Meer
Privacy and Technologies of Identity: A Cross-Disciplinary Conversation provides an overview of ways in which technological changes raise privacy concerns. Meer
At once a programming course that emphasises object-oriented thinking as well as a well-documented, versatile, and robust geometry library. All of the relevant geometry is covered in depth to provide a good understanding of the background to this topic. Meer
By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzing the parallel time needed to compute a query, and the analysis of nondeterministic classes. Meer
This book assumes very little or no knowledge of how computers work, and shows how to write understandable programs in Java. Even though most readers will not wish to become professional programmers, programming is fun and useful, and, in today's world it is important for professionals in any field to appreciate what computers can (and cannot) do well. Meer
The decade prior to publication has seen an explosive growth in com- tational speed and memory and a rapid enrichment in our understa- ing of arti?cial neural networks. Meer
This book is about maintaining computer software. Its aim is to improve a pro gram's capacity for altering code to fit changing requirements and for detecting and correcting errors. Meer
Computer models offer a means of interpreting and analyzing the dynamics of real-world systems ranging from population growth to ozone depletion and a new section on modeling in genetics. Meer
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i. Meer
Addressing various aspects of object-oriented software techniques with respect to their impact on testing, this text argues that the testing of object-oriented software is not restricted to a single phase of software development. Meer
Beginning with realistic mathematical or verbal models of physical or biological phenomena, the author derives tractable models for further mathematical analysis or computer simulations. Meer
This is the first joint working conference between the IFIP Working Groups 11. 1 and 11. 5. We hope this joint conference will promote collaboration among researchers who focus on the security management issues and those who are interested in integrity and control of information systems. Meer
This book is compiled of selected proceedings from the "Landscapes" Conference held at Turku University, Finland, in July 2005. The themes chosen for the conference – philosophy, ethics and sociological aspects, culture and education; social aspects; politics and regulation; economics and work; technology and emerging technologies – represent many of the perspectives from which to view this landscape. Meer
This book is a collection of selected proceedings from the EUNICE Summer School which took place in Colmenarejo in July of 2005. The book explores the theme of Networked Applications in depth. Meer
This thoroughly revised and updated three volume set continues to be the standard reference in the field, providing the latest in microelectronics design methods, modeling tools, simulation techniques, and manufacturing procedures. Meer
This thoroughly revised and updated three volume set continues to be the standard reference in the field, providing the latest in microelectronics design methods, modeling tools, simulation techniques, and manufacturing procedures. 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