Search Result
Save to File
Your search for
311
returns
612
document(s)
Discrete-event system simulation 5th ed.
Call Number: 658.403 Dis | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An introduction to formal program verification
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Selling formal methods to industry, (LNCS-Lecture Notes in Computer Science 670) Hal 671-678
Author: Debora Weber-Wulff; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal methods reality check: industrial usage, (LNCS-Lecture Notes in Computer Science 670) Hal 250-267
Author: Dan Craigen; Susan Gerhart; Ted Ralston; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Currents in the theory of computing/ Alfred V. Aho
Call Number: 006.3 Cur | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Syntactic pattern recognition: an introduction
Author: Gonzalez, Rafael C.; | Call Number: 006.4 Gon s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical foundations of programming/ F.S. Beckman
Author: Beckman, Frank S.; | Call Number: 519.4 Bec m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Introduction to automata theory, languages and computation
Author: Hopcroft, John E.; | Call Number: 629.831 2 Hop i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Theory of finite automata
Author: Carrol, John; | Call Number: 511 Car t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan prototipe semantic portal berbasis ontologi E-goverment: studi kasus pemerintah kota Depok
Author: Abdul Muttaqien; Akhmad Mubarok; M. Yudha A.; Siti Fuadi Fithri; | Call Number: SP-138 (Softkopi SP-78) SCSP-61 | Type: Student Project (SP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next