| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910474652103321 |
|
|
Autore |
Covino, Andrea |
|
|
Titolo |
Il panorama delle Alpi e i contorni di Torino / di A. Covino |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Torino, : Luigi Beuf, 1874 |
|
|
|
|
|
|
|
Descrizione fisica |
|
160 p. : ill., [4] c. geogr. ripieg. ; 20 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
in cop.: Col panorama della cerchia delle Alpi disegnato dal monte dei Cappuccini da E.F. Bossoli. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910455021703321 |
|
|
Autore |
Willoughby Lynn <1951-> |
|
|
Titolo |
Flowing through time [[electronic resource] ] : a history of the lower Chattahoochee River / / Lynn Willoughby |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Tuscaloosa, : University of Alabama Press, c1999 |
|
|
|
|
|
|
|
ISBN |
|
0-8173-8634-3 |
0-585-16416-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (249 p.) |
|
|
|
|
|
|
Collana |
|
Chattahoochee Valley legacy series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Rivers - Chattahoochee River Valley - History |
Electronic books. |
Chattahoochee River History |
Chattahoochee River Valley History |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Published in cooperation with the Historic Chattahoochee Commission and The Columbus Museum." |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 213-224) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; List of Illustrations; Acknowledgments; Introduction; 1. The Ancients; 2. The Scramble for Muscogee; 3. Along the White Frontier; 4. A Land of Cotton; 5. The Civil War Years; 6. Moonlight and Magnolias; 7. Workin' the River; 8. The Business of Steamboating; 9. River Power; 10. Troubled Waters; 11. Will the Water Last?; Notes; Bibliography; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This handsome, illustrated book chronicles the history of the Lower Chattahoochee River and the people who lived along its banks from prehistoric Indian settlement to the present day. In highly accessible, energetic prose, Lynn Willoughby takes readers down the Lower Chattahoochee River and through the centuries. On this journey, the author begins by examining the first encounters between Native Americans and European explorers and the international contest for control of the region in the 17th and 19th centuries.Throughout the book pays particular att |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483208403321 |
|
|
Titolo |
Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 411 p. 166 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7927 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Computer science - Mathematics |
Mathematical statistics |
Artificial intelligence - Data processing |
Compilers (Computer programs) |
Theory of Computation |
Software Engineering |
Computer Science Logic and Foundations of Programming |
Probability and Statistics in Computer Science |
Data Science |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed. |
|
|
|
|
|
|
|
| |