Ditapis dengan
Logic for Programming, Artificial Intelligence, and Reasoning
CERES in Many-Valued Logics -- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi -- Abstract DPLL and Abstract DPLL Modulo Theories -- Combining Lists with Non-stably Infinite Theories -- Abstract Model Generation for Preprocessing Clause Sets -- Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying -- Applications of Gen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322757
- Deskripsi Fisik
- XII, 560 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Based Program Synthesis and Transformation
Verification and Analysis -- Searching Semantically Equivalent Code Fragments in Logic Programs -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs -- Fully Automatic Binding-Time Analysis for Prolog -- Theory and Security -- Logical Mobility and Locality Types -- Unwinding Conditions for Securit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316831
- Deskripsi Fisik
- VIII, 284 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
ZB 2005: Formal Specification and Development in Z and B
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract— -- Visualising Larger State Spaces in Pro B -- Non-atomic Refinement in Z and CSP -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL -- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ -- A Stepwise Deve…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320074
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Techniques for Networked and Distributed Systems - FORTE 2005
KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarch…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320845
- Deskripsi Fisik
- XII, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Mobile Computing
Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Str…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320210
- Deskripsi Fisik
- VIII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation of Functional Languages
Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Program…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540278610
- Deskripsi Fisik
- X, 190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Science Logic
Invited Lectures -- XML Navigation and Tarski’s Relation Algebras -- Verification in Predicate Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formula…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318972
- Deskripsi Fisik
- XI, 567 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Global Optimization and Constraint Satisfaction
Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block Backtracking: Exploiting the Structure in Continuous CSPs -- Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming Methods for Global Optimization -- A Method for Global Optimization of Large Syste…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320418
- Deskripsi Fisik
- XII, 193 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Computer Science
Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320241
- Deskripsi Fisik
- XI, 411 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Techniques for Computer Systems and Business Processes
Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Est…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319030
- Deskripsi Fisik
- XIII, 349 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