Ditemukan 736 dokumen yang sesuai dengan query
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects...
Berlin: Springer-Verlag, 2012
e20410374
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, held in Bhubaneswar, India, in February 2012. The 17 full papers presented together with 15 short papers in this volume were carefully reviewed and selected from 89 submissions. In addition the...
Berlin: Springer-Verlag, 2012
e20408808
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2011, held in Stavanger, Norway, in September 2011. The 66 revised and extended full papers were carefully reviewed and selected from 124 papers presented at the conference. The...
Heidelberg: Springer-Verlag, 2012
e20408529
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Mobile Networks and Managements (MONAMI 2011) held in Aveiro, Portugal, in September 2011. The 30 revised full papers were carefully selected from numerous submissions and are organized thematically in 5 parts. These are mobile and...
Heidelberg: Springer, 2012
e20409211
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International ICST Conference on Mobile Multimedia Communications (MOBIMEDIA 2011) held in Cagliari, Italy, in September 2011 The 26 revised full papers presented were carefully selected from numerous submissions and focus topics such as quality of experience, dynamic spectrum access...
Heidelberg: Springer, 2012
e20409227
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Information Systems, Technology and Management, ICISTM 2012, held in Grenoble, France, in March 2012. The 38 revised papers were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on information systems, information technology,...
Berlin: Springer-Verlag, 2012
e20409918
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as...
Heidelberg: Springer, 2012
e20409155
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 3 rd International ICST Conference on IT Revolutions, held in Cordoba, Spain in March 2011. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. They are grouped in topical sections on eGreen energy, smart buildings, health and...
Heidelberg: Springer, 2012
e20410067
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a...
Heidelberg: Springer, 2012
e20410471
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of...
Berlin: Springer-Verlag, 2012
e20409250
eBooks Universitas Indonesia Library
