Ditemukan 349 dokumen yang sesuai dengan query
Chen, Jiming, author
In this book, the fundamental concepts of MSNets are introduced including the background, key features and potential applications of MSNets, while also presenting research topics, such as, MSNets as realistic social contact traces and user mobility models. Because the ultimate goal is to establish networks that allow mobile...
New York: [, Springer], 2012
e20408668
eBooks Universitas Indonesia Library
Michael J. Dinneen, editor
The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely, algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation....
Berlin: [Springer-Verlag, ], 2012
e20408844
eBooks Universitas Indonesia Library
Jorg Kienzle, editor
This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers...
Berlin: [Springer-Verlag, ], 2012
e20409497
eBooks Universitas Indonesia Library
Joy Ying Zhang, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile Computing, Applications, and Services (MobiCASE 2011) held in Los Angeles, CA, USA, during October 24-27, 2010. The 18 revised full papers presented together with 12 revised poster papers were carefully reviewed and selected from numerous...
Heidelberg: [Springer, ], 2012
e20409557
eBooks Universitas Indonesia Library
Till Mossakowski, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics, foundations of algebraic specification,...
Berlin: [, Springer-Verlag], 2012
e20409941
eBooks Universitas Indonesia Library
Petrie, Charles J., author
This book covers the development of the general problem solving techniques for automated configuration, which are based on both published academic work and patents...
New York: [, Springer], 2012
e20409951
eBooks Universitas Indonesia Library
Anupam Gupta, editor
This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2012, and the 16th International Workshop on Randomization and Computation, RANDOM 2012, held in Cambridge, Massachusetts, USA, in August 2011. The volume contains 28 contributed papers, selected by the APPROX...
Berlin : [, Springer-Verlag], 2012
e20410055
eBooks Universitas Indonesia Library
P. Balasubramaniam, editor
This book constitutes the refereed proceedings of the International Conference on Mathematical Modelling and Scientific Intelligence, ICMMSC 2012, Gandhigram, Tamil Nadu, India, in March 2012. The 62 revised full papers presented were carefully reviewed and selected from 332 submissions. The papers are organized in two topical sections on mathematical modelling...
Berlin: [, Springer-Verlag], 2012
e20410295
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
This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing...
Berlin: Springer-Verlag, 2012
e20410485
eBooks Universitas Indonesia Library
