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

914.512

Locazione

FLFBC

Collocazione

3/XV AA 20

Lingua di pubblicazione

Italiano

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

975.8

Soggetti

Rivers - Chattahoochee River Valley - History

Electronic books.

Chattahoochee River History

Chattahoochee River Valley History

Lingua di pubblicazione

Inglese

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

3-642-38697-0

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

004.0151

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

Inglese

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.