Ditapis dengan
Inconsistency Tolerance
to Inconsistency Tolerance -- Consistency of XML Specifications -- Consistent Query Answers in Virtual Data Integration Systems -- Representing Paraconsistent Reasoning via Quantified Propositional Logic -- On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases -- On the Complexity of Paraconsistent Inference Relations -- Approaches to Measuring Inconsis…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305972
- Deskripsi Fisik
- VIII, 300 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Aspects of Computing - ICTAC 2004
Invited Speakers -- Software Services: Scientific Challenge or Industrial Hype? -- Integrating Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic and Model Checking for Mobile Processes -- Concurrent and Distributed Systems -- Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes -- Specifying Software Connectors -- Repli…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318620
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Theory of Distributed Objects
Review -- Analysis -- Formalisms and Distributed Calculi -- ASP Calculus -- An Imperative Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties -- Parallel Semantics -- Basic ASP Properties -- Confluence Property -- Determinacy -- A Few More Features -- More Confluent Features -- Non-Confluent Features -- Migration -- Groups -- Components -- Chan…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540272458
- Deskripsi Fisik
- XXXII, 352 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods in Software and Systems Modeling
Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318477
- Deskripsi Fisik
- XXVIII, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Verification, Model Checking, and Abstract Interpretation
Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using Mathematical Programming -- The Arithmetic-Geometric Progression Abstract Domain -- An Overview of Semantics for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compil…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305798
- Deskripsi Fisik
- XII, 483 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fundamental Approaches to Software Engineering
Invited Contributions -- Esterel v7: From Verified Formal Specification to Efficient Industrial Designs -- Checking Memory Safety with Blast -- Web Services -- Analyzing Web Service Based Business Processes -- Automatic Conformance Testing of Web Services -- Graph Grammars and Graph Transformations -- Termination Criteria for Model Transformation -- Ensuring Structural Constraints in Graph-Base…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319849
- Deskripsi Fisik
- XIV, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Term Rewriting and Applications
Confluent Term Rewriting Systems -- Generalized Innermost Rewriting -- Orderings for Innermost Termination -- Leanest Quasi-orderings -- Abstract Modularity -- Union of Equational Theories: An Algebraic Approach -- Equivariant Unification -- Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories -- Unification in a Class of Permutative Theories -- Dependency Pairs for…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320333
- Deskripsi Fisik
- XIII, 517 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Open Object-Based Distributed Systems
Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Se…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315568
- Deskripsi Fisik
- X, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intelligent Agents and Multi-Agent Systems
A Combined System for Update Logic and Belief Revision -- Using Messaging Structure to Evolve Agents Roles in Electronic Markets -- Specifying DIMA Multi-agents Models Using Maude -- picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing -- An Approach to Safe Continuous Planning -- Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback -- Price Dete…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321286
- Deskripsi Fisik
- X, 329 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Developments in Language Theory
Restricted Towers of Hanoi and Morphisms -- Collapsing Words: A Progress Report -- Locally Consistent Parsing and Applications to Approximate String Comparisons -- Central Sturmian Words: Recent Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular Settings -- Complexity of Quantum Uniform and Nonuniform Automata -- Membership and Finitenes…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316824
- Deskripsi Fisik
- XII, 412 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