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: author=Hutter, Dieter.
cover
Security in Pervasive Computing
Komentar Bagikan
Hutter, Dieter.Ullmann, Markus.

Invited Talk (Abstract) -- Pervasive Computing – A Case for the Precautionary Principle? -- Session 1: Smart Devices and Applications -- TENeT: A Framework for Distributed Smartcards -- P2P Digital Value Fair Trading System Using Smart Cards -- “Devices Are People Too” Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example -- Invited Talk …

Edisi
1st ed.
ISBN/ISSN
9783540320043
Deskripsi Fisik
XI, 239 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Mechanizing Mathematical Reasoning
Komentar Bagikan
Hutter, Dieter.Stephan, Werner.

A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support…

Edisi
1st ed.
ISBN/ISSN
9783540322542
Deskripsi Fisik
X, 570 p.online resource.
Judul Seri
-
No. Panggil
-