Vor Ort
Merkzettel Warenkorb
  • Produktbild: Theoretical Aspects of Computing - ICTAC 2005
  • Produktbild: Theoretical Aspects of Computing - ICTAC 2005
Band 3722

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Aus der Reihe Theoretical Computer Science and General Issues

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.10.2005

Abbildungen

XIV, 618 p.

Herausgeber

Dang Van Hung + weitere

Verlag

Springer Berlin

Seitenzahl

618

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

943 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-29107-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.10.2005

Abbildungen

XIV, 618 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

618

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

943 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-29107-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Theoretical Aspects of Computing - ICTAC 2005
  • Produktbild: 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 Decomposition.- Solving First Order Formulae of Pseudo-Regular Theory.- Splicing Array Grammar Systems.- Computer Science Logics.- Compositionality of Fixpoint Logic with Chop.- An SLD-Resolution Calculus for Basic Serial Multimodal Logics.- Upside-Down Transformation in SOL/Connection Tableaux and Its Application.- Program Construction.- On the Stability Semantics of Combinational Programs.- Generating C Code from LOGS Specifications.- Formalizing the Debugging Process in Haskell.- Finding Resource Bounds in the Presence of Explicit Deallocation.- Real-Time Systems.- The Timer Cascade: Functional Modelling and Real Time Calculi.- A Robust Interpretation of Duration Calculus.- Symbolic Model Checking of Finite Precision Timed Automata.- Concurrency and Refinement.- Covarieties of Coalgebras: Comonads and Coequations.- Linking Theories of Concurrency.- On Cool Congruence Formats for Weak Bisimulations.- Externalized and Internalized Notions of Behavioral Refinement.- Software Security.- Information Flow Is Linear Refinement of Constancy.- On Typing Information Flow.- Representation and Reasoning on RBAC: A Description Logic Approach.- Revisiting Failure Detection and Consensus in Omission Failure Environments.- Quantitative Logics.- Congruences and Bisimulations for Continuous-Time Stochastic Logic.- A Logic for Quantum Circuits and Protocols.- Quantitative Temporal Logic Mechanized in HOL.- WeakStochastic Bisimulation for Non-markovian Processes.- Object-Orientation and Component Systems.- On Refinement of Software Architectures.- POST: A Case Study for an Incremental Development in rCOS.- Implementing Application-Specific Object-Oriented Theories in HOL.- Constructing Open Systems via Consistent Components.- Model-Checking and Algorithms.- A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.- Using Fairness Constraints in Process-Algebraic Verification.- Maximum Marking Problems with Accumulative Weight Functions.- Applied Logics and Computing Theory.- Toward an Abstract Computer Virology.- On Superposition-Based Satisfiability Procedures and Their Combination.- Tutorials at ICTAC 2005.- A Summary of the Tutorials at ICTAC 2005.