Search Result

Your search for 36717 returns 4707 document(s)

Deductive search for errors in the free data type specifications using model generation, Hal. 211-225

Author: Wolfgang Ahrendt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem

A deductive data model for query expansion, Hal. 235-243

Author: Kalervo Jarvelin, Jaana Kristensen; Timo Niemi; Eero Sormunen and Heikki Keskustalo; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem

Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284

Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS

Proposal of a standardized web service using a complex input data type. ( hal. 193-202 )

Author: Takashi Koshida; | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem

Fast active appearance model search using canonical analysis, page 1690

Author: R. Donner | Type: Indeks Artikel Jurnal

The Partition model: a deductive database model, page 1

Author: Nicolas S. | Type: Indeks Artikel Jurnal

Direct spatial search o pictorial data batabases using packed R-trees (17-33)

Author: Nick roussopoulos and Daniel leifker; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem

Unit Quaternion Integral Curve: A New Type Of Fair Free-Form Curves, page 39-58

Author: K. T. Miura | Type: Indeks Artikel Jurnal

A Model for Compound Type Changes Encountered in Schema Evolution

Author: B. Staudt Lerner | Type: Indeks Artikel Jurnal

A Type-Based HFL Model Checking Algorithm (136-155)

Author: Youkichi Hosoi Naoki Kobayashi Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem

Prev 1 2 3 4 5 6 7 8 9 10 Next