Search Result
Save to File
Your search for
20525
returns
3459
document(s)
Optimal design of hydrogen based stand-alone wind/microhydro system using genetic algorithm ( hal 71 - 75 )
Author: Soedibyo, Heri Suryoatmojo, Imam Robandi, Mochamad Ashari; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Integrating Analytic Hierarchy Process (AHP) and Geographical Information Systems (GIS) for Prioritising and Planning Conservation Choices In Wales (75)
Author: Marcello Di Bonito John Clarkson Michelle L. Wienhold Leandro Pecchia; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic logic & mechanical theorem proving/Chin-Liang Chang
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Computer algebra symbolic and algebraic computation 2nd ed./ edited by B. Buchberger
Author: Buchberger, B.; | Call Number: 512 Buc c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic computation: computer aided design/ editor by Encarnacao P. Hayes
Author: Encarnacao, J.; | Call Number: 620.004 Enc s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic analysis for automated design of analog integrated circuits/Georges Gielen
Author: Gielen, Georges; | Call Number: 621.381 Gie s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems (648-666)
Author: Giuliano Mega Fabio kon; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Completeness of Cyclic Proofs Symbolic Heaps iwth Inductive Definitions (367-387)
Author: Makoto Tatsuta Koji Nakazawa Daisuke Kimura; | Call Number: SEM-374 | 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