Search Result
Save to File
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