๐”– Scriptorium
โœฆ   LIBER   โœฆ

Cover of spirit versus structure
๐Ÿ“

spirit versus structure


Tongue
English
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Structures versus Special Properties
โœ L. Banci, A. Bencini, C. Benelli, R. Bohra, J.-M. Dance, D. Gatteschi, V. K. Jai ๐Ÿ“‚ Library ๐Ÿ“… 1982 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English
Logics for Concurrency: Structure versus
โœ Faron Moller, Graham Birtwistle (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1996 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one prese

Microbial Communities: Functional Versus
โœ Bryan S. Griffiths, Karl Ritz, Ronald E. Wheatley (auth.), Univ. Doz. Dr. Heribe ๐Ÿ“‚ Library ๐Ÿ“… 1997 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>Research on decomposer communities of terrestrial ecosystems for a long time has focussed on microbial biomass and gross turnover parameters. Recently, more and more attempts are made to look beyond the biomass, and more specifically determine functions and populations on a smaller scale-in time

Logics for Concurrency: Structure versus
โœ Faron Moller, Graham Birtwistle (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1996 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one prese