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
- -
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
- -
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
- -
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
- -
Model-Based Testing of Reactive Systems
Testing of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing and Synchronizing Sequences -- 2 State Identification -- 3 State Verification -- 4 Conformance Testing -- II. Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations -- 6 Test Generation Algorithms Based on Preorder Relations -- 7 I/O-automata Based Testing -- 8 Tes…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320371
- Deskripsi Fisik
- VIII, 664 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Driven Architecture - Foundations and Applications
MDA Development Processes -- Applying MDA to Voice Applications: An Experience in Building an MDA Tool Chain -- MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry -- Using Domain Driven Development for Monitoring Distributed Systems -- MDA for Embedded and Real-Time Systems -- Model-Driven Architecture for Hard Real-Time Systems: From Platform Ind…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320937
- Deskripsi Fisik
- X, 286 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Driven Architecture
Designing Application Domain Models with Roles -- Model Bus: Towards the Interoperability of Modelling Tools -- Modeling in the Large and Modeling in the Small -- Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML -- Model Transformation Language MOLA -- A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models -- Describing Horizontal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318194
- Deskripsi Fisik
- X, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Checking Software
Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How to Make Systems Code Crash Itself -- Invited Tutorials -- Effective Bug Hunting with Spin and Modex -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State Representation and Abstraction -- An Incremental Heap Canonicalization Algorithm -- Memory Efficie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318996
- Deskripsi Fisik
- XII, 292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mathematical Foundations of Computer Science 2005
Invited Lectures -- Page Migration in Dynamic Networks -- Knot Theory, Jones Polynomial and Quantum Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing -- The Generalization of Dirac’s Theorem for Hypergraphs -- On the Communication Complexity of Co-linearity Problems -- An Invitation to Play -- Papers -- The Complexity of Satisfiability Problems: Refin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318675
- Deskripsi Fisik
- XVI, 814 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