Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 13730 dokumen yang sesuai dengan query
cover
Donaldson, Alasatair, editor
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The...
Berlin: [, Springer-Verlag], 2012
e20410166
eBooks  Universitas Indonesia Library
cover
Radu Calinescu, editor
This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved...
Berlin: Spinger-Verlag, 2012
e20407287
eBooks  Universitas Indonesia Library
cover
Artur Czumaj, editor
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432...
Berlin: [, Springer-Verlag], 2012
e20410533
eBooks  Universitas Indonesia Library
cover
Artur Czumaj, editor
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432...
Berlin: [, Springer-Verlag], 2012
e20410531
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20408216
eBooks  Universitas Indonesia Library
cover
Martin Kutrib, editor
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars,...
Berlin: [Springer-Verlag, ], 2012
e20410207
eBooks  Universitas Indonesia Library
cover
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
cover
Benoit M. Dawant, editor
This book constitutes the refereed proceedings of the 5th International Workshop on Biomedical Image Registration, WBIR 2012, held in Nashville, Tennessee, USA, in July 2012. The 20 full papers and 11 poster papers included in this volume were carefully reviewed and selected from 44 submitted papers. They full papers are...
Berlin : [, Springer-Verlag], 2012
e20410428
eBooks  Universitas Indonesia Library
cover
Jan Mendling, editor
The BPMN workshop series provides a forum for academics and practitioners who share an interest in business process modeling using the Business Process Modeling Notation, which is seen by many as the de facto standard for business process modeling. This year, the workshop lasted two days and consisted of both...
Berlin: [, Springer-Verlag], 2012
e20410005
eBooks  Universitas Indonesia Library
cover
Ioannis Askoxylakis, editor
This volume constitutes the refereed proceedings of the 6th IFIP WG 11.2 International Workshop on Information Security Theory and Practice: Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems, WISTP 2012, held in Egham, UK, in June 2012. The 9 revised full papers and 8 short papers presented...
Heidelberg: [Springer, ], 2012
e20410469
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>