Hasil Pencarian

Ditemukan 10057 dokumen yang sesuai dengan query 20410422
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
Pengarang : P. Madhusudan, editor
No. Panggil : e20410422
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Intelligent virtual agents : 12th international conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings
Pengarang : Yukiko Nakano, editor
No. Panggil : e20409991
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings
Pengarang : Thomas Agotnes, editor
No. Panggil : e20410210
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Advances in cryptology ? CRYPTO 2012 : 32nd Annual Cryptology Conference Santa Barbara, CA, USA, August 19-23, 2012. Proceedings
Pengarang : Tidak ada pengarang
No. Panggil : e20406300
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Proceedings of the 14th international scientific conference: computer aided engineering
Pengarang : Tidak ada pengarang
No. Panggil : e20509927
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Computer vision - ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings, part I
Pengarang : Tidak ada pengarang
No. Panggil : e20410569
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
<<   1 2 3 4 5   >>