This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice's Theorem, Kleene's Recursion Theorem, the Church-Turing Thesis, Hierarchy Theorems, and Cook-Levin's Theorem. Meer
This book presents
high-quality original contributions on new software engineering models,
approaches, methods, and tools and their evaluation in the context of defence
and security applications. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Agents and Artificial Intelligence, ICAART 2015, held in Lisbon, Portugal, in January 2015. Meer
This book constitutes the refereed proceedings of the
17th International Conference on Asia-Pacific Digital Libraries, ICADL 2015,
held in Seoul, South Korea, in December 2015. Meer
Normal
0
false
false
false
EN-US
X-NONE
X-NONE
This book constitutes the thoroughly refereed
post-conference proceedings of the 6th International Conference on Trusted
Systems, INTRUST 2014, held in Beijing, China, in December 2014. Meer
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. Meer
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. Meer
This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Activity Monitoring by Multiple Distributed Sensing, AMMDS 2014, held in Stockholm, Sweden, in August 2014, as a satellite event of ICPR 2014, the 22nd International Conference on Pattern Recognition. Meer
This book constitutes the proceedings of the 9th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2014, held in Guangzhou, China, in May 2014. Meer
This book constitutes the thoroughly refereed proceedings of the 6th International Conference on Ad Hoc Networks, ADHOCNETS 2014, held in Rhodes, Greece, in August 2014. Meer
This book constitutes the proceedings of the 13th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2014, held in Gold Cost, Qld, Australia, in December 2014. Meer
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. Meer
Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Meer
This book constitutes the refereed proceedings of the First International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2014, held in conjunction with MICCAI 2014, in Boston, MA, USA, in September 2014. Meer
This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2011, 2012, and 2013. Meer
This book constitutes the refereed proceedings of the 20th EUNICE/IFIP WG 6.2, 6.6 Workshop on Advances in Communication Networking, EUNICE 2014, held in Rennes, France, in September 2014. Meer
This timely text/reference describes the development and implementation of large-scale distributed processing systems using open source tools and technologies. Meer
This book constitutes the proceedings of the third International Workshop on Symbiotic Interaction, Symbiotic 2014, held in Helsinki, Finland, in October 2014. Meer
This timely text/reference explores the business and technical issues involved in the management of information systems in the era of big data and beyond. 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