Ditapis dengan
Constructing Correct Software
Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction -- Recursion Removal -- Quantifications -- Refinement and Re-use -- Developments -- Sorting -- Data Refinement -- Sorting Revisited -- Failures and Fixes -- Further Examples -- On Interactive Software.Central to Formal Methods is the so-called Correctness Theorem which relates a specification to …
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781846280795
- Deskripsi Fisik
- XXI, 509 p. 100 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Constraint Solving and Language Processing
Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment of Long Distance Dependencies in CHR -- Metagrammar Redux -- The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions and Constraint Systems -- Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319283
- Deskripsi Fisik
- VIII, 205 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Conditionals, Information, and Inference
Invited Papers -- What Is at Stake in the Controversy over Conditionals -- Reflections on Logic and Probability in the Context of Conditionals -- Acceptance, Conditionals, and Belief Revision -- Regular Papers -- Getting the Point of Conditionals: An Argumentative Approach to the Psychological Interpretation of Conditional Premises -- Projective Default Epistemology -- On the Logic of Iterated …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322351
- Deskripsi Fisik
- XII, 219 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
CONCUR 2005 - Concurrency Theory
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the As…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319344
- Deskripsi Fisik
- XXIV, 1280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Conceptual Modeling - ER 2005
Specific Approaches -- Conceptual Modeling of Structure and Behavior with UML – The Top Level Object-Oriented Framework (TLOOF) Approach -- How to Manage Uniformly Software Architecture at Different Abstraction Levels -- Schema Integration Based on Uncertain Semantic Mappings -- Process Modeling and Views -- Combining Intention-Oriented and State-Based Process Modeling -- Pattern-Based Analys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320685
- Deskripsi Fisik
- XVI, 504 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reconfigurable Computing
An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate? Inside the FPGA. Mapping Algorithms to Hardware. RC Applications. Example: Dot Product. Further Reading -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers.…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261065
- Deskripsi Fisik
- X, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Safety, Reliability, and Security
CMMI RAMS Extension Based on CENELEC Railway Standard -- The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems -- Defining and Decomposing Safety Policy for Systems of Systems -- Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Dat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320005
- Deskripsi Fisik
- XIII, 405 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah