Ditapis dengan
Foundations of Security Analysis and Design III
FOSAD 2004 (6-11 September 2004) -- Justifying a Dolev-Yao Model Under Active Attacks -- Model-Based Security Engineering with UML -- A Tutorial on Physical Security and Side-Channel Attacks -- Static Analysis of Authentication -- FOSAD 2005 (19-24 September 2005) -- Formal Methods for Smartcard Security -- Privacy-Preserving Database Systems -- Intrusion Detection: Introduction to Intrusion De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319368
- Deskripsi Fisik
- VIII, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model-Based Testing of Reactive Systems
Testing of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing and Synchronizing Sequences -- 2 State Identification -- 3 State Verification -- 4 Conformance Testing -- II. Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations -- 6 Test Generation Algorithms Based on Preorder Relations -- 7 I/O-automata Based Testing -- 8 Tes…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320371
- Deskripsi Fisik
- VIII, 664 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mathematics of Surfaces XI
Free-Form Surface Construction in a Commercial CAD/CAM System -- Polyhedral Gauss Maps and Curvature Characterisation of Triangle Meshes -- Manifold Embedding of Graphs Using the Heat Kernel -- Detection of Surface Creases in Range Data -- Efficient Linear System Solvers for Mesh Processing -- Smoothing of Time-Optimal Feedrates for Cartesian CNC Machines -- Plausible 3D Colour Surface Completi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318354
- Deskripsi Fisik
- X, 478 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adapting Proofs-as-Programs
Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- G…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387281834
- Deskripsi Fisik
- XII, 420 p. 54 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Aspects in Security and Trust
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
- -
Corrrelation between serum C reactive protein (CRP) and soluble CD40 ligand (…
Indonesian Journal of Rheumatology Vol 10 No 2 2018 (Rak 6 - K : Kedokteran & Kesehatan)
- Edisi
- -
- ISBN/ISSN
- 2086-1435
- Deskripsi Fisik
- -
- Judul Seri
- -
- No. Panggil
- JURNAL|||#
Platelet Function
Platelet Physiology -- Platelet Physiology -- Platelet Integrins and Signaling -- Platelet Adhesion -- Structure-Function of the Platelet Cytoskeleton -- Platelets and Inflammation -- Platelet Signal-Dependent Protein Synthesis -- Phosphoproteomics of Human Platelets -- Assessing Platelet Function -- Platelet Function Studies -- Platelet Function Under Flow -- Pharmacodynamics of GPIIb-IIIa Rec…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781592599172
- Deskripsi Fisik
- XII, 398 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Nutritional status, physical activity, oxidative stress, and cognitive functi…
Jurnal Gizi dan Pangan Vol 13 Number 3 November 2018 (Rak 6 - K : Kedokteran & Kesehatan)
- Edisi
- -
- ISBN/ISSN
- 1978-1059
- Deskripsi Fisik
- hal. 117-122.: tab.; 30 cm
- Judul Seri
- -
- No. Panggil
- JURNAL|||#
Hierarchical Bayesian Optimization Algorithm
From Genetic Variation to Probabilistic Modeling -- Probabilistic Model-Building Genetic Algorithms -- Bayesian Optimization Algorithm -- Scalability Analysis -- The Challenge of Hierarchical Difficulty -- Hierarchical Bayesian Optimization Algorithm -- Hierarchical BOA in the Real World.This book provides a framework for the design of competent optimization techniques by combining advanced evo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323730
- Deskripsi Fisik
- XVIII, 166 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Handbook of Hydroxyacetophenones
Hydroxyacetophenones constitute the starting material for a wide variety of syntheses in organic chemistry. They are versatile building blocks serving many different applications, such as specialty polymers, pharmaceuticals and fine chemicals. In this Handbook the diverse ways of obtaining over 3000 hydroxyacetophenones are described and their physico-chemical properties and spectroscopic data …
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781402022913
- Deskripsi Fisik
- eReference.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah