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
The International Symposium on Experimental Robotics (ISER) is a series of bi-annual meetings which are organized in a rotating fashion around North America, Europe and Asia/Oceania. Meer
This is a cornerstone publication in robotic grasping. The authors have developed an internationally recognized expertise in this area. Additionally, they designed and built several prototypes which attracted the attention of the scientific community. 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 constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. Meer
The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, held in Mallorca, Spain, in June 2013. Meer
The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, held in Mallorca, Spain, in June 2013. Meer
Broadly-scoped requirements such as security, privacy, and response time are a major source of complexity in modern software systems. This is due to their tangled inter-relationships with and effects on other requirements. Meer
This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information retrieval based on lattice theory. Meer
This monograph is devoted to construction of novel theoretical approaches of m- eling non-homogeneous structural members as well as to development of new and economically ef? Meer
This book presents best selected research papers presented at the 3rd International Conference on Cognitive Informatics and Soft Computing (CISC 2020), held at Balasore College of Engineering & Technology, Balasore, Odisha, India, from 12 to 13 December 2020. Meer
This book presents intelligent data analysis as a tool to fight against COVID-19 pandemic. The intelligent data analysis includes machine learning, natural language processing, and computer vision applications to teach computers to use big data-based models for pattern recognition, explanation, and prediction. Meer
This book features high-quality research papers presented at the 3rd International Conference on Computational Intelligence in Pattern Recognition (CIPR 2021), held at the Institute of Engineering and Management, Kolkata, West Bengal, India, on 24 – 25 April 2021. Meer
This book explores recent developments in theoretical research and data analysis of real-world complex systems, organized in three parts, namely
Entropy, information, and complexity functions
Multistability, oscillations, and rhythmic synchronization
Diffusions, rotation, and convection in fluids
The collection of works devoted to the memory of Professor Valentin Afraimovich provides a deep insight into the recent developments in complexity science by introducing new concepts, methods, and applications in nonlinear dynamical systems covering physical problems and mathematical modelling relevant to economics, genetics, engineering vibrations, as well as classic problems in physics, fluid and climate dynamics, and urban dynamics. Meer
This book highlights new trends and challenges in research on agents and the new digital and knowledge economy. It includes papers on business process management, agent-based modeling and simulation, and anthropic-oriented computing that were originally presented at the 15th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2021), being held as a Virtual Conference in June 14–16, 2021. Meer
The aim of the book is to create a bridge between two ‘lands’ that are usually kept separate: technical tools and legal rules should be bound together for moulding a special ‘toolbox’ to solve present and future issues. Meer
The emerging biotechnologies have significantly advanced the study of biological mechanisms. However, biological data usually contain a great amount of missing information, e. Meer
Today, big data affects countless aspects of our daily lives. This book provides a comprehensive and cutting-edge study on big data analytics, based on the research findings and applications developed by the author and his colleagues in related areas. Meer
This two-volume set (CCIS 1393 and CCIS 1394) constitutes selected and revised papers of the 4th International Conference on Advanced Informatics for Computing Research, ICAICR 2020, held in Gurugram, India, in December 2020. Meer
This book features a collection of high-quality, peer-reviewed papers presented at International Conference on Ubiquitous Intelligent Systems (ICUIS 2021) organized by Shree Venkateshwara Hi-Tech Engineering College, Tamil Nadu, India, during April 16–17, 2021. 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