Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 2866 dokumen yang sesuai dengan query
cover
Cohen, Gerard [ et..al ]
Berlin: Springer-Verlag, 1994
003.54 ALG
Buku Teks  Universitas Indonesia Library
cover
Marielle Stoelinga, editor
The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement...
Berlin: [, Springer-Verlag ], 2012
e20410082
eBooks  Universitas Indonesia Library
cover
Nora Cuppens-Boulahia, editor
This book constitutes the refereed proceedings of the 26th IFIP WG 11.3 International Conference on Data and Applications Security and Privacy, DBSec 2012, held in Paris, France in July 2012. The 17 revised full and 15 short papers presented together with 1 invited paper were carefully reviewed and selected from...
Heidelberg: [Springer, ], 2012
e20410416
eBooks  Universitas Indonesia Library
cover
Zoe Lacroix, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Resource Discovery, RED 2010, held in Paris, France, in November 2010. The 13 revised full papers - from 24 initial submissions - were carefully selected during a second round of reviewing and improvement from the lectures...
Berlin: Springer-Verlag, 2012
e20408141
eBooks  Universitas Indonesia Library
cover
Joaquin Garcia-Alfaro, editor
This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and...
Berlin: Springer-Verlag, 2012
e20408183
eBooks  Universitas Indonesia Library
cover
[Annotation business intelligence (BI) promises an organization the capability of collecting and analyzing internal and external data to generate knowledge and value, providing decision support at the strategic, tactical, and operational levels. Business intelligence is now impacted by the big data phenomena and the evolution of society and users, and...
Berlin: [Spinger-Verlag, Spinger-Verlag], 2012
e20396499
eBooks  Universitas Indonesia Library
cover
cover
cover
cover
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>