Vor Ort
Merkzettel Warenkorb
  • Produktbild: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
  • Produktbild: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Band 273 - 13%

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

Aus der Reihe IFIP Advances in Information and Communication Technology
13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Portrait

Giorgio Ausiello is Professor Emeritus in the Dipartimento di Ingegneria Informatica, Automatica e Gestionale, Università di Roma "La Sapienza". He has coauthored numerous formal academic journal and conference publications. He has chaired many related conferences and research groups, and he was a founding member of the European Association for Theoretical Computer Science (EATCS), and its President from 2006 to 2009. His main research interests include on-line algorithms, approximation algorithms, dynamic graph algorithms, optimization problems in vehicle routing and logistics, and streaming algorithms; he has also researched and published on programming theorys, computational complexity, and database theory.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.11.2010

Herausgeber

Giorgio Ausiello + weitere

Verlag

Springer Us

Seitenzahl

554

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

850 g

Auflage

Softcover reprint of hardcover 1st ed. 2008

Sprache

Englisch

ISBN

978-1-4419-3514-4

Portrait

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.11.2010

Herausgeber

Verlag

Springer Us

Seitenzahl

554

Maße (L/B/H)

23,5/15,5/3,1 cm

Gewicht

850 g

Auflage

Softcover reprint of hardcover 1st ed. 2008

Sprache

Englisch

ISBN

978-1-4419-3514-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
  • Produktbild: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
  • Track A.- Ambiguity and Complementation in Recognizable Two-dimensional Languages.- Algorithmic Game Theory: Some Greatest Hits and Future Directions.- Synchronizing Road Coloring.- Leader Election in Anonymous Rings: Franklin Goes Probabilistic.- Inverse Problems Have Inverse Complexity.- Literal Shuffle of Compressed Words.- Reconstructing words from a fixed palindromic length sequence.- The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks.- Partitioning Random Graphs with General Degree Distributions.- On the Longest Common Factor Problem.- Stable Dynamics of Sand Automata.- On tractability of Cops and Robbers game.- Computability of Tilings.- A Classification of Degenerate Loop Agreement.- On the expressive power of univariate equations over sets of natural numbers.- Collisions and their Catenations: Ultimately Periodic Tilings of the Plane.- Cache-sensitive Memory Layout for Binary Trees.- Track B.- From Processes to ODEs by Chemistry.- Differential Linear Logic and Processes.- Solving Monotone Polynomial Equations.- Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.- Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.- ?-calculus Pushdown Module Checking with Imperfect State Information.- From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.- On Traits and Types in a Java-like Setting.- Canonical Sequent Proofs via Multi-Focusing.- Universal Coinductive Characterisations of Process Semantics.- Static and dynamic typing for the termination of mobile processes.- Regular n-ary Queries in Trees and Variable Independence.- Hamiltonicity of automatic graphs.- Marking the chops: an unambiguous temporal logic.- On Boundedness in Depth in the ?-Calculus.- A Unified View of Tree Automata and Term Schematisations.- Deconstructing behavioural theories of mobility.- Adequacy of Compositional Translations for Observational Semantics.- The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.