Bücher für Datenbanken - englischsprachig  (22 083 Angebote unter 17 383 884 Artikeln)

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers...

This book constitutes the refereed and revised proceedings of the workshops and the doctoral consortium co-located with the 10th International Conference on Perspectives in Business Informatics Res...

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented toget...

The functioning of intelligent autonomous systems requires constant situation awareness and cognition analysis. Thus, it needs a memory structure that contains a description of the surrounding envi...

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z...

The word "render" isn't unique to the vocabulary of computer graphics. We can talk about a "watercolor rendering," a "musical rendering" or a "poetic rendering." In each of these, there is a transf...

Xingni Zhou; Qiguang Miao; Lei Feng: Programming in C / Basic Data Structures and Program Statements

This volume comprises papers from the following three workshops that were part of the complete program for the International Conference on Extending Database Technology (EDBT) held in Prague, Czech...

A special year like 1999 invites one to draw a balance of what has been achieved in the roughly 30 years of research and development in knowledge based systems (still abbreviated as XPS following t...

This is an open access book.

As we increasingly integrate artificial intelligence (AI) into our everyday lives, many pressing questions remain: What exactly is AI, and how does it differ from human intelligence? How will AI in...

In most scenarios of the future a personalized virtual butler appears. This butler not only performs communication and coordination tasks but also gives recommendations on how to handle everyday pr...

Theory and Foundations.- A Simpler Semantics for Z.- Interpretations of Z Schema Operators.- Promoting Forward Simulation.- Operation Schema Iterations.- Interference Revisited.- Standards and Tool...

Z2Z4-Linear Codes

Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification --Extended Abstract--.- Visualising Larger State Spaces in Pro B.- Non-atomic Refinement in Z and CSP...