| Your search for 24086 returns 1579 document(s) |
| Logic for applications 2nd ed. |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol.2 deductive system |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. 2: deductive systems |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic: a foundation for computer science |
|
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical programming: theory and algorithms/Michel Minoux |
|
Author: Winograd, Michel; | Call Number: 519.7 Win m | 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
|
| New trends in formal languages: control, cooperation, and combinatorics/Paum Gheorge |
|
Author: Paun, Gheorghe; | Call Number: 511.3 Pau n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal languages/ Arto Salomma |
|
Author: Salomma, Arto; | Call Number: 511.3 Sal f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimal control by mathematical programming/ Daniel Tabak |
|
Author: Tabak, Daniel; | Call Number: 519.3 Tab o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result