::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 370 dokumen yang sesuai dengan query
cover
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as...
Heidelberg: Springer, 2012
e20409155
eBooks  Universitas Indonesia Library
cover
Distributed applications and interoperable systems : 12th IFIPWG6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2012, held in Stockholm, Sweden, in June 2012 as one of the DisCoTec 2012 events. The 12 revised full papers and 9 short papers presented were carefully reviewed and...
Heidelberg: Springer, 2012
e20410473
eBooks  Universitas Indonesia Library
cover
Director, Stephen W., 1943-, author
Circuit theory : a computational approach
New York: John Wiley & Sons, 1975
621.319 2 DIR c
Buku Teks  Universitas Indonesia Library
cover
M.S. Rosyidi Hamna, author
Perancangan rencana kontinjensi untuk mitigasi gangguan layanan pada data center: studi kasus PT XYZ = Design of contingency plan for mitigation of it service disruption on data center: a case study at PT XYZ
Seiring dengan meningkatnya ketergantungan organisasi pada layanan teknologi informasi (TI), dibutuhkan ketersediaan layanan TI pada tingkat yang telah disepakati agar kegiatan bisnis dapat berjalan dengan baik. Jaminan ketersediaan layanan tersebut dapat diwujudkan melalui suatu rencana kontinjensi (contingency plan) sebagai perencanaan ke depan untuk kebutuhan tanggap darurat pada saat terjadi gangguan...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2016
TA-pdf
UI - Tugas Akhir  Universitas Indonesia Library
cover
Quinn, Michael J. (Michael Jay), author
Ethics for the information age
"New technologies have brought us many benefits, but they have also raised many social and ethical concerns. The authors view in Ethics for the Information Age is that we ought to approach every new technology in a thoughtful manner, considering not just its short-term benefits, but also how its long-term...
Boston: Pearson education, 2017
303.483 4 QUI e
Buku Teks  Universitas Indonesia Library
cover
Proceedings of the national electronics conference, volume XXXV
Contents : - PROCEEDINGS OF THE NATIONAL ELECTRONICS CONFERENCE VOLUME XXXV - MESSAGE FROM THE PRESIDENT - NCF/NEC CONFERENCE MANAGEMENT - NEW TECHNOLOGY SEMINARS - 1. Digital Switching Techniques and Systems - 2. Security in Modern Communication Systems - 3. Recent Advances in...
Chicago: National Electronics Conference, 1981
e20449416
eBooks  Universitas Indonesia Library
cover
Rich, Elaine, author
Automata, Computability, and Complexity: Theory and Applications
Upper Saddle River NJ: Pearson Prentice hall, 2009
511.3 RIC a
Buku Teks  Universitas Indonesia Library
cover
M. Teresa Higuera-Toledano, editor
Distributed, embedded and real-time Java systems
This book is aimed primarily at researchers in real-time embedded systems, particularly those who wish to understand the current state of the art in using Java in this domain. Much of the work in real-time distributed, embedded and real-time Java has focused on the Real-time Specification for Java (RTSJ)...
New York: Springer, 2012
e20418608
eBooks  Universitas Indonesia Library
cover
Vacca, John R., editor
Managing information security
Managing information security offers focused coverage of how to protect mission critical systems, and how to deploy security management systems, IT security, ID management, intrusion detection and prevention systems, computer forensics, network forensics, firewalls, penetration testing, vulnerability assessment, and more. It offers in-depth coverage of the current technology and practice...
Waltham, MA: Syngress, 2014
e20427185
eBooks  Universitas Indonesia Library
cover
The MPEG representation of digital media
More and more information, audio and video but also a range of other information type, is generated, processed and used by machines today, even though the end user may be a human. The result over the past 15 years has been a substantial increase in the type of information and...
New York: Springer Science, 2012
e20418780
eBooks  Universitas Indonesia Library
<<   30 31 32 33 34 35 36 37   >>