Ditemukan 617 dokumen yang sesuai dengan query
Galuh Dian Maulana, author
KPEI merupakan lembaga kliring dan mitra pengimbang dalam penyelesaian transaksi bursa. Sebagai lembaga yang melakukan penjaminan atas transaksi Anggota Kliring (AK), KPEI menanggung risiko yang ditimbulkan akibat aktivitas perdagangan AK di bursa terutama risiko kegagalan penyelesaian kewajiban. Karena itu KPEI harus mengetahui bagaimana profil aktivitas setiap AK yang meliputi transaksi...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2005
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410163
eBooks Universitas Indonesia Library
Martin Beer, editor
This book consists mainly of revised papers that were presented at the Agents for Educational Games and Simulation (AEGS) workshop held on May 2, 2011, as part of the Autonomous Agents and MultiAgent Systems (AAMAS) conference in Taipei, Taiwan. The 12 full papers presented were carefully reviewed and selected from...
Berlin: [, Springer-Verlag], 2012
e20410393
eBooks Universitas Indonesia Library
Goodloe, Alwyn E., editor
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are...
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks Universitas Indonesia Library
Tiziana Margaria, editor
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-Verlag], 2012
e20410565
eBooks Universitas Indonesia Library
Kazmierski, Tom J., editor
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and...
New York: [Springer, ], 2012
e20418367
eBooks Universitas Indonesia Library
Arnoldus, B.J., author
This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces...
Paris: Atlantis Press, 2012
e20420662
eBooks Universitas Indonesia Library
Mayberry, Michael, author
Windows 8 application development is an exciting topic these days. Windows 8 introduces WinRT, the API for accessing the operating system and the underlying hardware where Metro applications run. WinRT can be accessed through multiple development languages, including C++, .NET languages and JavaScript. Developers from all backgrounds can use their...
New York: Springer, 2012
e20425418
eBooks Universitas Indonesia Library
Freeman, Adam, author
Windows 8 introduces WinRT, the API for accessing the operating system and the underlying hardware where Metro applications run. WinRT can be accessed through multiple development languages, including C++, .NET languages and JavaScript. Developers from all backgrounds can use their skills to build beautiful and fast Windows 8 applications. Author...
New York: Springer, 2012
e20425423
eBooks Universitas Indonesia Library
Cimolini, Patrick, author
Agile oracle application express shows how skilled, motivated, and self-organizing developers can realize extraordinary commercial benefits from oracle application express. The secret is to couple application express with an agile software development approach. Application express supports a gamut of enabling technologies such as SQL, HTML, CSS, JavaScript, and more that...
New York: Springer, 2012
e20425429
eBooks Universitas Indonesia Library
