Ditemukan 1014 dokumen yang sesuai dengan query
Dongen, M.R.C. van, author
This book teaches all the ins and outs of LaTeX which are needed to write an article, report, thesis, or book. The book teaches by example, giving many worked out examples showing input and output side by side. The book presents the most recent techniques for presenting data plots, complex...
Berlin: Springer-Verlag, 2012
e20407978
eBooks Universitas Indonesia Library
This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated...
Berlin: Springer-Verlag, 2011
e20407983
eBooks Universitas Indonesia Library
Ari Juels, editor
This book constitutes the thoroughly refereed post-worksop proceedings of the 7th International Workshop Radio Frequency Identification: Security and Privacy Issues. RFIDSec 2011, held in Amherst, Massachusetts, USA, in June 2011. The 12 revised full papers presented were carefully reviewed and selected from 21 initial submissions for inclusion in the book....
Berlin: Springer-Verlag, 2012
e20407984
eBooks Universitas Indonesia Library
Pascal Bouvry, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Meeting of the 2nd Luxembourg-Polish Symposium on Security and Trust and the 19th International Conference Intelligent Information Systems, held as International Joint Confererence on Security and Intelligent Information Systems, SIIS 2011, in Warsaw, Poland, in June 2011. The 29...
Berlin: Springer-Verlag, 2012
e20408078
eBooks Universitas Indonesia Library
Ober, Iulian, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as...
Berlin: Springer-Verlag, 2011
e20408082
eBooks Universitas Indonesia Library
Nirmit Desai, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2010, held in Kolkata, India, in November 2010.
The 18 full papers presented together with 15 early innovation papers were carefully reviewed and selected from over 63 submissions. They...
Berlin: Springer-Verlag, 2012
e20408084
eBooks Universitas Indonesia Library
Russo, Claudio, editor
This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of Programming Languages. The 38 revised technical papers presented together with 3 application papers...
Berlin: Springer-Verlag, 2012
e20408094
eBooks Universitas Indonesia Library
Meyer, Bertrand, 1950-, author
Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as...
Berlin: Springer-Verlag, 2011
e20408100
eBooks Universitas Indonesia Library
Sebastian Mödersheim, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed...
Berlin: Springer-Verlag, 2012
e20408103
eBooks Universitas Indonesia Library
Roberto De Virgilio, editor
In this book, present an extensive overview of the work done in Semantic Search and other related areas. They explore different technologies and solutions in depth, making their collection a valuable and stimulating reading for both academic and industrial researchers.
The book is divided into three parts. The first introduces the...
Berlin: Springer-Verlag, 2012
e20408106
eBooks Universitas Indonesia Library
