Ditemukan 2290 dokumen yang sesuai dengan query
Howe, Hubert S., author
Englewood Cliffs: Prentice-Hall, 1981
001.642 HOW t
Buku Teks Universitas Indonesia Library
Hughes, Joan K., author
Englewood Cliffs, NJ: Prentice-Hall, 1977
001.642 HUG s
Buku Teks Universitas Indonesia Library
Inman, Don, author
New York: John Wiley & Sons, 1981
001.642 INM m
Buku Teks Universitas Indonesia Library
F.X. Sutiono Gunadi, author
Jakarta : Elex Media Komputindo, 1990
001.642 SUT b
Buku Teks Universitas Indonesia Library
Tracton, Ken, author
Bene Ridge Summit: Tab Books , 1980
001.642 TRA m
Buku Teks Universitas Indonesia Library
Clements, Alan, author
London: McGraw-Hill, 1991
R 004.16 CLE m
Buku Referensi Universitas Indonesia Library
Warnier, Jean Dominique
New York: Van Nostrand Reinhold , 1974
001.642 WAR l
Buku Teks Universitas Indonesia Library
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum...
Berlin: Springer-Verlag, 2012
e20409217
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic...
Berlin: Springer-Verlag, 2012
e20409380
eBooks Universitas Indonesia Library
Soepono Soeparlan, author
Jakarta: Gunadarma , 1995
003.3 SOE p
Buku Teks Universitas Indonesia Library