Catalogue


Was ist theoretische Pathologie? [electronic resource] /
W. Doerr, H. Schipperges.
imprint
Berlin ; New York : Springer-Verlag, 1979.
description
74 p. : ill.
ISBN
0387096795, 9780387096797
format(s)
Book
A Look Inside
Summaries
Back Cover Copy
International Federation for Information ProcessingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit springeronline.com. For more information about IFIP, please visit www.ifip.or.at.
Long Description
This book constitutes the refereed proceedings of Fifth International Conference onTheoretical Computer Scienceheld at the 20th World Computer Congress in Milano, Italy, September 7-10,2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Main Description
This book constitutes the refereed proceedings of Fifth International Conference on Theoretical Computer Science held at the 20th World Computer Congress in Milano, Italy, September 7-10, 2008.The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Main Description
This book constitutes the refereed proceedings of 5th International Conference on Theoretical Computer Science held in Milano, Italy in 2008.The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Main Description
This book constitutes the refereed proceedings of 5th International Conference on Theoretical Computer Science held in Milano, Italy in 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Back Cover Copy
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org.
Table of Contents
Ambiguity and complementation in recognizable two-dimensional languagesp. 5
Algorithmic game theory : some greatest hits and future directionsp. 21
Synchronizing road coloringp. 43
Leader election in anonymous rings : Franklin goes probabilisticp. 57
Inverse problems have inverse complexityp. 73
Literal shuffle of compressed wordsp. 87
Reconstructing words from a fixed palindromic length sequencep. 101
The mv-decomposition : definition and application to the distance-2 broadcast problem in multi-hops radio networksp. 115
Partitioning random graphs with general degree distributionsp. 127
On the longest common factor problemp. 143
Stable dynamics of sand automatap. 157
On tractability of Cops and Robbers gamep. 171
Computability of tilingsp. 187
A classification of degenerate loop agreementp. 203
On the expressive power of univariate equations over sets of natural numbersp. 215
Collisions and their catenations : ultimately periodic tilings of the planep. 229
Cache-sensitive memory layout for binary treesp. 241
From processes to ODEs by chemistryp. 261
Differential linear logic and processesp. 283
Solving monotone polynomial equationsp. 285
Lifting non-finite axiomatizability results to extensions of process algebrasp. 301
Finite equational bases for fragments of CCS with restriction and relabellingp. 317
[mu]-calculus pushdown module checking with imperfect state informationp. 333
From formal proofs to mathematical proofs : a safe, incremental way for building in first-order decision proceduresp. 349
On traits and types in a Java-like settingp. 367
Canonical sequent proofs via multi-focusingp. 383
Universal coinductive characterisations of process semanticsp. 397
Static and dynamic typing for the termination of mobile processesp. 413
Regular n-ary queries in trees and variable independencep. 429
Hamiltonicity of automatic graphsp. 445
Marking the chops : an unambiguous temporal logicp. 461
On boundedness in depth in the x-calculusp. 477
A unified view of tree automata and term schematisationsp. 491
Deconstructing behavioural theories of mobilityp. 507
Adequacy of compositional translations for observational semanticsp. 521
The surprising robustness of (closed) timed automata against clock-driftp. 537
Table of Contents provided by Blackwell. All Rights Reserved.

This information is provided by a service that aggregates data from review sources and other sources that are often consulted by libraries, and readers. The University does not edit this information and merely includes it as a convenience for users. It does not warrant that reviews are accurate. As with any review users should approach reviews critically and where deemed necessary should consult multiple review sources. Any concerns or questions about particular reviews should be directed to the reviewer and/or publisher.

  link to old catalogue

Report a problem