Ditapis dengan
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
- -
Transactions on Rough Sets II
Feature Selection with Rough Sets for Web Page Classification -- On Learning Similarity Relations in Fuzzy Case-Based Reasoning -- Incremental versus Non-incremental Rule Induction for Multicriteria Classification -- Three Strategies to Rule Induction from Data with Numerical Attributes -- Fuzzy Transforms -- Possible Equivalence Relations and Their Application to Hypothesis Generation in Non-d…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540277781
- Deskripsi Fisik
- X, 363 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Inconsistency Tolerance
to Inconsistency Tolerance -- Consistency of XML Specifications -- Consistent Query Answers in Virtual Data Integration Systems -- Representing Paraconsistent Reasoning via Quantified Propositional Logic -- On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases -- On the Complexity of Paraconsistent Inference Relations -- Approaches to Measuring Inconsis…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305972
- Deskripsi Fisik
- VIII, 300 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Aspects of Computing - ICTAC 2004
Invited Speakers -- Software Services: Scientific Challenge or Industrial Hype? -- Integrating Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic and Model Checking for Mobile Processes -- Concurrent and Distributed Systems -- Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes -- Specifying Software Connectors -- Repli…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318620
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Theory of Distributed Objects
Review -- Analysis -- Formalisms and Distributed Calculi -- ASP Calculus -- An Imperative Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties -- Parallel Semantics -- Basic ASP Properties -- Confluence Property -- Determinacy -- A Few More Features -- More Confluent Features -- Non-Confluent Features -- Migration -- Groups -- Components -- Chan…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540272458
- Deskripsi Fisik
- XXXII, 352 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
- -
Term Rewriting and Applications
Confluent Term Rewriting Systems -- Generalized Innermost Rewriting -- Orderings for Innermost Termination -- Leanest Quasi-orderings -- Abstract Modularity -- Union of Equational Theories: An Algebraic Approach -- Equivariant Unification -- Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories -- Unification in a Class of Permutative Theories -- Dependency Pairs for…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320333
- Deskripsi Fisik
- XIII, 517 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation and Application of Automata
Invited Papers -- Automata-Theoretic Techniques for Analyzing Infinite-State Systems -- Enumerating Regular Expressions and Their Languages -- Contributed Papers -- A General Weighted Grammar Library -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code Selection by Tree Series Transducers -- Some Non-semi-decidability Problems for Li…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305002
- Deskripsi Fisik
- XII, 336 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
- -
Transactions on Rough Sets III
Regular Papers -- Flow Graphs and Data Mining -- The Rough Set Exploration System -- Rough Validity, Confidence, and Coverage of Rules in Approximation Spaces -- Knowledge Extraction from Intelligent Electronic Devices -- Processing of Musical Data Employing Rough Sets and Artificial Neural Networks -- Computational Intelligence in Bioinformatics -- Rough Ethology: Towards a Biologically-In…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318507
- Deskripsi Fisik
- IX, 461 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