Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Introduction to Constraint Databases
Introduction to Constraint Databases
Constraint databases provide extra expressive power over relational databases in a largely hidden way at the data-storage or physical level. Constraints, such as linear or polynomial equations, are used to represent large sets in a compact manner. They keep the view of the database for a user or application programmer almost as simple as in...
The Web Resource Space Model (Web Information Systems Engineering and Internet Technologies Book Series)
The Web Resource Space Model (Web Information Systems Engineering and Internet Technologies Book Series)
Classifying objects into categories at different granularity levels, establishing links between known objects, and discovering clues between known and unknown objects are essential for new-generation semantic data models. This book introduces the Resource Space Model (RSM), which effectively organizes and correctly manages resources by normalizing...
Principles of Computer Graphics: Theory and Practice Using OpenGL and Maya®
Principles of Computer Graphics: Theory and Practice Using OpenGL and Maya®
to think about what it means. What is Computer Graphics? Simply defined, Computer Graphics (or CG) is the images generated or modified on a computer. These images may be visualizations of real data or imaginary depictions of a fantasy world.

The use of Computer Graphics effects in movies such as The Incredibles and games such as Myst
...
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic...
Advanced Software Engineering: Expanding the Frontiers of Software Technology
Advanced Software Engineering: Expanding the Frontiers of Software Technology
This volume presents proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. The proceedings of the World Computer Congress are a product of the gathering of 2,000 delegates from more than 70 countries to discuss a myriad of topics in the ICT domain. Of particular note, this marks the first time that a World Computer Congress has...
Principles of Data Mining (Undergraduate Topics in Computer Science)
Principles of Data Mining (Undergraduate Topics in Computer Science)
Data Mining, the automatic extraction of implicit and potentially useful information from data, is increasingly used in commercial, scientific and other application areas.

This book explains and explores the principal techniques of Data Mining: for classification, generation of association rules and clustering. It is written for readers without...

Web Engineering: Modelling and Implementing Web Applications (Human-Computer Interaction Series)
Web Engineering: Modelling and Implementing Web Applications (Human-Computer Interaction Series)
Web Engineering: Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete Web software product from conceptual schemas, represented via well-known design notations.

Describing mature and consolidated approaches to developing complex applications, this edited volume is divided into...

Maple and Mathematica: A Problem Solving Approach for Mathematics
Maple and Mathematica: A Problem Solving Approach for Mathematics
This book compares the two computer algebra programs, Maple and Mathematica used by students, mathematicians, scientists, and engineers.

Structured by presenting both systems in parallel, Mathematicas users can learn Maple quickly by finding the Maple equivalent to Mathematica functions, and vice versa.

This student reference handbook...

Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)
Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)
Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate.

The book presents the following four revised and extended chapters first given as lectures at the Generic...

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)
This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award:

"For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I...

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury
The fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.

Kent is
...
Active Networks
Active Networks
This book constitutes the thoroughly refereed post-proceedings of the IFIP TC6 5th International Workshop on Active Networks, IWAN 2003, held in Kyoto, Japan, in December 2003.

The 24 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on high performance and...

Result Page: 376 375 374 373 372 371 370 369 368 367 366 365 364 363 362 361 360 359 358 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy