Ditemukan 610 dokumen yang sesuai dengan query
Chao, Loncoln L.
New York: McGraw-Hill, 1969
519.5 CHA s
Buku Teks Universitas Indonesia Library
Meyer, Walter J., author
New York : McGraw-Hill, 1984
511.8 MEY c
Buku Teks Universitas Indonesia Library
Meyer, Walter J., author
New York : McGraw-Hill, 1985
511.8 MEY c
Buku Teks Universitas Indonesia Library
Spiegel, Murray R., author
Jakarta: Erlangga, 2004
519.5 SPI s
Buku Teks Universitas Indonesia Library
Spiegel, Murray R., author
Jakarta: Erlangga, 2007
519.5 SPI t
Buku Teks Universitas Indonesia Library
Beauchamp, Murray A., author
New Jersey : Random House , 1970
510 BEA e
Buku Teks Universitas Indonesia Library
Chiang, Alpha C., 1927-, author
Jakarta: Salemba Empat, 2010
330.018 2 FUN
Buku Teks Universitas Indonesia Library
Chiang, Alpha C., 1927-, author
Jakarta: Salemba Empat, 2010
330.018 2 FUN
Buku Teks Universitas Indonesia Library
Ben-Ari, Mordechai, author
Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student...
London: Springer, 2012
e20407627
eBooks Universitas Indonesia Library
Biebler, Karl-Ernst, author
This book presents methods of mathematical modeling from two points of view. Splines provide a general approach while compartment models serve as examples for context related to modeling. The preconditions and characteristics of the developed mathematical models as well as the conditions surrounding data collection and model fit are taken...
Singapore: World Scientific, 2013
511.8 BIE s
Buku Teks Universitas Indonesia Library