Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 2 dari pencarian Anda melalui kata kunci: subject="Computer software—R...
cover
Formal Aspects in Security and Trust
Komentar Bagikan
Dimitrakos, Theo.Martinelli, Fabio.

Security Issues in the Tuple-Space Coordination Model -- Information Flow Analysis for Probabilistic Timed Automata -- Dynamic Security Labels and Noninterference (Extended Abstract) -- Formal Analysis of a Fair Payment Protocol -- Pattern-Matching Spi-Calculus -- Decidability of Opacity with Non-Atomic Keys -- Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards -- Fami…

Edisi
1st ed.
ISBN/ISSN
9780387240985
Deskripsi Fisik
X, 246 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Integrated Circuit and System Design. Power and Timing Modeling, Optimization…
Komentar Bagikan
Paliouras, Vassilis.SpringerLink (Online service)Verkest, Diederik.Vounckx, Johan.

Session 1: Low-Power Processors -- Session 2: Code Optimization for Low-Power -- Session 3: High-Level Design -- Session 4: Telecommunications and Signal Processing -- Session 5: Low-Power Circuits -- Session 6: System-on-Chip Design -- Session 7: Busses and Interconnections -- Session 8: Modeling -- Session 9: Design Automation -- Session 10: Low-Power Techniques -- Session 11: Memory and Regi…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540320807
Deskripsi Fisik
XVI, 756 p.online resource.
Judul Seri
-
No. Panggil
-