| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910460141603321 |
|
|
Autore |
Hagen Fredrik |
|
|
Titolo |
New Kingdom ostraca from the Fitzwilliam Museum, Cambridge [[electronic resource] /] / by Fredrik Hagen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden ; ; Boston, : Brill, 2011 |
|
|
|
|
|
|
|
ISBN |
|
1-283-11953-6 |
9786613119537 |
90-04-18376-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (x, 124 pages) : color illustrations |
|
|
|
|
|
|
Collana |
|
Culture and history of the ancient Near East, , 1566-2055 ; ; v. 46 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Ostraka - Egypt |
Egyptian literature |
Didactic literature, Egyptian |
Egyptian philology |
Electronic books. |
Egypt History New Kingdom, ca. 1550-ca. 1070 B.C Sources Catalogs |
Egypt Antiquities Catalogs |
Deir el-Medina Site (Egypt) Antiquities Catalogs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book publishes a previously unknown collection of hieratic ostraca from the Fitzwilliam Museum, Cambridge. The texts include a broad range of genres, including wisdom literature, religious hymns, magical texts, medical recipes, private letters, administrative notes, scribal exercises ( Kemit ), and copies of tomb inscriptions. Each ostracon is presented with photographs, facsimile drawings and hieroglyphic transcriptions, as well as translations and brief philological commentaries. Many of the texts can be linked to the village of Deir el-Medina on internal evidence, and the book offers new data to scholars working with material from this famous site. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483546003321 |
|
|
Titolo |
Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / / edited by Ugo Montanari, Donald Sannella, Roberto Bruni |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 342 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4661 |
|
|
|
|
|
|
Classificazione |
|
DAT 252f |
DAT 460f |
DAT 465f |
SS 4800 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer networks |
Computer programming |
Data protection |
Compilers (Computer programs) |
Software Engineering |
Computer Communication Networks |
Programming Techniques |
Data and Information Security |
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 |
|
FP6 Project Overviews -- Project AEOLUS: An Overview -- MOBIUS: Mobility, Ubiquity, Security -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks -- Keynote Speakers -- Software of the Future Is the Future of Software? -- An Algorithmic Theory of Mobile Agents -- Types to Discipline Interactions -- Spatial-Behavioral Types, Distributed Services, and Resources -- Integration of a Security Type System into a Program Logic -- Calculi for Distributed |
|
|
|
|
|
|
|
|
|
|
|
Systems -- PRISMA: A Mobile Calculus with Parametric Synchronization -- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines -- A Typed Calculus for Querying Distributed XML Documents -- Flexible Modeling -- Verification of Model Transformations: A Case Study with BPEL -- A Fuzzy Approach for Negotiating Quality of Services -- Algorithms and Systems for Global Computing -- Scheduling to Maximize Participation -- On the Limits of Cache-Oblivious Matrix Transposition -- The KOA Remote Voting System: A Summary of Work to Date -- Security, Anonymity and Type Safety -- Security Types for Dynamic Web Data -- Anonymity Protocols as Noisy Channels -- A Framework for Automatically Checking Anonymity with ?CRL -- A Framework for Type Safe Exchange of Mobile Code. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets. |
|
|
|
|
|
|
|
| |