Ditemukan 617 dokumen yang sesuai dengan query
Euro-Par 2011 : parallel processing workshops ; CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29–September 2, 2011 : revised selected papers, part II
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 17th International Conference on Parallel Computing, Euro-Par 2011, held in Bordeaux, France, in August 2011. The papers of these 12 workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS HPCF, PROPER, CCPI, and VHPC focus on promotion and advancement...
Berlin: Springer-Verlag, 2012
e20410518
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 18th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Raesfeld, Germany, in September 2012. The 9 revised papers presented together with 12 short papers were carefully reviewed and selected from numerous submissions. They are grouped into five themes that...
Berlin: Springer-Verlag , 2012
e20406362
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 25th International Conference on Architecture of Computing Systems, ARCS 2012, held in Munich, Germany, in February/March 2012. The 20 revised full papers presented in 7 technical sessions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections...
Berlin: Springer-Verlag, 2012
e20410506
eBooks Universitas Indonesia Library
Farros Mufid, author
FAA beralih dari teknologi radar ke teknologi ADS-B. Teknologi ADS-B menggunakkan satelit dan tidak lagi menggunakkan radar. ADS-B menyediakan lebih banyak keamanan, lebih banyak cakupan dan lebih murah untuk diterapkan. Teknologi ADS-B memungkinkan pilot untuk melihat pesawat lain di udara langsung dari kokpit mereka. Teknologi ini juga menampilkan cuaca berbahaya,...
Depok: Fakultas Teknik Universitas Indonesia, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Singgih Santoso, author
Yogyakarta: Andi, 2003
004.0285 SAN s
Buku Teks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20410089
eBooks Universitas Indonesia Library
Wechler, Wolfgang, author
Berlin: Springer-Verlag , 1992
005.101 WEC u
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present...
Berlin: Springer-Verlag, 2012
e20409115
eBooks Universitas Indonesia Library
Claudio Yosafat, author
Kebutuhan masyarakat terhadap sebuah produk berbasis website sangat bervariasi. Soft- ware Product Line Engineering merupakan salah satu solusi yang dapat digunakan untuk memenuhi variasi kebutuhan tersebut. SPLE akan melihat persamaan dan variasi dari ke- butuhan pengguna untuk menghasilkan berbagai macam software yang sesuai dengan ke- butuhan pengguna. Software yang sudah...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Sitinjak, Tumpal J. R., author
Yogyakarta: Graha Ilmu, 2006
005.3 SIT l
Buku Teks Universitas Indonesia Library
