Ditemukan 462 dokumen yang sesuai dengan query
Darko Stefanovic, editor
This book constitutes the refereed proceedings of the 18th International Conference on DNA Computing and Molecular Programming, DNA 18, held in Aarhus, Denmark, in August 2012. The 11 full papers presented were carefully selected from 37 submissions. The papers are organized in topical sections on advancing the engineering and science...
Berlin: [, Springer-Verlag], 2012
e20410077
eBooks Universitas Indonesia Library
Claudio A. Ardagna, editor
This book is an outcome of the International Workshop on Business System Management and Engineering (BSME 2010), held in Malaga, Spain, in June/July 2010, in conjunction with the TOOLS 2010 federated conferences and under the aegis of the EU Network of Excellence on Service Software and Systems (S-Cube). The goal...
Berlin: [, Springer-Verlag], 2012
e20410083
eBooks Universitas Indonesia Library
Joachim Gudmundsson, editor
This book constitutes the refereed proceedings of the 18th Annual International Conference on Computing and Combinatorics, held in Sydney, Australia, in August 2012. The 50 revised full papers presented were carefully reviewed and selected from 121 submissions. Topics covered are algorithms and data structures, algorithmic game theory and online...
Berlin: [, Springer-Verlag], 2012
e20410103
eBooks 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
The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for...
Berlin: Springer-Verlag, 2012
e20410265
eBooks Universitas Indonesia Library
Theo Dimitrakos, editor
This book constitutes the refereed proceedings of the 6th IFIP WG 11.11 International Conference, IFIPTM 2012, held in Surat, India, in May 2012. The 12 revised full papers presented together with 8 short papers and the abstracts of 4 keynote talks were carefully reviewed and selected from 51 submissions. Building...
Heidelberg: [, Springer], 2012
e20410298
eBooks Universitas Indonesia Library
Massimo Ferri, editor
This book constitutes the proceedings of the 4th International Workshop on Computational Topology in Image Context, CTIC 2012, held in Bertinoro, Italy, in May 2012. The 16 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They focus on the topology and computation in...
Berlin: [Springer-Verlag, ], 2012
e20410301
eBooks Universitas Indonesia Library
Gavrilova, Marina L., editor
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in...
Berlin: [, Springer-Verlag], 2012
e20410392
eBooks Universitas Indonesia Library
Olivier Bodenreider, editor
This book constitutes the refereed proceedings of the 8th International Conference on Data Integration in the Life Sciences, DILS 2012, held in College Park, MD, USA, on June 28-29, 2012. The 11 revised papers included in this volume were carefully reviewed and selected. The papers cover the following topics, foundations...
Berlin: [, Springer-Verlag], 2012
e20410463
eBooks Universitas Indonesia Library
Rachid Benlamri, editor
This two-volume-set (CCIS 293 and CCIS 294) constitutes the refereed proceedings of the International Conference on Networked Digital Technologies, NDT 2012, held in Dubai, UAE, in April 2012. The 96 papers presented in the two volumes were carefully reviewed and selected from 228 submissions. The papers are organized in topical...
Berlin: [, Springer-Verlag], 2012
e20410491
eBooks Universitas Indonesia Library
