| Your search for 4542 returns 746 document(s) |
| Comparing interactive information retrieval systems across sites: the TREC-6 interactive track experiment, Hal. 154-172 |
|
Author: Eric Lagergren; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of theoritical computer science: vol. B. formal models and semantics/J.Van Leeuwen |
|
Call Number: R. 004.02 Han | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Languages and Complexity Theory: On the Generating Sequences of Regular Languages on k Symbols |
|
Author: M. -P. Beal, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Languages and Complexity Theory: The Expressibility of Languages and Relations by Word Equations |
|
Author: J. Karhumaki, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| UML-B: Formal Modeling and Design Aided by UML, page 92-122 |
|
Author: C. Snook, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A formal process for evaluating cots software products, page 58 |
|
Author: Patricia K.L. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Teknologi untuk pengembangan formal komputerisasi pemrosesan data ujian (Proposal HIBAH BERSAING) |
|
Author: Ade Azurat | Call Number: PRO-HIBAH BERSAING-2005-001 | Type: Proposal Research (Khusus Dose
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fist results on formal comparison of several stochastic optimization algorithms, Hal. 259-269 |
|
Author: James C. Spall; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling and formal analysis of an aircraft landing gear system, Hal. 239-246 |
|
Author: Simin Nadjm-Tehrani; Jan-Erik Stromberg; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal approach to cost analysis with bergstra-klop's process algebra, 140-143 |
|
Author: Hiroki KIYOTO, Shin-ya NISHIZAKI; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result