| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000892800403321 |
|
|
Autore |
Symposium |
|
|
Titolo |
Symposium on Earthquake Engineering Vol.I-II |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
India : Sarita Prakashan, 1974 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996385662703316 |
|
|
Autore |
Line Francis <1595-1675.> |
|
|
Titolo |
Tractatus de corporum inseparabilitate [[electronic resource] ] : in quo experimenta de vacuo, tam Torricelliana, quàm Magdeburgica, & Boyliana, examinantur verâque eorum causâ detectâ, ostenditur vacuum naturaliter darinon posse, unde & Aristotelica de rarefactione sententia, tam contra assertores vacuitatum, quam corpusculorum demonstratur : accessit solutio difficillimi illius problematis Aristotelici de duabus rotis, quae, licet, valde inæquales, æquales tamen orbitas describunt / / autore Francisco Lino |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Londini, : Typis Thomae Roycroft, impensis Joan. Martin, Ja. Allestry & Tho. Ditas ..., 1661 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
[16], 189, [3] p., 4 folded plates |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Advertisement: p. [1]-[3] at end. |
"Errata": prelim. p. [15]. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Imperfect: fold. plates lacking in filmed copy. |
Reproduction of original in the University of Illinois (Urbana-Champaign Campus). Library. |
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996546854703316 |
|
|
Titolo |
Implementation and Application of Automata [[electronic resource] ] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / / edited by Benedek Nagy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (313 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 14151 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Artificial intelligence |
Information storage and retrieval systems |
Algorithms |
Computer science - Mathematics |
Discrete mathematics |
Theory of Computation |
Computer Science Logic and Foundations of Programming |
Artificial Intelligence |
Information Storage and Retrieval |
Discrete Mathematics in Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Finite automata as verifiers -- Binary Coded Unary Regular Languages -- A Survey on Automata with Translucent Letters -- Earliest Query Answering for Deterministic Stepwise Hedge Automata -- Constrained Multi-Tildes -- On the smallest synchronizing terms of finite tree automata -- Universal First-Order Quantification over Automata -- |
|
|
|
|
|
|
|
|
|
|
|
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions -- Sweep complexity revisited -- The Pumping Lemma for Regular Languages is Hard -- M-equivalence of Parikh Matrix over a Ternary Alphabet -- Operational Complexity in Subregular Classes -- When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem -- Enhanced Ternary Fibonacci Codes -- Sweeping Input-Driven Pushdown Automata -- Verified Verifying: SMT-LIB for Strings in Isabelle -- Weighted Bottom-up and Top-down Tree Transformations Are Incomparable -- Deciding whether an Attributed Translation can be realized by a Top-Down Transducer -- A time to cast away stones -- Two-way Machines and de Bruijn Words -- Transduction of Automatic Sequences and Applications -- Measuring Power of Generalised Definite Languages -- Smaller Representation of Compiled Regular Expressions. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19–22, 2023. The 20 regular papers presented in this book together with invited talks were carefully reviewed and selected from 30 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910795855803321 |
|
|
Autore |
Lockwood John <1951-> |
|
|
Titolo |
The siege of Washington [[electronic resource] ] : the untold story of the twelve days that shook the Union / / John Lockwood and Charles Lockwood |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford ; ; New York, : Oxford University Press, c2011 |
|
|
|
|
|
|
|
ISBN |
|
0-19-025445-9 |
0-19-983073-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
xiv, 296 p., [16] p. : ill., map |
|
|
|
|
|
|
Altri autori (Persone) |
|
LockwoodCharles <1948-2012.> |
|
|
|
|
|
|
Soggetti |
|
United States History Civil War, 1861-1865 |
Washington (D.C.) History Civil War, 1861-1865 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
| |