Ditemukan 23825 dokumen yang sesuai dengan query
McMillan, Claude
Homewood: R.D. Irwin, 1973
658.403.2 MCM s
Buku Teks Universitas Indonesia Library
McMillan, Claude
Taipei : Ta Tung Book , 1971
004.2 MCM s
Buku Teks Universitas Indonesia Library
Naylor, Thomas H.
New York : John Wiley & Sons, 1971
003.3 NAY c
Buku Teks Universitas Indonesia Library
Bulgren, William G.
Englewood Cliffs, NJ: Prentice-Hall, 1982
001.434 BUL d
Buku Teks Universitas Indonesia Library
Hoover, Stewart V.
Massachussetts: Addison-Wesley, 1990
001.434 HOO s
Buku Teks Universitas Indonesia Library
Peterson, Larry L.
San Francisco: Morgan Kaufmann Publisher, 2007
004.65 PET c
Buku Teks SO Universitas Indonesia Library
MacDougall, Myron H.
London: MIT Press, 1987
003.3 MAC s
Buku Teks SO Universitas Indonesia Library
Ramalingam, P.
New York: John Wiley & Sons, 1976
658.403 2 RAM s
Buku Teks Universitas Indonesia Library
"This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits."
Berlin: Springer-Verlag, 2012
e20409373
eBooks Universitas Indonesia Library
Millington, D.
New York: Ellis Horwood, 1981
003 MIL s
Buku Teks Universitas Indonesia Library
