| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910449733103321 |
|
|
Autore |
Darwin Charles <1809-1882.> |
|
|
Titolo |
The Voyage of the Beagle [[electronic resource] ] : Darwin's five-year circumnavigation / / Charles Darwin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Santa Barbara, Calif., : Narrative Press, 2001 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (537 p.) |
|
|
|
|
|
|
Soggetti |
|
Voyages around the world |
Geology |
Natural history |
Electronic books. |
South America Description and travel |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
The Voyage of the Beagle is the 1845 (second) edition. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483534503321 |
|
|
Titolo |
Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38721-1 |
9786613565136 |
3-642-13675-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 329 p. 129 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6128 |
|
|
|
|
|
|
Altri autori (Persone) |
|
LiliusJohan |
PenczekWojciech |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer programming |
Software engineering |
Compilers (Computer programs) |
Theory of Computation |
Programming Techniques |
Software Engineering |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
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 |
|
Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for |
|
|
|
|
|
|
|
|
|
|
|
Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised ?ve workshops and three tutorials. This year, the c- ference was co-located with the 10th International Conference on Application of Concurrency to System Design (ACSD 2010). The two conferences shared ?ve invited speakers. Detailed information about PETRI NETS 2010 can be found at http://petrinets2010. di. uminho. pt. The PETRI NETS 2010 conference was organized by the Universidade du Minho and the Instituto Polytécnico de Beja. It took place in Braga, Portugal during June 21-25, 2010. We would like to express our deepest thanks to the Organizing Committee, chaired by João M. Fernandes, for the time and e'ort invested in the conference and for all the help with local organization. We are also grateful for the ?nancial support by Centro de Ciências e Tecnologias de Computação. Thisyearthenumberofsubmittedpapersamountedto50,whichincluded43 full papers and 7 tool papers. The authors of the papers come from 20 di'erent countries. We thank allthe authorswho submitted their papers. |
|
|
|
|
|
|
|
| |