TEX is the program for printing high quality mathematical
text to which all others are compared. It is flexible enough
to be used on many different computer architectures and
operating systems ranging from microcomputers to mainframes. Meer
When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. Meer
This book constitutes the refereed proceedings of the 14th International Conference on Database Systems for Advanced Applications, DASFAA 2009, held in Brisbane, Australia, in April 2009. Meer
1 2 Per Stenstro ¨m and David Whalley 1 Chalmers University of Technology, Sweden 2 Florida State University, U.S.A. In January2007,the secondedition in the series of International Conferenceson High-Performance Embedded Architectures andCompilers (HiPEAC’2007)was held in Ghent,Belgium. Meer
IDT (Intelligent Decision Technologies) seeks an interchange of research on intelligent systems and intelligent technologies which enhance or improve decision making in industry, government and academia. 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
Das Buch ist eine praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern. In vier Teilen (Grundlagen, Technik, Programmierung, Praxis) wird ausführlich erklärt, wie man einen Haufen (Cluster) preiswerter Standard-PCs in einen Parallelcomputer verwandelt und diesen dann zur Lösung rechenintensiver Probleme einsetzt. Meer
The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects. Meer
The International Conference on Networking (ICN01) is the first conference in its series aimed at stimulating technical exchange in the emerging and important field of networking. Meer
Das Buch ist gegliedert in einen Anfängerteil für Neueinsteiger und einen weiteren Teil für alle, die schon ihre ersten Schritte mit LaTeX gemacht haben. Meer
Despite its increasing importance, the verification and
validation of the human-machine interface is perhaps the
most overlooked aspect of system development. Meer
This volume collects the revised versions of the invited and selected papers that were presented at the Second EPOS––Epistemological Perspectives on Simulation––Workshop, held in Brescia, Italy, in October 2006. Meer
Persistente Objektsysteme sind Softwaresysteme, die ihren
Benutzern einen flexiblen und problemad{quaten Zugriff auf
gro~e und komplex verkn}pfte Mengen von langlebig
gespeicherten Datenobjekten gestatten. Meer
This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3–7, 2000 in St Andrews, Scotland. Meer
Researchers working on the semantics of programming
languages came together in The Netherlands in June 1992 for
a workshop on Semantics - Foundations and Applications. Meer
This volume contains the proceedings of the Eurpoean
Conference on Machine Learning (ECML-93), continuing the
tradition of the five earlier EWSLs (European Working
Sessions on Learning). Meer
The International Conference on Computational Science (ICCS 2004) held in Krak´ ow, Poland, June 6–9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St. Meer
Software development is being revolutionized. The heavy-weight processes of the 1980s and 1990s are being replaced by light-weight, so called agile processes. Meer
Many theoretical and experimental studies have shown that a multiple classi?er system is an e?ective technique for reducing prediction errors [9,10,11,20,19]. Meer
Virtual Worlds 2000 is the second in a series of international scientific conferences on virtual worlds held at the International Institute of Multimedia in Paris La Défense (Pôle Universitaire Léonard de Vinci). 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