Ditapis dengan
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
- -
Fuzzy Systems and Knowledge Discovery
Dimensionality Reduction -- Pattern Recognition and Trend Analysis -- Other Topics in FSKD Methods -- Mining of Spatial, Textual, Image and Time-Series Data -- Fuzzy Systems in Bioinformatics and Bio-medical Engineering -- Fuzzy Systems in Expert System and Informatics -- Fuzzy Systems in Pattern Recognition and Diagnostics -- Knowledge Discovery in Bioinformatics and Bio-medical Engineering --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318286
- Deskripsi Fisik
- L, 1312 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
- -
Tools and Algorithms for the Construction and Analysis of Systems
Invited Paper -- Applications of Craig Interpolants in Model Checking -- Regular Model-Checking -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based Iteration of Tree Transducers -- Using Language Inference to Verify Omega-Regular Properties -- Infinite State Systems -- On-the-Fly Reachability and Cycle Detection for Recursive State Machi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319801
- Deskripsi Fisik
- XVIII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information and Communications Security
Fair Exchange -- An Evenhanded Certified Email System for Contract Signing -- Efficient ID-Based Optimistic Fair Exchange with Provable Security -- On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol -- Generic, Optimistic, and Efficient Schemes for Fair Certified Email Delivery -- Digital Signatures I -- Cryptanalysis of a Forward Secure Blind Signature Scheme…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320999
- Deskripsi Fisik
- XIV, 498 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cognitive Engineering
The Psychological Basis of Cognitive Modeling -- Parallel and Distributed Logic Programming -- Distributed Reasoning by Fuzzy Petri Nets: A Review -- Belief Propagation and Belief Revision Models in Fuzzy Petri Nets -- Building Expert Systems Using Fuzzy Petri Nets -- Distributed Learning Using Fuzzy Cognitive Maps -- Unsupervised Learning by Fuzzy Petri Nets -- Supervised Learning by a Fuzzy P…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846282348
- Deskripsi Fisik
- XVIII, 354 p. 124 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Security and Privacy
Invited Talk -- All Sail, No Anchor III: Risk Aggregation and Time’s Arrow -- Network Security -- Traversing Middleboxes with the Host Identity Protocol -- An Investigation of Unauthorised Use of Wireless Networks in Adelaide, South Australia -- An Efficient Solution to the ARP Cache Poisoning Problem -- Cryptanalysis -- On Stern’s Attack Against Secret Truncated Linear Congruential Generat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316848
- Deskripsi Fisik
- XIV, 594 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Preface -- Solving Over-Constrained Problems with SAT Technology -- A Symbolic Search Based Approach for Quantified Boolean Formulas -- Substitutional Definition of Satisfiability in Classical Propositional Logic -- A Clause-Based Heuristic for SAT Solvers -- Effective Preprocessing in SAT Through Variable and Clause Elimination -- Resolution and Pebbling Games -- Local and Global Complete Solu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316794
- Deskripsi Fisik
- XII, 492 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
String Processing and Information Retrieval
String Processing and Information Retrieval 2005 -- Enhanced Byte Codes with Restricted Prefix Properties -- Experimental Analysis of a Fast Intersection Algorithm for Sorted Sequences -- Compressed Perfect Embedded Skip Lists for Quick Inverted-Index Lookups -- XML Retrieval with a Natural Language Interface -- Recommending Better Queries from Click-Through Data -- A Bilingual Linking Service …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322412
- Deskripsi Fisik
- XIV, 410 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