Search Result Save to File Save as CSV
Your search for 54072 returns 714 document(s)
Networks crowds and markets: reasoning about a highly connected word
Author: Easley, David; | Call Number: 303.48 Eas n | Type: E-book
Find Similar |  Add To Favorites |  Detail in New Window 
Logic in computer science:Modelling and reasoning about systems 2nd ed.
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Networks crowds and markets: reasoning about a highly connected word
Author: Easley, David; | Call Number: 303.48 Eas n | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Reasoning about the Cascading Failure of Financial Network Using Prolog (489-496)
Author: Jorgie Bartelsi Permana Muhammad Arzaki Yanti Rusnawati; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Solving for set variables in higher-order theorem proving, Hal. 408-414
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Aerofoil analysis using higher order vortex panel methods,Hal 94-111
Author: Hadi Winarto; | Call Number: SEM-200 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Radiosity algorithms using higher order finite element methods,Hal 209-212
Author: Roy Troutman; Nelson L.Max; | Call Number: SEM-199 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Galerkin radiosity: a higher order solution method for global illumination,Hal 213-220
Author: Harold R.Zatz; | Call Number: SEM-199 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Higher-order concurrent programs with finite communications topology,Hlm 84-97
Author: Hanne Riis Nielson; Flemming Nielson; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A type-theoretic approach to higher-order modules with sharing,Hal 123-137
Author: Robert Harper; Mark Lillibridge; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next