Search Result Save to File Save as CSV
Your search for 37910 returns 529 document(s)
Reasoning by symmetry and function oerdeing in finite model generation, Hal. 226-240
Author: Gilles Audemard; Belaid Benhanmou; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Symmetry and Consistency, (LNCS-Lecture Notes in Computer Science 3709) Hal 271-285
Author: Ian P. Gent; Tom Kelsey; Steve Linton; Colva Roney-Dougal; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Solaris sparc solaris 2.4 open issues and late-breaking news
Call Number: 005.43 Sol | Type: Buku Manual
Find Similar |  Add To Favorites |  Detail in New Window 
Late-breaking news for the MATLAB 5.2 product family version 5.2
Call Number: 510.285 52 Mat | Type: Buku Manual
Find Similar |  Add To Favorites |  Detail in New Window 
Low-latency asynchronous FIFO buffers, Hal. 24-30
Author: J.T. Yantchev; C.G. Huang; M.B. Josephs, I.M. Nedelchev; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Designing an asynchronous pipeline token ring interface, Hal. 32-41
Author: A. Yakovlev; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
High-level test evaluation of asynchronous circuits, Hal. 63-71
Author: Rik Van de Wiel; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Hybrid asynchronous system design environment, Hal. 91-98
Author: C. Farnsworth; D.A. Edwards; Jianwei Liu and S.S. Sikand; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
PAL: a language for parallel asynchronous computation, Hal. II.166-11.172
Author: Amitabha Das; Louise E. Moser and P.M. Mellia-Smith; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Visualisasi content analysis dalam forum diskusi online asynchronous
Author: Asri Hanif Ronaza; | Call Number: SK-1496 (Softcopy SK-978) Source SK-605 | Edition: Harry Budi Santoso | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next