Ditemukan 171 dokumen yang sesuai dengan query
Constable, Robert L., editor
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related...
Berlin : [Springer-Verlag, ], 2012
e20410510
eBooks Universitas Indonesia Library
Tomasz Szmuc, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in...
Heidelberg: [, Springer], 2012
e20410513
eBooks Universitas Indonesia Library
Philippe Cudre-Mauroux, editor
The two-volume set LNCS 7649 + 7650 constitutes the refereed proceedings of the 11th International Semantic Web Conference, ISWC 2012, held in Boston, MA, USA, in November 2012. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are...
Berlin : [, Springer-Verlag], 2012
e20410558
eBooks Universitas Indonesia Library
Philippe Cudre-Mauroux, editor
The two-volume set LNCS 7649 + 7650 constitutes the refereed proceedings of the 11th International Semantic Web Conference, ISWC 2012, held in Boston, MA, USA, in November 2012. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are...
Berlin : [, Springer-Verlag], 2012
e20410559
eBooks Universitas Indonesia Library
Software engineering : architecture-driven software development is the first comprehensive guide to the underlying skills embodied in the IEEE's Software Engineering Body of Knowledge (SWEBOK) standard. Standards expert Richard Schmidt explains the traditional software engineering practices recognized for developing projects for government or corporate systems.
Software engineering education often lacks standardization,...
Waltham, MA: Morgan Kaufmann, 2013
e20427718
eBooks Universitas Indonesia Library
The ALENEX workshop provides a forum for the presentation of original research in the implementation and experimental evaluation of algorithms and data structures. This volume collects extended versions of the 12 papers that were selected for presentation...
Philadelphia: Society for Industrial and Applied Mathematics, 2003
e20443191
eBooks Universitas Indonesia Library
M. Oktaviandri, author
ABSTRAK
Dalam mendisain sebuah peralatan kilang, proses pemilihan material dinilai baik apabila dalam pemakaiannya material tersebut paling tidak mempunyai umur sama dengan umur disain. Untuk mencapai hal itu maka semua kriteria yang disyaratkan bagi kandidat material harus dibuat selengkap mungkin.
Hal lain yang tak kalah pentingnya adalah tersedianya sistem informasi material itu...
1997
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Jones, Peter H.
USA : McGraw-Hill Inc., 1998,
R 005.12 JON h
Buku Referensi Universitas Indonesia Library
This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 80 submissions. The papers are organized...
Heidelberg: Springer-Verlag, 2012
e20409985
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from...
Berlin: Springer-Verlag, 2012
e20407834
eBooks Universitas Indonesia Library
