Ditapis dengan
Information Security and Cryptology - ICISC 2004
Invited Talks -- Security by, and for, Converged Mobile Devices -- Security for Ubiquitous Computing -- Block Cipher and Stream Cipher -- Algebraic Attacks on Combiners with Memory and Several Outputs -- New Method for Bounding the Maximum Differential Probability for SPNs and ARIA -- Dragon: A Fast Word Based Stream Cipher -- Public Key Cryptosystem -- An Efficient and Verifiable Solution to t…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320838
- Deskripsi Fisik
- XIV, 490 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
System Analysis and Modeling
SDL and eODL -- Deployment and Configuration of Distributed Systems -- eODL and SDL in Combination for Components -- Applying eODL and SDL-Patterns for Developing TMN Managed Systems -- SPT – The SDL Pattern Tool -- Evolution of Languages -- Comparing UML 2.0 Interactions and MSC-2000 -- Data Encoding for SDL in ITU-T Rec. Z.104 -- SDL in a Changing World -- Requirements and MSC -- Early Val…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318101
- Deskripsi Fisik
- XII, 302 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Evolutionary Computation in Combinatorial Optimization
An External Partial Permutations Memory for Ant Colony Optimization -- A Novel Application of Evolutionary Computing in Process Systems Engineering -- Choosing the Fittest Subset of Low Level Heuristics in a Hyperheuristic Framework -- An Attribute Grammar Decoder for the 01 MultiConstrained Knapsack Problem -- EvoGeneS, a New Evolutionary Approach to Graph Generation -- On the Application of E…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319962
- Deskripsi Fisik
- XI, 271 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Technologies for Advanced Heterogeneous Networks
Invited Papers -- Efficient Blacklisting and Pollution-Level Estimation in P2P File-Sharing Systems -- Building Tailored Wireless Sensor Networks -- Users and Services in Intelligent Networks -- Wireless, Mobility and Emergency Network -- MAC Protocol for Contacts from Survivors in Disaster Areas Using Multi-hop Wireless Transmissions -- Performance Evaluation of Mobile IPv6 Wireless Test-Bed i…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322924
- Deskripsi Fisik
- X, 310 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Systems Design
Hard Real-Time Development Environments -- Executive Overview on Hard Real-Time Development Environments -- Hard Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319733
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Switching and Learning in Feedback Systems
Switching and Control -- From Feedback Control to Complexity Management: A Personal Perspective -- Convex Cones, Lyapunov Functions, and the Stability of Switched Linear Systems -- Survey of Explicit Approaches to Constrained Optimal Control -- Gaussian Processes -- Analysis of Some Methods for Reduced Rank Gaussian Process Regression -- Filtered Gaussian Processes for Learning with Large Data-…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305606
- Deskripsi Fisik
- X, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Product Lines
Keynotes -- Next Generation Software Product Line Engineering -- Software Product Families in Nokia -- Feature Modelling -- Feature Models, Grammars, and Propositional Formulas -- Using Product Sets to Define Complex Product Decisions -- The PLUSS Approach – Domain Modeling with Features, Use Cases and Use Case Realizations -- Re-engineering -- Feature-Oriented Re-engineering of Legacy System…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320647
- Deskripsi Fisik
- XIII, 235 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Knowledge Discovery in Databases: PKDD 2005
Invited Talks -- Data Analysis in the Life Sciences — Sparking Ideas — -- Machine Learning for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons and Challenges from the World of E-Commerce -- Data Streams and Data Synopses for Massive D…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316657
- Deskripsi Fisik
- XXIII, 719 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory of Cryptography
Hardness Amplification and Error Correction -- Optimal Error Correction Against Computationally Bounded Noise -- Hardness Amplification of Weakly Verifiable Puzzles -- On Hardness Amplification of One-Way Functions -- Graphs and Groups -- Cryptography in Subgroups of -- Efficiently Constructible Huge Graphs That Preserve First Order Properties of Random Graphs -- Simulation and Secure Computat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305767
- Deskripsi Fisik
- XII, 628 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Graph Drawing
Papers -- Reconfiguring Triangulations with Edge Flips and Point Moves -- Drawing Power Law Graphs -- Hexagonal Grid Drawings: Algorithms and Lower Bounds -- Improved Bounds for the Number of (? k)-Sets, Convex Quadrilaterals, and the Rectilinear Crossing Number of K n -- On the Realizable Weaving Patterns of Polynomial Curves in -- Drawing the AS Graph in 2.5 Dimensions -- Boundary Labeling:…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318439
- Deskripsi Fisik
- XII, 540 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