This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware. Meer
This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19–23, 2004. Meer
1 Thisbookcontainsrefereedandimprovedpaperspresentedatthe5thIAPR - ternational Workshop on Graphics Recognition (GREC 2003). GREC 2003 was held in the Computer Vision Center, in Barcelona (Spain) during July 30–31, 2003. Meer
This volume contains the proceedings of the Third KES Symposium on Agent and Multi-agent Systems – Technologies and Applications (KES-AMSTA 2009)––held at Uppsala University in Sweden during June 3-5, 2009. Meer
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri? Meer
This book constitutes the thoroughly refereed post-workshop proceedings of the 2008 Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, held in Hanoi, Vietnam, in December 2008 as part of 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008. Meer
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Privacy, Security, and Trust in KDD, PinKDD 2008, held in Las Vegas, NV, USA, in March 2008 in conjunction with the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD 2008. Meer
These proceedings contain the papers presented at the 4th International S- posium on Location and Context Awareness (LoCA) during May 7–8, 2009 in Tokyo,Japan. Meer
This volume contains the papers that were accepted for presentation at the - ternationalConferenceonT X,XML, andDigitalTypography,jointlyheld with E the 25th Annual Meeting of the T X Users Group in Xanthi, Greece in the sum- E mer of2004. Meer
It was 1999 when Extreme Programming Explained was ?rst published, making this year’s event arguably the ?fth anniversary of the birth of the XP/Agile movement in software development. Meer
This book constitutes the proceedings of the International Symposium on Neural N- works (ISNN 2004) held in Dalian, Liaoning, China duringAugust 19–21, 2004. Meer
Thepapersinthisvolumewereselectedforpresentationatthe10thInternational Computing and Combinatorics Conference (COCOON 2004), held on August 17–20, 2004 in Jeju Island, Korea. Meer
Das Speech Application SDK ermöglicht den Aufbau von sprachgestützten Web-Applikationen innerhalb des .NET-Frameworks.
Im vorliegenden Buch wird die Implementierung entsprechender Programme anhand fundierter und praxisnaher Code-Beispiele dargestellt. Meer
Die Autoren beschreiben aus Herstellersicht betriebswirtschaftliche, technische und technologische Aspekte der Prozessintegration in der Printmedien-Industrie auf Basis des Job Definition Formats. Meer
The field of software engineering is characterized by speed and turbulence in many regards. While new ideas are proposed almost on a yearly basis, very few of them live for a decade or a longer. Meer
Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals resultfromeitherscienti? Meer
Within thelastfewyears,datawarehousingandknowledgediscoverytechnology has established itself as a key technology for enterprises that wish to improve the quality of the results obtained from data analysis, decision support, and the automatic extraction of knowledge from data. Meer
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. Meer
Der Schwerpunkt dieses Buches liegt auf der Beschreibung von Enterprise Architekturen. Dargestellt werden auch der Einsatz dieser Architekturen in Unternehmen sowie die Mess- und Kenngrößen zur Festlegung der Performanz. Meer
Welcome to the proceedings of UbiComp 2004. In recent years the ubiquitous computing community has witnessed a sign- cant growth in the number of conferences in the area, each with its own disti- tive characteristics. 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