Search Result Save to File Save as CSV
Your search for 25753 returns 5496 document(s)
TxForest: A DSL for Concurrent Filestores (332-354)
Author: Jonathan Dilorenzo Katie Mancini Kathleen Fisher Nate Foster; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Highly Concurrent Shared Storage (298-307)
Author: K. Amiri G. Gibson R. Golding; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Software engineering : analysis and verification
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Verification in component software, Hal. 411-420
Author: Rakhmad Azhari; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The complexity of verification,Hal 365-371
Author: R.P.Kurshan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Software engineering: analysis and verification
Author: Lewis, T.G.; | Call Number: 004 Lew s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Software verification and validation
Author: Deutsch, Michael S.; | Call Number: 005.3 Deu s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Verfikasi concurrent system dengan model checker SMV
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
Programming erlang: software for a concurrent world: 2nd ed.
Author: Armstrong, Joe; | Call Number: 005.13 Arm p | Type: E-book
Find Similar |  Add To Favorites |  Detail in New Window 
Programming erlang: software for a concurrent world: 2nd ed.
Author: Armstrong, Joe; | Call Number: 005.13 Arm p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next