This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. Meer
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. Meer
This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008. Meer
This book constitutes the fully refereed proceedings of the 9th International Conference on Distributed Computing and Networking, ICDCN 2008 - formerly known as IWDC (International Workshop on Distributed Computing), held in Kolkata, India, in January 2008. Meer
This book presents a specific and unified approach framework to three major components: Search Engines Performance, Link Analysis, and User’s Web Behavior. Meer
This book is an introduction to some new fields in soft computing with its principal components of fuzzy logic, ANN and EA. The approach in this book is to provide an understanding of the soft computing field and to work through soft computing using examples. Meer
Web mining and usage is a fast-moving and hugely important field of study. This new Springer text constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Mining Web Data, WEBKDD 2006, held in Philadelphia, USA in 2006. Meer
Of interest to both researchers and professionals, this book constitutes the thoroughly refereed post-proceedings of the first International Conference on E-Voting and Identity, VOTE-ID 2007, held in Germany in 2007. Meer
This volume is a collection of papers presented during the first International ACM-L Workshop, which was held in Tucson, Arizona, during the 25th International Conference on Conceptual Modeling, ER 2006. Meer
Running to more than 360 pages, and complete with online files and updates, this book constitutes the thoroughly refereed post-proceedings of the 11th Asian Computing Science Conference, ASIAN 2006, held in Tokyo, Japan. Meer
Complete with Springer’s trademark online files and updates, this fascinating text constitutes the refereed proceedings of the 8th International Workshop on Information Security Applications, WISA 2007, held in Jeju Island, Korea, in August 2007. Meer
This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols. The approach we take is rather a formal one, primarily based on descriptions of protocols in the notation of CSP. Meer
This highly relevant and up-to-the-minute book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2008, held in Göteborg, Sweden, January 27-29, 2008. Meer
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. Meer
This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. Meer
Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, can best be documented as the rationale for the system, which will reveal not only what was done during development but the reasons behind the choices made and alternatives considered and rejected. Meer
Asynchronous JavaScript and XML (Ajax) is a web technique used to transfer data between a browser and server asynchronously without posting the web page to the server. Meer
This book is made up of selected papers from the Asia Simulation Conference 2007, held in Seoul, Korea, in October of 2007. The 42 revised full papers presented were carefully reviewed and selected from 120 submissions. Meer
Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International Conference on the Quality of Software Architectures, QoSA 2007, held in Medford, MA, USA, in 2007. Meer
Mathematical Control Theory is a branch of Mathematics having as one of its main aims the establishment of a sound mathematical foundation for the c- trol techniques employed in several di? 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