Ditapis dengan
Complexity Theory
Algorithmic Problems & Their Complexity -- Fundamental Complexity Classes -- Reductions — Algorithmic Relationships Between Problems -- The Theory of NP-Completeness -- NP-complete and NP-equivalent Problems -- The Complexity Analysis of Problems -- The Complexity of Approximation Problems — Classical Results -- The Complexity of Black Box Problems -- Additional Complexity Classes and Relat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540274773
- Deskripsi Fisik
- XII, 308 p. 18 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Compiler Construction
Invited Talk -- When Abstraction Fails -- Compilation -- Source-Level Debugging for Multiple Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class Templates -- XML Goes Native: Run-Time Representations for Xtatic -- Parallelism -- Boosting the Performance of Multimedia Applications Using SIMD Instructions -- Task Partitioning for Multi-core …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319856
- Deskripsi Fisik
- XII, 308 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Concept Analysis
Towards Generic Pattern Mining -- Conceptual Exploration of Semantic Mirrors -- Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web -- Automatic Selection of Noun Phrases as Document Descriptors in an FCA-Based Information Retrieval System -- Combining Spatial and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Latt…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322627
- Deskripsi Fisik
- XI, 419 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Approaches to Software Testing
Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing Non-functional Properties -- Testing of Symbolic-Probabilistic Systems -- A Test Generation Framework for quiescent Real-Time Systems -- Online Testing of Real-time Systems Using Uppaal -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318484
- Deskripsi Fisik
- X, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Approaches to Agent-Based Systems
Ecology Based Decentralized Agent Management System -- Ecology Based Decentralized Agent Management System -- From Abstract to Concrete Norms in Agent Institutions -- Meeting the Deadline: Why, When and How -- Multi-agent Systems Reliability, Fuzziness, and Deterrence -- Formalism Challenges of the Cougaar Model Driven Architecture -- Facilitating the Specification Capture and Transformation Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540309604
- Deskripsi Fisik
- VIII, 291 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FM 2005: Formal Methods
Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Cre…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317142
- Deskripsi Fisik
- XIV, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Extreme Programming and Agile Processes in Software Engineering
Experience Reports -- Lean Software Management Case Study: Timberline Inc. -- XP South of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software Project at the Israeli Air Force -- The Agile Journey -- New Insights -- From User Stories to Code in One Day? -- Evaluate XP Effectiveness Using Simulation Modeling -- Agile Security Using an Incrementa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314875
- Deskripsi Fisik
- XIV, 338 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Machine Learning and Data Mining in Pattern Recognition
Classification and Model Estimation -- On ECOC as Binary Ensemble Classifiers -- Incremental Classification Rules Based on Association Rules Using Formal Concept Analysis -- Parameter Inference of Cost-Sensitive Boosting Algorithms -- Finite Mixture Models with Negative Components -- MML-Based Approach for Finite Dirichlet Mixture Estimation and Selection -- Principles of Multi-kernel Data Mini…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318910
- Deskripsi Fisik
- XVIII, 698 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logical Aspects of Computational Linguistics
LACL -- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages -- Dependency Structure Grammars -- Towards a Computational Treatment of Binding Theory -- Translating Formal Software Specifications to Natural Language -- On the Selective Lambek Calculus -- Grammatical Development with Xmg -- Lambek-Calculus with General Elimination Rules and Continuation …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319535
- Deskripsi Fisik
- X, 366 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Programming and Nonmonotonic Reasoning
Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318279
- Deskripsi Fisik
- XIV, 462 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