Ditemukan 1015 dokumen yang sesuai dengan query
Sirakoulis, Georgios Ch., author
This book constitutes the refereed proceedings of the 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, held in Santorini Island, Greece, in September 2012. The 88 revised papers were carefully selected from numerous submissions. In order to give a perspective in which both theoretical and applicational...
Berlin: Springer-Verlag , 2012
e20406353
eBooks Universitas Indonesia Library
Viktoria Zsok, editor
This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures...
New York: Springer-Verlag , 2012
e20406354
eBooks Universitas Indonesia Library
Chris Hawblitzel, editor
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in...
Berlin: Springer-Verlag , 2012
e20406355
eBooks Universitas Indonesia Library
Dirk Pattinson, editor
his book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks....
Berlin: Springer-Verlag , 2012
e20406358
eBooks Universitas Indonesia Library
David Pointcheval, editor
This book constitutes the refereed proceedings of the 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2012, held in Cambgridge, UK, in April 2012.
The 41 papers, presented together with 2 invited talks, were carefully reviewed and selected from 195 submissions. The papers are organized...
Berlin: Springer-Verlag, 2012
e20406359
eBooks Universitas Indonesia Library
Petra Perner, editor
This book constitutes the refereed proceedings of the 12th Industrial Conference on Data Mining, ICDM 2012, held in Berlin, Germany in July 2012. The 22 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on data mining in medicine and...
Berlin : Springer-Verlag, 2012
e20406361
eBooks Universitas Indonesia Library
Baldoni, Roberto, editor
The critical infrastructure protection survey recently released by Symantec found that 53% of interviewed IT security experts from international companies experienced at least ten cyber attacks in the last five years, and financial institutions were often subject to some of the most sophisticated and large-scale cyber attacks and frauds.
The book...
Berlin: Springer-Verlag , 2012
e20406364
eBooks Universitas Indonesia Library
Shah, Chirag, author
Shah focuses on two individually well-understood notions, collaboration and information seeking, with the goal of bringing them together to show how it is a natural tendency for humans to work together on complex tasks. The first part of his book introduces the general notions of collaboration and information seeking, as...
Berlin: Springer-Verlag , 2012
e20406368
eBooks Universitas Indonesia Library
Luis M. Camarinha-Matos, editor
This book constitutes the refereed proceedings of the 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, held in Bournemouth, UK, in October 2012. The 61 revised papers presented were carefully selected from numerous submissions. They provide a comprehensive overview of identified challenges and recent advances in various...
Berlin: Springer-Verlag , 2012
e204006370
eBooks Universitas Indonesia Library
Antonia Albani, editor
This book constitutes the proceedings of the Second Enterprise Engineering Working Conference (EEWC), held in Delft, The Netherlands, during May 7-8, 2012. EEWC aims at addressing the challenges that modern and complex enterprises are facing in a rapidly changing world. The participants of the working conference share a belief that...
Berlin : springer-Verlag, 2012
e20406371
eBooks Universitas Indonesia Library
