Skip to search formSkip to main contentSkip to account menu

DIANA An Intermediate Language for Ada

This document describes DIANA, a Descriptive Intermediate Attributed Notation for Ada, being both an introduction and reference manual for it. DIANA is an abstract data type such that each object of…
Springer Nature (opens in a new tab)

Matrix Eigensystem Routines-EISPACK Guide.

Publisher (opens in a new tab)

Computer-Aided Cooperative Product Development: MIT-JSME Workshop, MIT, Cambridge, USA, November 20/21, 1989. Proceedings

Next-Cut: A second generation framework for concurrent engineering.- A blackboard scheme for cooperative problem-solving by human experts.- An object-oriented framework for collaborative engineering…

VLSI Algorithms and Architectures

For you who are starting to learn about something new and feel curious about this book, it's easy then to get this book and feel how this book will give you more exciting lessons.
Springer Nature (opens in a new tab)

Ada Software Tools Interfaces

Publisher (opens in a new tab)

Methods of algorithmic language implementation

Publisher (opens in a new tab)

Public-Key Cryptography State

Notes in Artificial Intelligence 1937

This paper establishes a common framework to compare the expressiveness and reasoning capabilities of „traditional“ ontology languages (Ontolingua, OKBC, OCML, FLogic, LOOM), and concludes with the results of applying this framework to the selected languages.

Attribute Grammars, Applications and Systems: International Summer School Saga Prague, Czechoslovakia, June 4-13, 1991 Proceedings

This paper presents an overview of the FNC-2 attribute grammar system, a survey of parallel attribute evaluation methods, and the translator writing system RUEGEN-KS.

Database and XML Technologies

A classification of the problem space is presented and how almost 40 papers fit into this classification is discussed, finding that some basic questions are still open in the XML publishing of relational data.
Springer Nature (opens in a new tab)
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)