Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 609 dokumen yang sesuai dengan query
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
Rosa Reska Riskiana, author
Saat ini, hampir semua kegiatan bisnis mempunyai ketergantungan yang cukup tinggi terhadap Teknologi Informasi TI khususnya untuk PT Telkomsel yang merupakan salah satu perusahaan telekomunikasi terdepan di Indonesia. Namun, data dari IT Service Performance Management IT SPM menunjukkan pada tahun 2015 masih terdapat insiden pada aplikasi yang mengindikasikan bahwa aplikasi...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2017
TA-Pdf
UI - Tugas Akhir  Universitas Indonesia Library
cover
Foley, Mary Jo, author
Indianapolis, Indiana: John Wiley & Sons, 2008
338.761 FOL m
Buku Teks  Universitas Indonesia Library
cover
Jussawalla, Meheroo
New York: Greenwood Press, 1992
346.04 JUS e
Buku Teks  Universitas Indonesia Library
cover
Computer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 2011 FTRA World Convergence Conference (FTRA WCC 2011). The topics of CSA and WCC cover the current hot topics satisfying the world-wide ever-changing needs. CSA-11 will be the most...
Dordrecht, Netherlands: [Springer, ], 2012
e20398139
eBooks  Universitas Indonesia Library
cover
The series contains monographs, lecture notes and edited volumes in computational intelligence spanning the areas of neural networks, connectionist systems, genetic algorithms, evolutionary computation, artificial intelligence, cellular automata, self-organizing systems, soft computing, fuzzy systems, and hybrid intelligent systems....
Berlin: [, Springer], 2012
e20398861
eBooks  Universitas Indonesia Library
cover
Wohlin, Claes, editor
The book is divided into three parts. The first part provides a background of theories and methods used in experimentation. Part II then devotes one chapter to each of the five experiment steps: scoping, planning, execution, analysis, and result presentation. Part III completes the presentation with two examples. Assignments and...
Heidelberg: [Springer-Science, ], 2012
e20409939
eBooks  Universitas Indonesia Library
cover
Gordon Fraser, editor
This book constitutes the refereed proceedings of the Fourth International Symposium on Search-Based Software Engineering, SSBSE 2012, held in Riva del Garda, Italy in collocation with the 28th IEEE International Conference on Software Maintenance. The 15 revised full papers, 3 revised short papers, and 2 papers of the graduate track...
Berlin: [, Springer-Verlag], 2012
e20410010
eBooks  Universitas Indonesia Library
cover
Andrzej Kwiecien, editor
This book constitutes the refereed proceedings of the 19th International Conference on Computer Networks, CN 2012, held in Szczyrk, Poland, in June 2012. The 48 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers address subjects such as new and emerging technologies related...
Berlin: [Springer-Verlag, ], 2012
e20410440
eBooks  Universitas Indonesia Library
cover
Boutell, Thomas
Reading, Mass: Addison-Wesley, 1996
005BOUC001
Multimedia  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>