This volume constitutes the proceedings of the 12th British National Conference on Databases (BNCOD-12), held at Surrey, Guildford in July 1994. The BNCOD conferences are thought as a platform for exchange between theoreticians and practitioners, where researchers from academia and industry meet professionals interested in advanced database applications. Meer
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. Meer
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Meer
After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery. Meer
Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Meer
In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. Meer
This book constitutes the refereed proceedings of the first International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2000, held in Trento, Italy, in August 2000. Meer
PRIMA 2000 was the third in the series of Paci c Rim International Workshops on Multi-Agents. It was held on August 28-29, 2000, in Melbourne, Australia in conjunction with the Paci c Rim International Conference on Arti cial Intel- gence 2000. Meer
The AMDO 2000 workshop took place at the Universitat de les Illes Balears (UIB) on 7–9 September 2000, sponsored by the International Association for Pattern Recognition Technical Committee, the European Commission by - man Potential Program:High Level Scienti? Meer
Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. Meer
Since the second edition of this book came out in early 1997, the number of scientific papers published on the Self-Organizing Map (SOM) has increased from about 1500 to some 4000. Meer
Smart cards have been driven by the need for a secure, portable, computing platform. Hence it is no surprise that security considerations dominated their research. Meer
PRICAI 2000, held in Melbourne, Australia, is the sixth Pacific Rim Interna tional Conference on Artificial Intelligence and is the successor to the five earlier PRICAIs held in Nagoya (Japan), Seoul (Korea), Beijing (China), Cairns (Aus tralia) and Singapore in the years 1990, 1992, 1994, 1996 and 1998 respectively. Meer
Im Rahmen des Workshops "Sicherheit in Mediendaten" wurden aktuelle Ansätze auf diesem Gebiet vorgestellt, und Fragen der Anwendbarkeit, Sicherheit und Qualitätsgüte diskutiert. Meer
Die Kryptologie, eine jahrtausendealte "Geheimwissenschaft", gewinnt zusehends praktische Bedeutung für den Schutz von Kommunikationswegen, Datenbanken und Software. Meer
Thepaperscollectedin thisvolumewerepresentedatthe ?fth EuropeanWo- shoponCase-BasedReasoning(EWCBR2K)heldTrento,Italy.EWCBR2K was the last episode of a series of very successful meetings held previously in Kaiserslautern (1993), Paris (1994), Lausanne (1996) and Dublin (1998) that traditionally attract European and international researchers and practitioners in case-basedreasoning. Meer
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. Meer
This book constitutes the joint refereed proceedings of the 8th International Workshop on Structural and Syntactic Pattern Recognition and the 3rd International Workshop on Statistical Techniques in Pattern Recognition, SSPR 2000 and SPR 2000, held in Alicante, Spain in August/September 2000. Meer
Welcome to the proceedings of the 2008 International Conference on Grid and Pervasive Computing (GPC 2008) which was held in Kunming, Yunnan, China, May 25–28, 2008. Meer
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. 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