| Your search for 959 returns 416 document(s) |
| Mathematical handbook of formulas and tables: schaum's outline series/Murray R. Spiegel |
|
Author: Spiegel, Murray R.; | Call Number: R.510.2 Spi m | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Sat based approach for solving formulas over boolean and linear mathematical propositions, Hal. 193-210 |
|
Author: Gilles Audemard; Piergiorgio Bertoli, Alessandro Cimatti; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of writing for the mathematical sciences/Nicholas J. Higham |
|
Author: Higham, Nicholas J.; | Call Number: R.808.066 02 Hig h | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Preference Formulas in Rational Queries |
|
Author: J. Chomicki | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Curvature Formulas for Implicit Curves and Surfaces, page 632-658 |
|
Author: R. Goldman | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Selected problems of minization of variable-valued logic formulas |
|
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schaum's outline of electromagnetics/Joseph Edminister |
|
Author: Edminister, Joseph; | Call Number: 537.020 2 Edm s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Testing satisfiability of CNF formulas by computing a stable set of points, Hal. 161-180 |
|
Author: Eugene Goldberg; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical Programming |
|
Call Number: [8 (1975): 1-3; 9 (1975): 1-3, (1975): 4-6, 11 (1976): 3, 10 (1976): 1-3, 12 (1977): 1-3, 13 (1977): 1-3, 14 (1977): 1-3, 16 (1979): 1-3, 18 (1980): 1-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical modelling |
|
Call Number: 511-8 Mat | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result