Ditemukan 362 dokumen yang sesuai dengan query
Scarpino, Matthew, 1975-, author
Hoboken, NJ: John Wiley & Sons, 2018
006.31 SCA t
Buku Teks Universitas Indonesia Library
Laird, John, 1954-, author
Boston: Kluwer, 1986
006.3 LAI u
Buku Teks Universitas Indonesia Library
Levine, Robert l., author
New York: McGraw-Hill, 1988
006.3 LEV c
Buku Teks Universitas Indonesia Library
Luger, George F., author
California: The Benjamin/Cummings , 1989
006.3 LUG a
Buku Teks Universitas Indonesia Library
Oxford: Oxford University Press , 1991
006.3 MAC
Buku Teks Universitas Indonesia Library
Minton, Steven, author
Boston: Kluwer, 1988
006.3 MIN l
Buku Teks Universitas Indonesia Library
Cham: Springer, 2019
006.3 SOF
Buku Teks Universitas Indonesia Library
Tomita, Fumiaki, author
Boston: Kluwer Academic, 1990
006.3 TOM c
Buku Teks Universitas Indonesia Library
Jonathan Richard, author
Pandemi Coronavirus Disease-19, saat ini masih merupakan sebuah permasalahan di Negara Indonesia, dengan nilai infeksi yang mencapai 6 juta dan nilai kematian mencapai 156 ribu. Permasalahan ini juga turut menghambat dilakukannya kegiatan pembelajaran secara tatap muka, dikaerenakan pelaksanaan pembelajaran secara tatap muka dapat meningkatkan risiko mengingkatnya nilai infeksi Covid-19 di...
Depok: Fakultas Teknik Universitas Indonesia, 2022
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are...
Berlin: Springer, 2012
e20409326
eBooks Universitas Indonesia Library