This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. Meer
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26–28, 2009. Meer
This book constitutes the refereed proceedings of the First European Public Key Infrastructure Workshop: Research and Applications, EuroPKI 2004, held on Samos Island, Greece in June 2004. Meer
TheSpanish Associationfor Arti?cialIntelligence(AEPIA) wasfounded in1983 aiming to encourage the development of arti?cial intelligence in Spain. AEPIA is a member of the ECCAI (European Co-ordinating Committee for Arti? Meer
This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). Meer
Mohamed Medhat Gaber “It is not my aim to surprise or shock you – but the simplest way I can summarise is to say that there are now in the world machines that think, that learn and that create. Meer
This volume contains the proceedings of UIC 2009, the 6th International C- ference on Ubiquitous Intelligence and Computing: Building Smart Worlds in Real and Cyber Spaces. Meer
Das Buch Unternehmensportale – Grundlagen, Architekturen, Technologien ist das erste deutschsprachige Grundlagenwerk über modernes Informations- und Geschäftsprozessmanagement mit Hilfe von Unternehmensportalen. Meer
On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 6th GI International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Meer
APCHI 2004 was the sixth Asia-Paci?c Conference on Computer-Human Int- action, and was the ?rst APCHI to be held in New Zealand. This conference series provides opportunities for HCI researchers and practitioners in the Asia- Paci? Meer
The 14th International Conference on Implementation and Application of - tomata (CIAA 2009) was held in NICTA’s Neville Roach Laboratory at the University of New South Wales, Sydney, Australia during July 14–17, 2009. Meer
SSTD 2009 was the 11th in a series of biannual events that discuss new and exciting research in spatio-temporal data management and related technologies. Meer
The Heinz Nixdorf Museum Forum (HNF) is the world’s largest c- puter museum and is dedicated to portraying the past, present and future of information technology. Meer
Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Meer
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13–17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. Meer
This volume contains the papers presented at the 23rd Annual IFIP WG 11. 3 Working Conference on Data and Applications Security (DBSEC) held at C- cordia University, Montreal, Canada, July 12–15, 2009. Meer
Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference — with the hard work they put in, it was a great success. Meer
Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Meer
"Stability Analysis and Robust Control of Time-Delay Systems" focuses on essential aspects of this field, including the stability analysis, stabilization, control design, and filtering of various time-delay systems. 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