Ditapis dengan
Foundations of Software Science and Computational Structures
Invited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational and Combinatorial Structures -- Rule Formats and Bisimulation -- Congruence for Structural Congruences -- Probabilistic Congruence for Semistochastic Generative Processes -- Bisimulation on Speed: A Unified Approach -- Probabilistic Models -- Branching Cells as Local States for Event Structures and Nets:…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319825
- Deskripsi Fisik
- XIV, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Frontiers of Combining Systems
Logics, Theories, and Decision Procedures I -- A Comprehensive Framework for Combined Decision Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic -- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal -- Inte…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317302
- Deskripsi Fisik
- X, 321 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs -- Streaming Algorithms for Geometric Problems -- Toward a Grainless Semantics for Shared-Variable Concurrency -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers -- Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Pet…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305385
- Deskripsi Fisik
- XVI, 532 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Natural Language Processing and Information Systems
Regular Papers -- Extracting Semantic Taxonomies of Nouns from a Korean MRD Using a Small Bootstrapping Thesaurus and a Machine Learning Approach -- On the Transformation of Sentences with Genitive Relations to SQL Queries -- Binary Lexical Relations for Text Representation in Information Retrieval -- Application of Text Categorization to Astronomy Field -- Towards an XML Representation of Prop…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321101
- Deskripsi Fisik
- XII, 408 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Natural Language Processing – IJCNLP 2005
Information Retrieval -- Corpus-Based Parsing -- Web Mining -- Rule-Based Parsing -- Disambiguation -- Text Mining -- Document Analysis -- Ontology and Thesaurus -- Relation Extraction -- Text Classification -- Transliteration -- Machine Translation – I -- Question Answering -- Morphological Analysis -- Machine Translation – II -- Text Summarization -- Named Entity Recognition -- Linguistic…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317241
- Deskripsi Fisik
- XXII, 1034 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Natural Language Processing – IJCNLP 2004
Dialogue and Discourse -- FSA, Parsing Algorithms -- Information Extraction and Question Answering -- Information Retrieval -- Lexical Semantics, Ontology and Linguistic Resources -- Machine Translation and Multilinguality -- NLP Software and Application -- Semantic Disambiguation -- Statistical Models and Machine Learning for NLP -- Taggers, Chunkers, Shallow Parsers -- Text and Sentence Gener…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302117
- Deskripsi Fisik
- XVIII, 822 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multiparadigm Programming in Mozart/Oz
Keynote Talk -- The Development of Oz and Mozart -- Security -- The Structure of Authority: Why Security Is Not a Separable Concern -- The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specificati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318453
- Deskripsi Fisik
- XVI, 336 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Modeling and Using Context
Modelling the Context of Learning Interactions in Intelligent Learning Environments -- Contextual Modals -- Understanding Context Before Using It -- Epistemological Contextualism: A Semantic Perspective -- Task-Realization Models in Contextual Graphs -- Context-Dependent and Epistemic Uses of Attention for Perceptual-Demonstrative Identification -- Utilizing Visual Attention for Cross-Modal Cor…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318903
- Deskripsi Fisik
- XV, 572 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980 -- Developments in Data Structure Research During the First 25 Years of FSTTCS -- Inference Systems for Logical Algorithms -- From Logic to Games -- Proving Lower Bounds Via Pseudo-random Generators -- Erd?s Magic -- Contributed Papers -- No Coreset, No Cry: II -- Improved Bounds on the Union Complexity of Fa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324195
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Logic in Multi-Agent Systems
Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems -- Programming Groups of Rational Agents -- Negotiation in Multi-agent Systems -- An Abductive Framework for Information Exchange in Multi-agent Systems -- Fault Tolerant and Fixed Scalable Structure of Middle-Agents -- Symbolic Negotiation with Linear Logic -- Planning in Multi-agent Systems -- Planning Ex…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302001
- Deskripsi Fisik
- XII, 251 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