Ditemukan 15443 dokumen yang sesuai dengan query
Sauer, Charles
Englewood Cliffs, NJ: Prentice-Hall, 1983
004.65 SAU s
Buku Teks SO Universitas Indonesia Library
Gould, Harvey
New York: Addison-Wesley, 1996
530.011 GOU i
Buku Teks SO Universitas Indonesia Library
Naylor, Thomas H.
New York : John Wiley & Sons, 1971
003.3 NAY c
Buku Teks Universitas Indonesia Library
Kerr, Elaine B.
Orlando: Academic Press, 1982
004.6 KER C
Buku Teks SO Universitas Indonesia Library
Birdsall, Charles K.
New York: McGraw-Hill, 1985
530.44 BIR p
Buku Teks SO Universitas Indonesia Library
Nussbaumer, Henri J., 1931-
Chichester : John Wiley & Sons, 1990
004.6 NUS c II
Buku Teks SO Universitas Indonesia Library
Marco Bernardo, editor
"This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages, model transformations, functional and performance modeling and analysis, and model evolution management."
Berlin: [, Springer-Verlag], 2012
e20410465
eBooks Universitas Indonesia Library
Stagg, Glenn W.
Tokyo: McGraw-Hill Kogakusha, 1968
510 STA c (1);510 STA c (2)
Buku Teks SO Universitas Indonesia Library
Beard, Daniel A.
Cambridge, UK: Cambridge University Press, 2012
571.401 13 BEA b
Buku Teks Universitas Indonesia Library
Collin, Serge
Masson: Prentice-Hall, 1988
004.6 COL c
Buku Teks SO Universitas Indonesia Library
