| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBTWSOB00001027 |
|
|
Autore |
Ferretti, Giovanni <1885-1952> |
|
|
Titolo |
Leopardi : studi biografici / Giovanni Ferretti |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Collana di Storia e Lettere ; 2 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910792434103321 |
|
|
Titolo |
Communicating process architectures 2009 [[electronic resource] ] : WoTUG-32 / / edited by Peter H. Welch ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, D.C., : IOS Press, c2009 |
|
|
|
|
|
|
|
ISBN |
|
6612600926 |
1-282-60092-3 |
9786612600920 |
1-60750-513-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (420 p.) |
|
|
|
|
|
|
Collana |
|
Concurrent systems engineering series, , 1383-7575 ; ; v. 67 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer architecture |
occam (Computer program language) |
Parallel processing (Electronic computers) |
Transputers |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands". |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi |
New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler)Translating ETC to LLVM Assembly; Resumable Java Bytecode. Process Mobility for the JVM; OpenComRTOS: A Runtime Environment for Interacting Entities; Economics of Cloud Computing: A Statistical Genetics Case Study; An Application of CoSMoS Design Methods to Pedestrian Simulation; An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures; Auto-Mobiles: Optimised Message-Passing; A Denotational Study of Mobility; PyCSP Revisited |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
A collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISOBE600200062380 |
|
|
Autore |
Plinius Caecilius Secundus, Gaius <il giovane> |
|
|
Titolo |
Opere / Plinio Cecilio Secondo ; a cura di Francesco Trisoglio |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Torino, : Unione Tipografico Editrice Torinese, 1973 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Classici latini ; dir.I.Lana |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
| |