Ihr Genre bieten wir an!
Details zum Autor...
weitere empfehlenswerte Bücher von Aagaard Mark
Theorem Proving in Higher Order Logics
This book constitutes the refereed proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2000, held in Portland, Oregon, USA in August 2000. The 29 revised … mehr »
geschrieben von Mark Aagaard (Herausgeber) und John Harrison (Herausgeber)
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, …
Genre: Hardcover/Informatik
upper div undergrad, grad and researchers interested in communication and …
A Plan-Based Theory of Strategic Communication; Plan Complexity; The Hierarchy Principle, Plan Effectiveness and Communicative Performance; Message Planning Theory and Communication Theory; Message …
Genre: Hardcover/Informatik
Software Development on a Leash is designed as a roadmap for experienced developers and architects to align their approaches and development priorities for high reuse and innovation. Author David …
Genre: Hardcover/Informatik
This book constitutes the refereed proceedings of the 4th International Symposium on Medical Data Analysis, ISMDA 2003, held in Berlin, Germany in October 2003.
The 15 revised full papers …
Genre: Hardcover/Informatik
Prof. Dr.-Ing. Frank Rieg ist Ordinarius für Konstruktionslehre und CAD an der …
Computergrafik ist faszinierend. Bis vor kurzem brauchte man dazu ein langes Training und sehr teure Workstations. Heute kann und muss der Student ansprechende 2D- und 3D-Grafikprogramme auf dem …
Computerbuch
Genre: Hardcover/Informatik
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial …
Introduction.- Interchangeability and Solution Adaptation in Crisp CSPs.- Interchangeability in Soft CSPs.- Multi Agent Computation of Interchangeability in Distributed CSPs.- Interchangeability in …
Genre: Hardcover/Informatik

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, in June 2006.
Genre: Hardcover/Informatik
Hausarbeit aus dem Jahr 2001 im Fachbereich Informatik - Wirtschaftsinformatik, einseitig bedruckt, Note: 1, 11 Eintragungen im Literaturverzeichnis, Sprache: Deutsch, Anmerkungen: Mit der …
Genre: Hardcover/Informatik
This book includes selected papers of the VISAPP and GRAPP International Conferences 2006, held in Funchal, Madeira, Portugal, February 25-28, 2006.
The 27 revised full papers presented were …
Genre: Hardcover/Informatik
David Taniar, PhD, lectures in information technology at Monash University, Australia. Dr. Taniar has published extensively in the field of high- performance parallel databases and is the Editor in …
High Performance Parallel Database Processing and Grid Databases targets the theoretical/conceptual details needed to form a base of understanding and then delivers information on development, …
PART I: INTRODUCTION.Chapter 1: Introduction.Chapter 2: Analytical Models.PART II: BASIC QUERY PARALLELISM.Chapter 3: Parallel Search.Chapter 4: Parallel Sort and Group-By.Chapter 5: Parallel …
Genre: Hardcover/Informatik
Copyright © 2010 - All Rights Reserved - buecher-lounge.de | Impressum | Sitemap
Template by OS Templates