In the field of programming language description, it is widely accepted that van-Wi1ngaarden grammars (vWGs, [Ba72), [A68R) provide a powerful and yet simple formalism to describe the syntax and context conditions of programming languages. Meer
This yearmarks anexciting time in the XML-database space:XQueryis moving closer to becoming a full W3C Recommendation, and the “Big 3” database vendors (IBM, Oracle, Microsoft) are expected to release XQuery support in theirrelationalDBMSs,joininganumberofexistingopensourceandcommercial products. Meer
The 9th East-European Conference on Advances in Databases and Information Systems was held on September 12–15, 2005, in Tallinn, Estonia. It was organized in a cooperation between the Institute of Cybernetics at Tallinn University of Technology, the Department of Computer Engineering of Tallinn University of Technology, and the Moscow chapter of ACM SIGMOD. Meer
This book constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007. The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures. Meer
The technologies of mobile communications and ubiquitous computing are p- vading our society. Wireless networks are becoming the nerves of our territory, especially in the urban setting; through these nerves, the movement of people and vehicles may be sensed and possibly recorded, thus producing large volumes of mobility data. Meer
This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. Meer
This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. Meer
This book constitutes the refereed proceedings of the Fourth VLDB 2007 International Workshop on Secure Data Management, SDM 2007, held in Vienna, Austria, September 23-24, 2007 in conjunction with VLDB 2007. Meer
This book constitutes the refereed proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, held in Leipzig, Germany, September 25-27, 2007. Meer
This book constitutes the refereed proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2007. Meer
This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. Meer
This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. Meer
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. Meer
such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. Meer
This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil, in April 1998. Meer
This book presents the refereed proceedings of the EP'98 and RIDT'98 conferences, held jointly during the Second International Week on Electronic Publishing and Typography in St. Meer
This book is devoted to adaptive processing of structured information similar to flexible and intelligent information processing by humans - in contrast to merely sequential processing of predominantly symbolic information within a deterministic framework. Meer
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. Meer
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