Ditemukan 25 dokumen yang sesuai dengan query
Maciej Koutny, editor
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in...
Heidelberg: [, Springer-Verlag], 2012
e20409417
eBooks Universitas Indonesia Library
Antoine Mine, editor
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...
Berlin: [, Springer-Verlag], 2012
e20410008
eBooks Universitas Indonesia Library
Philadelphia: SIAM (Society for Industrial and Applied Mathematics), 1990
R 004.35 PRO
Buku Referensi Universitas Indonesia Library
The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavík, Iceland, in June 2010. These volumes contain three keynote lectures, 29 revised papers and 45 minisymposia presentations arranged on...
Berlin : Springer-Verlag, 2012
e20410618
eBooks Universitas Indonesia Library
The two volume set LNCS 7133 and LNCS 7134 constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Applied Parallel and Scientific Computing, PARA 2010, held in Reykjavík, Iceland, in June 2010. These volumes contain three keynote lectures, 29 revised papers and 45 minisymposia presentations arranged on...
Berlin : Springer-Verlag, 2012
e20410616
eBooks Universitas Indonesia Library
Euro-Par 2011 : parallel processing workshops ; CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29–September 2, 2011 : revised selected papers, part I
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 17th International Conference on Parallel Computing, Euro-Par 2011, held in Bordeaux, France, in August 2011. The papers of these 12 workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS HPCF, PROPER, CCPI, and VHPC focus on promotion and advancement...
Berlin: Springer-Verlag, 2012
e20410519
eBooks Universitas Indonesia Library
Berlin: Springer-Verlag, 1991
004.35 WOR p
Buku Teks Universitas Indonesia Library
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
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
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and...
Berlin: Springer-Verlag, 2012
e20410291
eBooks Universitas Indonesia Library