Ditapis dengan
Hybrid Systems: Computation and Control
Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Tim…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319542
- Deskripsi Fisik
- XII, 684 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theorem Proving in Higher Order Logics
Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion and Induction -- Regular Papers -- Shallow Lazy Proofs -- Mechanized Metatheory for the Masses: The PoplMark Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS -- Proving Equalities in a Commutative Ring Done Right in Coq -- A …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318200
- Deskripsi Fisik
- X, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Typed Lambda Calculi and Applications
Completeness Theorems and ?-Calculus -- Completeness Theorems and ?-Calculus -- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract -- Can Proofs Be Animated By Games? -- Contributed Papers -- Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs -- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320142
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Modeling and Analysis of Timed Systems
Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316169
- Deskripsi Fisik
- IX, 305 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Composition
Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540287490
- Deskripsi Fisik
- X, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation and Application of Functional Languages
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Stric…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320388
- Deskripsi Fisik
- X, 230 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Static Analysis
Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319719
- Deskripsi Fisik
- X, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Aspects of Computing - ICTAC 2005
Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based Software Engineering -- Formal Languages -- Outfix-Free Regular Languages and Prime Outfix-Free Decomposi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320722
- Deskripsi Fisik
- XIV, 618 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Components and Objects
A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and A…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319399
- Deskripsi Fisik
- VIII, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integrated Formal Methods
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322405
- Deskripsi Fisik
- XI, 407 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