Ditemukan 222 dokumen yang sesuai dengan query
Paris Avgeriou, editor
The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies...
Berlin: [Springer-Verlag , ], 2012
e20409984
eBooks Universitas Indonesia Library
Federico Alvarez, editor
The Future Internet Assembly (FIA) is a successful and unique bi-annual conference that brings together participants of over 150 projects from several distinct but interrelated areas in the EU Framework Programme 7. The 20 full papers included in this volume were selected from 40 submissions, and are preceded by a...
Heidelberg: [, Springer], 2012
e20410310
eBooks Universitas Indonesia Library
David Fernandez-Baca, editor
This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were carefully reviewed and selected from 153 submissions. The papers address a variety of topics in theoretical computer science with...
Berlin: [, Springer-Verlag], 2012
e20410379
eBooks Universitas Indonesia Library
Ferruh Ozbudak, editor
This book constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July 2012. The 13 revised full papers and 4 invited talks presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical...
Berlin: [, Springer-Verlag], 2012
e20410407
eBooks Universitas Indonesia Library
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin : [, Springer-Verlag], 2012
e20410561
eBooks Universitas Indonesia Library
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin : [, Springer-Verlag], 2012
e20410562
eBooks Universitas Indonesia Library
Tianyuan Xiao, editor
The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented...
Berlin : [, Springer-Verlag], 2012
e20410563
eBooks Universitas Indonesia Library
Jeff Z. Pan, editor
This book constitutes the refereed post-proceedings of the Joint International Semantic Technology Conference, JIST 2011, held in Hangzhou, China, in December 2011. This conference is a joint event for regional semantic Web related conferences. JIST 2011 brings together the Asian Semantic Web Conference 2011 and the Chinese Semantic Web Conference...
Berlin : [, Springer-Verlag], 2012
e20410600
eBooks Universitas Indonesia Library
Cham, Switzerland: Springer, 2018
307.121 6 SMA
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 13th International Conference on Passive and Active Measurement, PAM 2012, held in Vienna, Austria, in March 2012. The 25 revised full papers presented were carefully reviewed and selected from 83 submissions. The papers were arranged into eight sessions traffic evolution and analysis,...
Berlin: Springer-Verlag, 2012
e20409963
eBooks Universitas Indonesia Library
