Search Result
Save to File
Your search for
51162
returns
3431
document(s)
The temporal logic of reactive and concurrent systems specification
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic programming/ edited by K.L. Clark and S. A. Tarnlund
Call Number: 005.1 Log | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Scheme and the art of programming/George Springer, Daniel P. Friedman
Author: Springer, George; | Call Number: 005.1 Spr s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Managing a programming project/ Philip W. Metzger
Author: Metzger, Phip W.; | Call Number: 005.106 8 Met m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Developing structured systems/Brian Dickinson
Author: Dickmson, Brian; | Call Number: 005.113 Dic d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Combinatorial algoriths/Ludel Kucera
Author: Kucera, Ludek; | Call Number: 005.12 Kuc c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Recursion via pascal/ J.S. Rohl
Author: Rohl, J.S.; | Call Number: 005.133 Roh r | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Strategies for natural language processing/ edited by Wendy G. Lehnert
Call Number: 005.133 Stra | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical theory of computation
Author: Manna, Zohar; | Call Number: 005.14 Man m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Programming for artificial intelligence: methods and applications
Author: Kreutzer, Wolfgang; | Call Number: 006.3 Kre p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
7
8
9
10
11
12
13
14
15
16
Next