Ditapis dengan
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Set Software -- Data Mining -- Hybrid and Hierarchical Methods -- Information Retrieval -- Image Recognition and Processing -- Multimedia Applications -- Medical Applications -- Bioinformatic Applications -- Web Content Analysis -- Business Applications -- Security Applications -- Industrial Applications -- Embedded Systems and Networking -- Intelligent and Sapient Syste…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318248
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set Approximations -- Rough Sets and Higher Order Vagueness -- Approximation in Formal Concept Analysis -- Second-Order Rough Approximations in Multi-criteria Classification with Imprecise Evalua…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318255
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Constraints
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322528
- Deskripsi Fisik
- X, 217 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logica Universalis
Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equ…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783764373047
- Deskripsi Fisik
- X, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hong Kong English
- Chapter 1. Hong Kong English: an overview -- PART I: LEXICOGRAMMAR -- Chapter 2. Tag questions -- Chapter 3. Collective nouns -- PART II: DISCOURSE -- Chapter 4. Expressions of gratitude -- Chapter 5. Code-mixing of indigenous Cantonese words into English -- Chapter 6. Linguistic variation in digital discourse: the case of blogs -- Chapter 7. Conclusion -- Appendix 1. Indigenous Cantonese exp…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781137519641
- Deskripsi Fisik
- XVIII, 213 p. 6 illus., 1 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Minimalist Syntax for Quantifier Raising, Topicalization and Focus Movement: …
1 Introduction -- 2 Mechanism of Search and Float for Internal Merge -- 2.1 Minimal Search -- 2.2 Float -- 3 Search and Float for Covert Movement -- 3.1 Minimal Search and Float for Quantifier Raising -- 3.2 Covert Wh-Movement -- 3.3 Covert Oblique Movement of Wh-Phrases -- 4 Case Study I: Plurals and Reciprocals -- 4.1 The Cumulative Reading and Clause-Boundedness -- 4.2 The Cumulative Reading…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319473048
- Deskripsi Fisik
- VIII, 240 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Languages and Systems
Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based Static Analyzers -- The ASTREÉ Analyzer -- Interprocedural Herbrand Equalities -- Analysis of Modular Arithmetic -- Forward Slicing by Conjunctive Partial Deduction and Argument Filtering -- A New Foundation for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319870
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Processes, Terms and Cycles: Steps on the Road to Infinity
The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb’s Logic Meets the ?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324256
- Deskripsi Fisik
- XVIII, 642 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Semantic Web Reasoning
Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Langu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320289
- Deskripsi Fisik
- X, 166 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