Your search for 25804 returns 2249 document(s) |
Logics of time and computation |
Author: Goldblatt, Robert; | Call Number: 160 Gol l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal logic: its scope and limits/ Richard Jeffrey |
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Deductive logic and Description language/ Frank R. Harrison III |
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Simulated annealing and boltz mann machines: Stochastic approach to combinatorial optimization and neural computing/E.H.L. Aarts |
Author: Aarts, E.H.L.; | Call Number: 519 Aar s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Linear programming in infinite dimensial spaces theory and applications |
Author: Anderson, Edward G.; | Call Number: 519.72 And l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete mathematics for computer scientists and mathematics second edition |
Author: Mott, Joe L.; | Call Number: 555.6 Mot d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete mathematical structures with applications to computer science/ Jean-Paul Tremblay |
Author: Tremblay, Jean-Paul; | Call Number: 510.24 Tre d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical software/ edited by John R. Rice |
Author: Rice, John R.; | Call Number: 511 Ric m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
how to read and proofs: an introduction to mathematical thought process/ Daniel Solow |
Author: Solow, Daniel; | Call Number: 511.3 Sol h | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Foundations of genetic programming/ William B. Landon |
Author: Langdon, William B.; | Call Number: 006.31 Lan f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|