Search Result
Save to File
Your search for
10836
returns
694
document(s)
A Dependently Type Multi-stage Calculus (53-72)
Author: Akira Kawata Atsushi Igarashi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Analysis About Achievement of e-Learning on University Calculus (123-132)
Author: Tzu-chin Chou; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic Dynamic Programming Within The Fluent Calculus (378-383)
Author: Axel Grobmann Steffen Holldebler Olga Skvortsova; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Interpreting a Reconstructed Relation Calculus: Extended Abstract (367-376)
Author: Aaron Watters; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic and computer design fundamentals
Author: Mano, M. Morris; | Call Number: 621.392 Man l | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic design and switching theory
Author: Muroga, Saburo; | Call Number: 621.395 Mur l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical programming seri 1/ Narchrowi
Author: Narchrowi; | Call Number: 519.72 Nac m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical programming, seri II/ Nachrowi
Author: Nachrowi; | Call Number: 519.72 Nac m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Choosing and using ECL
Call Number: 621.381 Mat c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Computational logic in multi-agent systems: 9th International workshop, CLIMA IX Dresden, Germany, September 2008 revised selected and invited papers
Author: Fisher, Michael; | Call Number: 006.3 Fis c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
13
14
15
16
17
18
19
20
21
22
Next
Search Result