Ditemukan 204 dokumen yang sesuai dengan query
Computer safety, reliability, and security : SAFECOMP 2012 Workshops : Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012 : proceedings
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the...
Berlin : Springer-Verlag, 2012
e20410578
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered...
Berlin: Springer-Verlag, 2012
e20410072
eBooks Universitas Indonesia Library
Marco Bernardo, editor
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics...
Berlin: [, Springer-Verlag], 2012
e20410465
eBooks Universitas Indonesia Library
Orozco, J. Martín Serrano, author
This book examines the role ontology engineering can play in providing solutions to the problems of information interoperability and linked data. At the same time as introducing basic concepts of ontology engineering, the book discusses methodological approaches to formal representation of data and information models, thus facilitating information interoperability between...
New York: [, Springer Science], 2012
e20418223
eBooks Universitas Indonesia Library
Kelley, Jeff, author
The cocoa touch frameworks and APIs are powerful tools for creating native iOS apps, and they're free with Xcode, Apple's development environment. Learn cocoa touch for iOS shows you how to use frameworks like MapKit, twitter, and medipPlayer. You'll also learn about hardware APIs so you can get the most...
New York: Springer, 2012
e20425453
eBooks Universitas Indonesia Library
Balliauw, Maarten, author
Pro NuGet offers you a solid architectural understanding of how to manage software dependencies using NuGet, an open-source package management tool for the .NET Framework. Providing practical guidance through a multitude of examples and more advanced scenarios, this book shows you how to unleash all the power that NuGet offers....
New York : Springer, 2012
e20425648
eBooks Universitas Indonesia Library
This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new...
Switzerland: Springer Nature, 2019
e20509145
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and...
Berlin: Springer-Verlag, 2012
e20410462
eBooks Universitas Indonesia Library
Agus Sugiono, author
Pengembangan sistem aplikasi sangat diperlukan oleh Bank X untuk memperlancar dan mempermudah proses bisnis Bank X yang vital. Walaupun demikian, pada proses pengembangan sistem aplikasi tersebut terkadang masih mendapat beberapa hambatan. Hambatan tersebut dapat berupa kualitas yang tidak sesuai standar, biaya yang melebihi anggaran dan melampaunya waktu pengembangan sistem aplikasi....
Depok: Fakultas Teknik Universitas Indonesia, 2008
S50286
UI - Skripsi (Open) Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the 2011 ICSOC Workshops consisting of 5 scientific satellite events, organized in 4 tracks: workshop track (WESOA 2011; NFPSLAM-SOC 2011), PhD symposium track, demonstration track, and industry track; held in conjunction with the 2011 International Conference on Service-Oriented Computing (ICSOC), in Paphos,...
Berlin: Springer-Verlag, 2012
e20410240
eBooks Universitas Indonesia Library
