| Your search for 37237 returns 2269 document(s) |
| Specifying timed state sequences in powerful decidable logics and timed automata, Hal. 69-80 |
|
Author: Thomas Wilke; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specifying formative constructs in information systems research, page 623-656 |
|
Author: Stacie Petter, Detmar Straub, and Arun Rai | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specifying systems: the TLA + language and tools for hadware and software engineers |
|
Author: Lamport, Leslie; | Call Number: 004.21 Lam s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Developing technology for specifying and generating critical data processing programs |
|
Call Number: 004 Dev | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An ontology-based binary-categorization binary-categorization approach for recognizing multiple-record web documents using a probalistic retrieval model/ Quan Yuan |
|
Author: Wang, Quan; Yiu-Kai NG | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interface Age |
|
Call Number: [8 (1983): 1-6, 8 (1983): 1-6, 9 (1984): 1-3,6-8] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perl 5 interactive course |
|
Author: Orwant, Jon; | Call Number: 005.133 Orw p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TREC interactive with cheshire II |
|
Author: Ray R. Larson | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to interactive computer graphics |
|
Author: Scott, Joan E.; | Call Number: 001.55 Sco i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| interactive programming environment |
|
Call Number: 004.61 Int | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result