Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Data and Knowledge Bases
  • Language: en
  • Pages: 438

Data and Knowledge Bases

Proceedings of the meeting held in Jerusalem, Israel, June, 1988. Thirty papers represent a cross ssection of the many facets of contemporary database research and provide an up-to-date account of activities of some of the leading companies in the database field. Covers: knowledge-based application

Database Machines
  • Language: en
  • Pages: 383

Database Machines

None

Database Machines
  • Language: en
  • Pages: 404

Database Machines

This volume contains 24 papers presented at the Sixth International Workshop on Database Machines. The papers cover a wide spectrum of topics including: system architectures, storage structures, associative memory architectures, memory resident systems, deduction and retrospectives on maturing projects. The nature of the papers is highly technical and presumes knowledge of database management systems and familiarity with database machines. The book is representative of the dual trend in the field towards (1) search for new functionability and (2) attention to detail, completeness and performance of prototype implementations.

Towards a Formal Description of Ada
  • Language: en
  • Pages: 650

Towards a Formal Description of Ada

None

Methods of Algorithmic Language Implementation
  • Language: en
  • Pages: 364

Methods of Algorithmic Language Implementation

With contributions by numerous experts

Boolean Calculus of Differences
  • Language: en
  • Pages: 158

Boolean Calculus of Differences

None

Context-Free Grammars
  • Language: en
  • Pages: 268

Context-Free Grammars

None

TEMPO
  • Language: en
  • Pages: 134

TEMPO

None

Using Sophisticated Models in Resolution Theorem Proving
  • Language: en
  • Pages: 260

Using Sophisticated Models in Resolution Theorem Proving

None

Theoretical Computer Science
  • Language: en
  • Pages: 276

Theoretical Computer Science

  • Type: Book
  • -
  • Published: 1981-03-01
  • -
  • Publisher: Springer

None