Ditapis dengan
Experimental and Efficient Algorithms
Invited Talks -- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory -- Using an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization -- High-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed Regular Papers -- The “Real” Approximation Factor of the MST Heuristic for the Minimum…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320784
- Deskripsi Fisik
- XVI, 628 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
List Decoding of Error-Correcting Codes
1 Introduction -- 1 Introduction -- 2 Preliminaries and Monograph Structure -- I Combinatorial Bounds -- 3 Johnson-Type Bounds and Applications to List Decoding -- 4 Limits to List Decodability -- 5 List Decodability Vs. Rate -- II Code Constructions and Algorithms -- 6 Reed-Solomon and Algebraic-Geometric Codes -- 7 A Unified Framework for List Decoding of Algebraic Codes -- 8 List Decoding of…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301806
- Deskripsi Fisik
- XX, 352 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Generic Optimization
Genetic algorithms: a guide for absolute beginners -- Evolutionary algorithms and their theory -- Epistasis -- Examples -- Walsh transforms -- Multary epistasis -- Generalized Walsh transforms.
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402036651
- Deskripsi Fisik
- XIII, 298 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Structural Information and Communication Complexity
Cellular Networks: Where Are the Mobile Users? -- Distributed Data Structures: A Survey -- On Designing Truthful Mechanisms for Online Scheduling -- On Private Computation in Incomplete Networks -- Traffic Grooming on the Path -- Range Augmentation Problems in Static Ad-Hoc Wireless Networks -- On the Approximability of the L(h,k)-Labelling Problem on Bipartite Graphs (Extended Abstract) -- A T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320739
- Deskripsi Fisik
- X, 323 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Conceptual Structures: Common Semantics for Sharing Knowledge
Invited Papers -- Patterns for the Pragmatic Web -- Conceptual Graphs for Semantic Web Applications -- Knowledge Representation and Reasoning in (Controlled) Natural Language -- What Is a Concept? -- Applications of Description Logics: State of the Art and Research Challenges -- Methodologies for the Reliable Construction of Ontological Knowledge -- Using Formal Concept Analysis and Information…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318859
- Deskripsi Fisik
- XI, 467 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Topics in Cryptology -- CT-RSA 2005
Invited Talks -- Sub-linear Queries Statistical Databases: Privacy with Power -- Malicious Cryptography: Kleptographic Aspects -- Cryptanalysis -- Resistance of SNOW 2.0 Against Algebraic Attacks -- A Study of the Security of Unbalanced Oil and Vinegar Signature Schemes -- Hold Your Sessions: An Attack on Java Session-Id Generation -- Update on SHA-1 -- A Fast Correlation Attack on the Shrinkin…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305743
- Deskripsi Fisik
- X, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Retrieval Technology
Information Organization -- Automatic Word Clustering for Text Categorization Using Global Information -- Text Classification Using Web Corpora and EM Algorithms -- Applying CLIR Techniques to Event Tracking -- Document Clustering Using Linear Partitioning Hyperplanes and Reallocation -- Automatic Summarization -- Summary Generation Centered on Important Words -- Sentence Compression Learned by…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318712
- Deskripsi Fisik
- XIII, 337 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Graph-Theoretic Concepts in Computer Science
Invited Papers -- Lexicographic Breadth First Search – A Survey -- Wireless Networking: Graph Theory Unplugged -- Graph Algorithms: Trees -- Constant Time Generation of Trees with Specified Diameter -- Treelike Comparability Graphs: Characterization, Recognition, and Applications -- Elegant Distance Constrained Labelings of Trees -- Collective Tree Spanners and Routing in AT-free Related Grap…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305590
- Deskripsi Fisik
- XI, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods in Software and Systems Modeling
Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318477
- Deskripsi Fisik
- XXVIII, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Validated Designs for Object-oriented Systems
Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered Collections -- Modelling Ordered Collections -- Modelling Relationships -- Modelling in Practice: Three Case Studies -- Model Structuring: The Enigma Cipher -- Combining Views: The CSLaM Sy…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281075
- Deskripsi Fisik
- XII, 404 p. 65 illus.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