Ditapis dengan
Cryptography and Coding
Invited Papers -- Abstract Models of Computation in Cryptography -- Pairing-Based Cryptography at High Security Levels -- Improved Decoding of Interleaved AG Codes -- Coding Theory -- Performance Improvement of Turbo Code Based on the Extrinsic Information Transition Characteristics -- A Trellis-Based Bound on (2,1)-Separating Codes -- Tessellation Based Multiple Description Coding -- Exploitin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324188
- Deskripsi Fisik
- XII, 468 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cryptographic Hardware and Embedded Systems - CHES 2005
Side Channels I -- Resistance of Randomized Projective Coordinates Against Power Analysis -- Templates as Master Keys -- A Stochastic Model for Differential Side Channel Cryptanalysis -- Arithmetic for Cryptanalysis -- A New Baby-Step Giant-Step Algorithm and Some Applications to Cryptanalysis -- Further Hidden Markov Model Cryptanalysis -- Low Resources -- Energy-Efficient Software Implementat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319405
- Deskripsi Fisik
- XIV, 458 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
COTS-Based Software Systems
Panels -- COTS Component-Based Embedded Systems – A Dream or Reality? -- Free and Proprietary Software in COTS-Based Software Development -- Workshops -- 2nd International Workshop on Incorporating COTS into Software Systems: Assessment and Prediction of Behavior and QoS Attributes of COTS Software Components and Systems -- Challenges of COTS IV & V -- Tutorials -- The COTS Product Market: An…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305873
- Deskripsi Fisik
- XVI, 312 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Contemporary Cryptology
Efficient Distributed Computation Modulo a Shared Secret -- Multiparty Computation, an Introduction -- Foundations of Modern Cryptography -- Provable Security for Public Key Schemes -- Efficient and Secure Public-Key Cryptosystems.The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: - efficient distr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373948
- Deskripsi Fisik
- IX, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Neural Networks - ISNN 2005
Pattern Analysis -- System Modeling -- Signal Processing -- Image Processing -- Financial Analysis -- Erratum.This book and its sister volumes constitute the proceedings of the 2nd International Symposium on Neural Networks (ISNN 2005). ISNN 2005 was held in the beautiful mountain city Chongqing by the upper Yangtze River in southwestern China during May 30–June 1, 2005, as a sequel of ISNN 2…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320678
- Deskripsi Fisik
- XLIX, 947 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Neural Networks - ISNN 2005
Control Systems -- Robotic Systems -- Telecommunication Networks -- Incidence Detection -- Fault Diagnosis -- Power Systems -- Biomedical Applications -- Industrial Applications -- Other Applications.The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320692
- Deskripsi Fisik
- XLIX, 1077 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Neural Networks - ISNN 2005
Theoretical Analysis -- Model Design -- Learning Methods -- Optimization Methods -- Kernel Methods -- Component Analysis.The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483 revised papers presented were carefully reviewed and selected from 1.425 submi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320654
- Deskripsi Fisik
- XLIX, 1055 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Constraint Satisfaction Techniques for Agent-Based Reasoning
Interchangeability and Solution Adaptation in Crisp CSPs -- Interchangeability in Soft CSPs -- Multi Agent Computation of Interchangeability in Distributed CSPs -- Interchangeability in Dynamic Environments -- Generic Case Adaptation Framework -- Conclusions.Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373191
- Deskripsi Fisik
- XII, 158 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computing and Combinatorics
Invited Lectures -- Bioinformatics -- Networks -- String Algorithms -- Scheduling -- Complexity -- Steiner Trees -- Graph Drawing and Layout Design -- Quantum Computing -- Randomized Algorithms -- Geometry -- Codes -- Finance -- Facility Location -- Graph Theory -- Graph Algorithms -- Others.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318064
- Deskripsi Fisik
- XVI, 1000 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer-Aided Design of User Interfaces IV
Task Modelling -- The Influence of Improved Task Models on Dialogues -- Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept -- Hypermedia and Web-Based Systems -- Model-Based Design of Online Help Systems -- A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method -- SWCEditor: A Model-Based Tool for Interactive Modelling of Web Navigation -- Model-Base…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402033049
- Deskripsi Fisik
- XII, 374 p.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