This volume constitutes the proceedings of the 8th Conference on Software Engineering Education, SEI CSEE 1995, held in New Orleans, Louisiana, USA in March/April 1995. Meer
Vor Ihnen liegt der Tagungsband der aIle zwei Jahre stattfindenden Fachtagung "Kommunikation in Verteilten Systemen". Diese Tagung wird yom GIjITG-FachausschuB "Kommunikation und Vertei/te Systeme" ausgerichtet. Meer
This volume presents the thoroughly revised proceedings of the ICSE '94 Workshop on Joint Research Issues in Software Engineering and Human-Computer Interaction, held in Sorrento, Italy in May 1994. Meer
This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, France, in May 2000. Meer
This volume constitutes the proceedings of the Third International Workshop of the European Association for Machine Translation, held in Heidelberg, Germany in April 1993. Meer
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Meer
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Meer
This book constitutes the refereed proceedings of the Second International Conference on Web-Age Information Management, WAIM 2001, held in Xi'an, China, in July 2001. Meer
This book contains thoroughly revised versions of the papers presented at the 1994 Châtillon Spring School held in May 1994. This spring school was the 22nd event in a series of advanced seminars presenting important new areas of research to the theoretical computer science community. Meer
This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. Meer
This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions. Meer
This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995. Meer
Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. Meer
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area. Meer
This book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer Vision, Scale-Space 2001, held in Vancouver, Canada in July 2001. Meer
The present volume of Springer’s \Lecture Notes in Arti cial Intelligence" - cuses on the challenge of balancing between the two extremes of pure reactivity and in-depth social deliberation in the context of multi-agent systems. Meer
We are pleased to present this collection of papers from the Second Workshop on Intelligent Memory Systems. Increasing die densities and inter chip communication costs continue to fuel interest in intelligent memory systems. Meer
Ce recueil de problèmes corrigés vise à proposer des voyages initiatiques à quelques domaines de la science informatique. Ces problèmes ont tous été posés au concours d'entrée en troisième année de l'ENS de Cachan, section informatique, ou à feu l'option mathématiques de l'informatique de l'Agrégation de mathématiques. 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