| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465327403316 |
|
|
Titolo |
Foundations of Software Science and Computational Structures [[electronic resource] ] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / / edited by Luke Ong |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38588-X |
9786613563804 |
3-642-12032-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XV, 389 p. 47 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6014 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Machine theory |
Compilers (Computer programs) |
Software engineering |
Computer science |
Formal Languages and Automata Theory |
Compilers and Interpreters |
Software Engineering |
Theory of Computation |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming Languages -- A Semantic Foundation for Hidden State -- Linearly-Used Continuations in the Enriched Effect Calculus -- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience -- Completeness for Algebraic Theories of Local State -- Probabilistic and Randomised Computation -- Fair Adversaries and Randomization in Two-Player Games -- Retaining the Probabilities in Probabilistic Testing Theory -- Concurrency and Process Theory -- Forward Analysis of Depth-Bounded Processes -- Incremental Pattern- |
|
|
|
|
|
|
|
|
|
|
|
|
|
Based Coinduction for Process Algebra and Its Isabelle Formalization -- Parameterised Multiparty Session Types -- On the Relationship between Spatial Logics and Behavioral Simulations -- Modal and Temporal Logics -- An Easy Completeness Proof for the Modal ?-Calculus on Finite Trees -- When Model-Checking Freeze LTL over Counter Machines Becomes Decidable -- Model Checking Is Static Analysis of Modal Logic -- Counting CTL -- Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems -- Verification -- Toward a Compositional Theory of Leftist Grammars and Transformations -- Degrees of Lookahead in Regular Infinite Games -- Reachability Analysis of Communicating Pushdown Systems -- The Complexity of Synchronous Notions of Information Flow Security -- Categorical and Coalgebraic Methods -- Monads Need Not Be Endofunctors -- CIA Structures and the Semantics of Recursion -- Coalgebraic Correspondence Theory -- Lambda Calculus and Types -- Untyped Recursion Schemes and Infinite Intersection Types -- Solvability in Resource Lambda-Calculus -- A Hierarchy for Delimited Continuations in Call-by-Name. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910702978203321 |
|
|
Autore |
Ciesla William M |
|
|
Titolo |
Large aspen tortrix |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Washington, D.C.?], : U.S. Dept. of Agriculture, 1988 |
|
|
|
|
|
|
|
Edizione |
[Rev. June 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (7 pages, 1 unnumbered page) : color illustrations, color map |
1 online resource |
|
|
|
|
|
|
|
|
Collana |
|
Forest insect & disease leaflet ; ; 139 |
|
|
|
|
|
|
Altri autori (Persone) |
|
KruseJames J (James John) |
|
|
|
|
|
|
Soggetti |
|
Aspen - Diseases and pests - North America |
Large aspen tortrix - North America |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed Jan. 5, 2010). |
"FS-R6-RO-FIDL#139/004-2009"--P. [8]. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 7). |
|
|
|
|
|
| |