Ditemukan 6 dokumen yang sesuai dengan query
De Blij, Harm J., author
New York: John Wiley & Sons, 1993
910.02 DEB p
Buku Teks Universitas Indonesia Library
Wheeler, James O., author
New York : John Wiley & Sons, 1986
330.9 WHE e
Buku Teks Universitas Indonesia Library
De Blij, Harm J., author
New York: John Wiley & Sons, 1994
910 DEB g
Buku Teks Universitas Indonesia Library
De Blij, Harm J., author
New York: John Wiley & Sons, 1997
910 DEB g
Buku Teks Universitas Indonesia Library
De Blij, Harm J., author
New York: John Wiley & Sons, 1996
R 910.02 DEB p
Buku Referensi Universitas Indonesia Library
Rajeev Joshi, editor
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions...
Berlin: Springer-Verlag, 2012
e20408170
eBooks Universitas Indonesia Library
