Search Result Save to File Save as CSV
Your search for 23944 returns 82 document(s)
Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Program Simulasi Untuk Realisasi Struktur Tapis Infinite Impulse Response Untuk Media Pembelajaran Digital Signal Processing (hal 249-255)
Author: Damar Widjaja, Teresia Herlina Bintari, Bayu Primawan; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Finite geometrics and combinatorial designs: proceedings of the AMS special session infinite geometrics and combinatorial design hel oct 29 - Nov 1987
Call Number: 515.13 Fin | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Q.E.D. monograph series data base management/Robert Curtice
Author: Curtice, Robert M.; | Call Number: 005.74 Cur q | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical handbook of formulas and tables: schaum's outline series/Murray R. Spiegel
Author: Spiegel, Murray R.; | Call Number: R.510.2 Spi m | Type: Buku Referensi
Find Similar |  Add To Favorites |  Detail in New Window 
S-Power Series: an Alternative to Poisson Expansions For Representing Analytic Functions, page 103-120
Author: J. Sanchez-Reyes, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Network management handbook: network planning and engineering series/Bell Communication Research
Call Number: R.658.403 202 Net | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
SP97 V-series Mainboard support CD Rev. 2.00/ ASUS
Call Number: 004.7 Asu | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Asus SP-97-V series mainboard support CD Rev. 2.00
Call Number: 004.7 Asu | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9  Next