| Your search for 9234 returns 3450 document(s) |
| Science |
|
Call Number: 4 (1983): 2-3 | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithmic aspects of herbrand models represented by ground atoms with ground equations, Hal. 241-259 |
|
Author: Bernhard Gramlich; Reinhard Pichler; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Revised3 report on the algorithmic language scheme/ Jonathan Rases and William Clinger (editor) |
|
Call Number: 005.133 Rev | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Graph connectivity electrical studies |
|
Author: Ford Lumban Gaol & Belawati Wijaya | Call Number: Pub.Staf-JI-0010 | Type: Jurnal Internasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Journal of Graph Theory |
|
Call Number: [24 (1990): 1-4; 23 (1996): 1-2, 22 (1996): 1-4; 23 (1996): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Discrete mathematics with graph theory |
|
Author: Goodaire, Edgar G.; | Call Number: 511 Goo d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Motivation from a full-rate specific design to a DSP core approach for GSM vocoders, (LNCS-Lecture Notes in Computer Science 2147) Hal 388-397 |
|
Author: Shervin Sheidaei; Hamid Noori; Ahmad Akbari; Hosein Pedram; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
|
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324 |
|
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach to belief modelling, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942), Hal. 196-212 |
|
Author: V.N. Hynh, Y.Nakamori, T. Murai, and TB. Ho; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result