Ditemukan 2290 dokumen yang sesuai dengan query
Seidl, Helmut, author
The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In...
Berlin: Springer-Verlag, 2012
e20408703
eBooks Universitas Indonesia Library
The 31 papers presented in this volume were carefully reviewed and selected from 72 submissions. They are organized in topical sections on cryptography from lattices, signature schemes, encryption schemes, efficient two-party and multi-party computation, security in the UC framework, cryptanalysis; efficient constructions, and protocols and combiners...
Berlin: Springer-Verlag, 2012
e20409399
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 10th International Conference on Applied Cryptography and Network Security, ACNS 2012, held in Singapore, in June 2012.
The 33 revised full papers included in this volume were carefully reviewed and selected from 192 submissions. They are organized in topical sessions on authentication, key...
Berlin : Springer-Verlag, 2012
e20410429
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 14th International Conference on Information and Communications Security, ICICS 2012, held in Hong Kong, China, in October 2012. The 23 regular papers and 26 short papers were carefully reviewed and selected from 101 submissions. The papers cover many important areas in information...
Berlin: Springer-Verlag, 2012
e20408456
eBooks Universitas Indonesia Library
Burd, Stephen D., author
Boston: Cengage Learning, 2016
004.22 BUR s
Buku Teks Universitas Indonesia Library
Gurewich, Nathan, author
New York: McGraw-Hill, 1992
004.68 GUR c
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
Benny D. Sarwono, author
Jakarta: Elex Media Komputindo, 1989
005.133 BEN p
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present...
Berlin: Springer-Verlag, 2012
e20409115
eBooks Universitas Indonesia Library
