Ditemukan 171 dokumen yang sesuai dengan query
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks Universitas Indonesia Library
Marco Brambilla, editor
This book constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. The 20 revised full papers and 15 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on social networks...
Berlin: [Springer-Verlag, ], 2012
e20410176
eBooks Universitas Indonesia Library
Wohlin, Claes, editor
This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmö, Sweden, in May 2012.
The topics covered include general aspects of agility, agile teams, studies related to the release and maintenance of software, and research on specific practices in agile and...
Berlin: [, Springer-Verlag], 2012
e20410479
eBooks Universitas Indonesia Library
Telah dibuat sebuah sistem pengendali katup (valve) elektronis otomatis berbasis komputer. Sistem ini dapat mengendalikan hingga delapan buah katup aliran udara pada sistem gas mengalir (SGM). Udara tekan yang mengandung gas cuplikan dilewatkan pada SGM ini untuk diukur konsentrasinya oleh sistem spektroskopi fotoakustik (SFA). Komputer memerintahkan sistem pengendali katup elektronik...
JURFIN 10:30 (2006)
Artikel Jurnal Universitas Indonesia Library
Contents :
- Table of Contents by Author
- Acronym Guide
- Foreword
- DSL: Branding for Success
- DSL Market Acceleration Issues and Predictions
- The Power of DSL
- Managing the Copper Loop in the 21st Century: Automated Loop
Management System...
Chicago: International Engineering Consortium, 2000
e20451481
eBooks Universitas Indonesia Library
This book gathers the proceedings of the I-ESA 18 Conference, which was organised by the Fraunhofer IPK, on behalf of the European Virtual Laboratory for Enterprise Interoperability (INTEROP-VLab) and the DFI, and was held in Berlin, Germany in March 2018. It presents contributions ranging from academic research and case studies,...
Switzerland: Springer Nature, 2019
e20508307
eBooks Universitas Indonesia Library
Tauhid Nur Azhar, author
Solo: Metagraf, 2012
379.116 TAU r
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization...
Berlin: Springer-Verlag, 2012
e20410436
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Gdańsk, Poland, in conjunction with the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, in June 2012.The 35 full and 17 short revised papers were carefully selected from 104 submissions. The eight workshops were Agility...
Berlin: Springer-Verlag , 2012
e20406310
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the International Conference on Data and Knowledge Engineering, ICDKE 2012, held in Wuyishan, Fujian, China, in November 2012. The conference was co-located with the 6th International Conference on Network and System Security, NSS 2012. The 13 revised full papers of ICDKE 2012 were...
Berlin: Springer, 2012
e20406946
eBooks Universitas Indonesia Library
