Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, held in Medford, MA, USA in July 2007. Meer
This book presents the refereed proceedings of the Second International Workshop on Applied Parallel Computing in Physics, Chemistry and Engineering Science, PARA'95, held in Lyngby, Denmark, in August 1995. Meer
Schwerpunktthemen des 4. Deutschen Multimedia Kongresses und damit dieses Bandes sind das Internet, Interaktives TV, Telelearning, Electronic Banking, Electronic Publishing, Multimediales Standortmarketing, Multimedia und Recht, Advertising multimedial, Medizin und Telemedizin. Meer
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. Meer
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. Meer
This book is based on the workshop on Adaptation and Learning in Multi-Agent Systems, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95, in Montreal, Canada in August 1995. Meer
This book is based on the workshop on New Approaches to Learning for Natural Language Processing, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95, in Montreal, Canada in August 1995. Meer
Environmental information systems (EIS) are concerned with the management of data about the soil, the water, the air, and the species in the world around us. Meer
This book constitutes the refereed proceedings of the first European Workshop on Interactive Distributed Multimedia Systems and Services, IDMS'96, held in Berlin, Germany in March 1996. Meer
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. Meer
The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e. Meer
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). Meer
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. Meer
This book constitutes the refereed proceedings of the Second International Symposium on Object Technologies for Advanced Software, ISOTAS'96, held in Ishikawa, Japan, in March 1996. Meer
Geleitwort der Herausgeber Die Produktionstechnik ist für die Weiterentwicklung unserer In dustriegesellschaft von zentraler Bedeutung. Denn die Leistungsfä higkeit eines Industriebetriebes hängt entscheidend von den einge setzten Produktionsmitteln. Meer
Die vorliegende Dissertation entstand während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Institut für Werkzeugmaschinen und Betriebswissenschaften (iwb) der Technischen Universität München. Meer
This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996.
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Meer
This book presents the refereed proceedings of the Fifth International Conference on Extending Database Technology, EDBT'96, held in Avignon, France in March 1996. Meer
The European Conference on Computer Vision (ECCV) has established itself as a major event in this exciting and very active field of research and development. Meer
The European Conference on Computer Vision (ECCV) has established itself as a major event in this exciting and very active field of research and development. 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