Your search for 5299 returns 799 document(s) |
Formal Methods in Artificial Intelligence |
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Algorithms: Sequential, Parallel, and Distributed/ Kenneth A. Berman and Jerome L. Paul |
Author: Berman, Kenneth A.; | Call Number: 005.1 Ber a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automata buchi dan word takhingga, Hal. 183-186 |
Author: Zulherman Rustam; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Robust timed automata, Hal. 331 - 345 |
Author: Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for concurency: structure versus automata |
Call Number: 511.3 Log | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Tables of integral transforms vol.1: based, in part on notes left/ by Harry Bateman |
Author: Bateman, Harry; | Call Number: R.517.5 Bat t | Type: Buku Referensi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Table of integral transforms vol.II: based, in part, on notes left / by Harry Bateman |
Author: Bateman, Harry; | Call Number: R.517.5 Bat t | Type: Buku Referensi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Complex variables and applications 8th ed. |
Author: Brown, James Ward; | Call Number: 515.93 Bro c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A first course in complex analysis with applications 2nd ed. |
Author: Zill, Dennis G.; | Call Number: 515.9 Zill f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introducing real analysis/ D.H. Fowler |
Author: Fowler, D.H.; | Call Number: 511.33 Fow i | Edition: 1996 | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|