Erste Ideen zur vorliegenden Arbeit sind wiihrend des Forschungsaufenthaltes am IBM Research Lab in San Jose, Kalifomien entstanden. In der Forschungsgruppe von R. Meer
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education. Meer
The three volume set LNCS 4232, LNCS 4233, and LNCS 4234 constitutes the refereed proceedings of the 13th International Conference on Neural Information Processing, ICONIP 2006, held in Hong Kong, China in October 2006. Meer
The proceedings of the fourth Vienna Development Method
Symposium, VDM'91, are published here in two volumes.
Previous VDM symposia were held in 1987 (LNCS 252), 1988
(LNCS 328), and 1990 (LNCS 428). Meer
"Ein auf einem Chip gespeichertes Alphabet von hoher
digitaler Genauigkeit und Formqualit{t wird uns dann helfen,
}ber die hohe Qualit{t der Gutenbergschen Druckkunst als
Standard zu verf}gen. Meer
This volume contains the proceedings of the Eleventh
Conference on Foundations of Software Technology and
Theoretical Computer Science held in New Dehli, India
December 17-19, 1991. Meer
The main aim of this monograph is to provide a framework for
the integrated design of object-oriented programs with
algebraic specification techniques. Meer
This book constitutes the refereed proceedings of the 17th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM 2006, held in Dublin, Ireland in October 2006 in the course of the 2nd International Week on Management of Networks and Services, Manweek 2006. Meer
This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International Conference on Web Information Systems, WISE 2006, in Wuhan, China, in October 2006. Meer
Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout the last few years. Especially in the climate of an increasingly competitive market Requirements Management helps in carrying out developments faster, cheaper and with a higher quality. Meer
Mit ihrer Jahrestagung 2006 bietet die GI-Fachgruppe Echtzeitsysteme und PEARL Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Themengebieten aus dem Bereich der "Echtzeitsysteme im Alltag" vorgestellt werden: Anwendungsbeispiele wie Gebäudeleit- und Raumtechnik, Häusliche Serviceroboter, Spiele, Handy-TV, Telefonie und Telemedizin, sowie Aspekte der Technologie, Entwicklung und Ausbildung in Echtzeitsystemen und PEARL. Meer
This book constitutes the refereed proceedings of the 5th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2006, held in Kobe, Japan in November 2006. Meer
This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, held in Joensuu, Finland in October 2006. Meer
This book constitutes the thoroughly refereed and extended post-proceedings of the joint European Web Mining Forum, EWMF 2005, and the International Workshop on Knowledge Discovery and Ontologies, KDO 2005, held in association with ECML/PKDD in Porto, Portugal in October 2005. Meer
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, CG 2004, held in July 2004. Meer
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 25th International Conference on Conceptual Modeling, ER 2006, in Tucson, AZ, USA in November 2006. Meer
This book constitutes the refereed proceedings of the 10th IFIP TC-6 TC-11 International Conference on Communications and Multimedia Security, CMS 2006, held in Heraklion, Crete, Greece in October 2006. Meer
This book constitutes the refereed proceedings of the International Workshop on Human Computer Interaction, HCI 2007. Coverage in the 16 revised full papers presented includes affective detection and recognition, human motion tracking, multimedia data modeling and visualization, HCI issues in image/video retrieval, learning in HCI, input and interaction techniques, perceptual user interfaces, wearable and pervasive technologies in HCI and intelligent virtual environments. 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