| Your search for 45156 returns 960 document(s) |
| Basic simple type theory: camridge tracts in theoretical computer science |
|
Author: Hindley, J. Roger; | Call Number: 005.13 Hin b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computabililty, complextiry, and languages: fundamentals of theoretical computer science/ Martin D. Davis |
|
Author: Davis, Martin; | Call Number: 511.3 Dav c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theoretical Model For Contextual Advertising On Social Network (V2-383--V2-386) |
|
Author: Rashad Yazdanifard
Seyed Mostafa Hosseini; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| How Enterprise Architecture Creates Business Value: A Theoretical Model (319-324) |
|
Author: Ayed Alwadain; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed computing: a practical synthesis/ Amjad Umar |
|
Author: Umar, Amjad; | Call Number: 004.35 Uma d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Process design principles: synthesis, analysis and evaluation |
|
Author: Seider, Warren O.; | Call Number: 660.28 Sei p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Spatial synthesis in computer-aided building design |
|
Author: Eastman, Charles M.; | Call Number: 004 Eas s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Developments in hybrid systems synthesis and verfications, Hal. 141-160 |
|
Author: Amir Pnuli; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed homotopy algorithms for H2/Hoo controller synthesis, Hal. 54-89 |
|
Author: Yuzhen Ge; Layne T. Watson; Emmanuel G. Collins; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated synthesis of interface adapters for reusable classes,Hal 174-187 |
|
Author: Satish R.Thatte; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result