| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910671272303321 |
|
|
Autore |
Villegas Fernández Jesús Manuel |
|
|
Titolo |
Libro verde sobre la investigación criminal / / Jesús Manuel Villegas Fernández |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Madrid : , : Dykinson, , 2020 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 recurso en línea (65 páginas) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Criminal investigation |
Procedure (Law) - Spain |
Investigación criminal |
Derecho procesal - España |
Libros electronicos. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910794315403321 |
|
|
Autore |
Cornwall Claudia Maria |
|
|
Titolo |
British Columbia in flames : stories from a blazing summer / / Claudia Cornwall |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Madeira Park, BC : , : Harbour Publishing, , [2020] |
|
©2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (295 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Intro -- Dedication -- Epigraph -- Map -- Introduction: In for one hell of a ride -- Sheridan Lake -- Chapter 1: We can't go south -- we can't go north -- Ashcroft -- Chapter 2: Get out, it's coming! -- Cache Creek -- Chapter 3: What's the name of your dentist? -- Chapter 4: We got out every hose and pump we had -- 16 Mile House -- Chapter 5: It's scary shit!! -- 100 Mile House -- Chapter 6: An empty house in an empty town -- Lac La Hache -- Chapter 7: Like a noose -- Quesnel -- Chapter 8: Five- or six-foot waves breaking over the top of our canoe -- Chapter 9: Prepare for no one and nothing to come -- Williams Lake -- Chapter 10: I can't answer messages fast enough -- Chapter 11: Evacuate, evacuate! -- Chapter 12: Go Sam, Go -- Hanceville-Riske Creek -- Chapter 13: Phenomenal heart come out -- Chapter 14: The fire draws everything toward it -- Chapter 15: But it came, it came, it came, it came, it came -- Chapter 16: You're going to die, you need to get out of here! -- Clinton -- Chapter 17: Oh fire just take me -- Chapter 18: I had to go over the mountain -- Chapter 19: Our neighbours were everything to us -- Pressy Lake-70 Mile House-Green Lake -- Chapter 20: What the hell was wrong with us? -- Chapter 21: Will you pick up Bear? -- Chapter 22: I could wrap a wet towel around my head, go out into the lake -- Sheridan Lake -- Chapter 23: It come in here with a vengeance -- Chapter 24: You get used to riding with flames -- Chapter 25: Let us conspire with the forests -- Epilogue -- Select Bibliography -- Acknowledgements -- Endnotes -- Index -- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
A moving personal and journalistic account of wildfire season in BC. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910144158603321 |
|
|
Titolo |
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-30768-4 |
9786610307685 |
3-540-24773-4 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2004.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 240 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 3052 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Logic, Symbolic and mathematical |
Computers |
Software engineering |
Programming languages (Electronic computers) |
Logics and Meanings of Programs |
Mathematical Logic and Foundations |
Theory of Computation |
Software Engineering |
Mathematical Logic and Formal Languages |
Programming Languages, Compilers, 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 at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An |
|
|
|
|
|
|
|
|
|
|
|
ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
|
|
|
|
|
|
Sommario/riassunto |
|
Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com- tation can be expressed through speci?c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re?ned to other ASMs. Stepwise re?nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops. Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in?uential outcome was the f- damental Lipari Guide. |
|
|
|
|
|
|
|
| |