Ditemukan 105 dokumen yang sesuai dengan query
Farid Suseno Siswo Suwignyo, author
Pada zaman serba komputer ini, sebagai seorang perencana dituntut untuk lebih cepat, tepat dan efisien dalam menghasilkan suatu perencanaan. Terutama pada saat menghitung biaya perkiraan dalam suatu pekerjaan konstruksi. Untuk menghasikan suatu perhitungan yang akurat dan efisien terhadap waktu, dibutuhkan alat bantu yaitu Aplikasi Komputer. Untuk itu dibutuhkan Aplikasi bantu...
Depok: Fakultas Teknik Universitas Indonesia, 2004
S35186
UI - Skripsi (Membership) Universitas Indonesia Library
Anderson, John, author
This book explains the principles of intelligent telecommunications networks and illustrates them with many practical examples of applications. Although international standards are beginning to emerge, they are far from simple and this text will assist clarity in understanding the underlying principles. The enabling technologies are reviewed but much of the...
London: Institution of Engineering and Technology, 2002
e20452545
eBooks Universitas Indonesia Library
This book constitutes the revised selected papers from the First International Workshop on Multimedia for Cultural Heritage, MM4CH 2011, held in Modena, Italy, on May 3, 2011. The 8 full papers and 9 poster papers included in this volume were carefully reviewed and selected from 25 submissions. In addition, the...
Berlin: Springer-Verlag, 2012
e20408197
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009, co-located with the International Joint...
Berlin: Springer-Verlag, 2012
e20410404
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the...
Berlin: Springer-Verlag, 2012
e20410372
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as...
Berlin: Springer-Verlag, 2012
e20410330
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012.
The 16 revised full papers presented together with 5 tool papers and 5 selected...
Berlin: Springer-Verlag, 2012
e20410264
eBooks Universitas Indonesia Library
The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting...
Berlin : Springer-Verlag, 2012
e20410593
eBooks Universitas Indonesia Library
The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting...
Berlin : Springer-Verlag, 2012
e20410592
eBooks Universitas Indonesia Library
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : Springer, 2012
e20410564
eBooks Universitas Indonesia Library
