Ditemukan 234 dokumen yang sesuai dengan query
Elena Simperl, editor
This book constitutes the refereed proceedings of the 9th Extended Semantic Web Conference, ESWC 2012, held in Heraklion, Crete, Greece, in May 2012. The 53 revised full papers presented were carefully reviewed and selected from 212 submissions. They are organized in tracks on linked open data, machine learning, natural language...
Berlin: [, Springer-Verlag], 2012
e20409262
eBooks Universitas Indonesia Library
Konig, Hartmut, author
Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. Part II deals with the description of communication proto cols, offering an overview of the various formal methods, the essence of protocol engineering. Part III covers...
Berlin: Springer-Verlag, 2012
e20409826
eBooks Universitas Indonesia Library
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
