Results 241 to 250 of about 644,385 (252)

The Formal Design Models of a Set of Abstract Data Types (ADTs)

International Journal of Software Science and Computational Intelligence, 2010
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory.
Yingxu Wang 0001, Xinming Tan, Cyprian F. Ngolah, Phillip C.-Y. Sheu   +3 more
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

ChemInform Abstract: Boiling Point and Critical Temperature of a Heterogeneous Data Set: QSAR with Atom Type Electrotopological State Indices Using Artificial Neural Networks.

ChemInform, 1997
AbstractChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
L. H. HALL, C. T. STORY
openaire   +1 more source