| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996390876903316 |
|
|
Autore |
Wing John <1643-1726.> |
|
|
Titolo |
Olympia domata, or, An almanack for the year of our Lord God 1689 [[electronic resource] ] : being the 1st after bissextile, or leap-year, and from the worlds creation 5638 : wherein is contained the lunations, conjunctions and aspects of the planets ... : calculated according to art and referred to the horizon of the ancient and renowned borrough-town of Stamford ... fitting all the middle counties of England, and without sensible errour the whole kingdom / / by John Wing . |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge [Cambridgeshire], : Printed by John Hayes ..., 1689 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Almanacs, English |
Ephemerides |
Astrology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
First two words of title in Greek characters. |
Earlier editions by Vincent Wing. |
Second part (p. [33-48]) has special t.p.: Wing : a prognostication for the year of our Lord God 1683. |
Reproduction of original in the Bodleian Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465929203316 |
|
|
Titolo |
Foundations of Software Science and Computational Structures [[electronic resource] ] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings / / edited by Helmut Seidl |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (387 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4423 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Machine theory |
Compilers (Computer programs) |
Software Engineering |
Theory of Computation |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality of Timed Automata -- Iterator Types -- Types and Effects for Resource Usage Analysis -- The Complexity of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic -- The Rewriting Calculus as a Combinatory Reduction System -- Relational Parametricity and Separation Logic -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems -- Optimal Strategy Synthesis in Stochastic Müller Games -- Generalized Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi |
|
|
|
|
|
|
|
|
|
|
|
|
|
Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems -- A Distribution Law for CCS and a New Congruence Result for the ?-Calculus -- On the Expressiveness and Complexity of ATL -- Polynomial Constraints for Sets with Cardinality Bounds -- A Lower Bound on Web Services Composition -- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems -- Semantic Barbs and Biorthogonality -- On the Stability by Union of Reducibility Candidates -- An Effective Algorithm for the Membership Problem for Extended Regular Expressions -- Complexity Results on Balanced Context-Free Languages -- Logical Reasoning for Higher-Order Functions with Local State. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910143333703321 |
|
|
Titolo |
International journal of mental health and addiction |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, NY, : Springer Verlag New York |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mental health |
Addicts - Mental health |
Compulsive behavior |
Behavior, Addictive |
Mental Health |
Santé mentale |
Dépendants |
Comportement compulsif |
Salut mental |
Addictes |
Conducta compulsiva |
addiction |
mental health |
addicts |
Periodicals. |
Revistes electròniques. |
periodicals. |
Périodiques. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
|
|
|
|
| |