Ditapis dengan
Computer Aided Verification
Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern Microprocessor -- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology -- Tools Competition -- SMT-COMP: Satisfiability Modulo Theories Competition -- Abstraction and Refinement -- Predicate Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation A…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316862
- Deskripsi Fisik
- XVI, 568 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Aided Systems Theory – EUROCAST 2005
Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318293
- Deskripsi Fisik
- XIV, 634 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Security Analysis and Design III
FOSAD 2004 (6-11 September 2004) -- Justifying a Dolev-Yao Model Under Active Attacks -- Model-Based Security Engineering with UML -- A Tutorial on Physical Security and Side-Channel Attacks -- Static Analysis of Authentication -- FOSAD 2005 (19-24 September 2005) -- Formal Methods for Smartcard Security -- Privacy-Preserving Database Systems -- Intrusion Detection: Introduction to Intrusion De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319368
- Deskripsi Fisik
- VIII, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah