Ditemukan 462 dokumen yang sesuai dengan query
Finkel, Alain, editor
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions...
Berlin: [, Springer-Verlag], 2012
e20409295
eBooks Universitas Indonesia Library
Tom Schrijvers, editor
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming,...
Berlin: [, Springer-Verlag], 2012
e20409517
eBooks Universitas Indonesia Library
Xi Zhang, editor
Quality, reliability, security and robustness in heterogeneous networks : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17–19, 2010 : revised selected papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010. The 37 revised full papers presented along with 7 papers from the allocated Dedicated Short Range Communications Workshop, DSRC 2010, were carefully selected from numerous submissions....
Heidelberg: [, Springer], 2012
e20409862
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
Boston, Nigel, author
Over the last 50 years there have been an increasing number of applications of algebraic tools to solve problems in communications, in particular in the fields of error-control codes and cryptography. More recently, broader applications have emerged, requiring quite sophisticated algebra - for example, the Alamouti scheme in MIMO communications...
New York: [Springer, ], 2012
e20409947
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
Jingrui, He, author
This book focuses on rare category analysis, where the majority classes have smooth distributions, and the minority classes exhibit the compactness property. Furthermore, it focuses on the challenging cases where the support regions of the majority and minority classes overlap...
Berlin: [, Springer-Verlag], 2012
e20409960
eBooks Universitas Indonesia Library
Roychoudhury, Abhik, editor
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover...
Berlin: [, Springer-Verlag], 2012
eBooks Universitas Indonesia Library
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks Universitas Indonesia Library
Axel Auweter, editor
This book constitutes the refereed proceedings of the Second International Conference on ICT as Key Technology for the Fight against Global Warming, ICT-GLOW 2012, held in Vienna, Austria, in September 2012, in conjunction with DEXA 2012. The 9 revised papers presented were carefully reviewed and selected for inclusion in the...
Berlin: [, Springer-Verlag], 2012
e20410047
eBooks Universitas Indonesia Library
