Your search for 52080 returns 2677 document(s) |
Programmable logic handbook/Ashok K. Sharma |
Author: Sharma, Ashok K.; | Call Number: 621.395 Sha p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
First-order logic and automated proving |
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Beginning database design/ Gavin Powell |
Author: Powell, Gavin; | Call Number: 005.74 Pow b | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer algorithms : Introduction to Design and Analysis second edition (2nd) |
Author: "Baase, Sara"; | Call Number: 519.7 Baa c | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Concurrent Programming in Java Design Principles and Patterns Second Edition / Doug Lea |
Author: Lea, Doug; | Call Number: 005.2 Lea c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to logic programming through prolog/Michael Spivey |
Author: Spivey, J.M.; | Call Number: 005.133 Spi i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengenalan bentuk dengan metode N-tuple dan fuzzy logic. (hal. G-42/G-45 ) |
Author: Samuel Lukas,Arnold Aribowo,Yunita Thedykurnia; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Why prolog?: justifying logic programming for practical applications |
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Systems design and documentation: an introduction to the HIPO method |
Author: Katzan, Harry Jr; | Call Number: 003 Kat s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|