| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910785235003321 |
|
|
Autore |
Horvath Zoltan |
|
|
Titolo |
Trends in Functional Programming 10 [[electronic resource]] |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bristol, : Intellect, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-283-60999-1 |
9786613922441 |
1-84150-442-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (189 p.) |
|
|
|
|
|
|
Collana |
|
Trends in Functional Programming Series ; ; v.v. 10 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Functional programming (Computer science) -- Congresses |
Engineering & Applied Sciences |
Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; Preliminary Pages; Contents; Graph-based Communication in Eden; Compiling Concurrency Correctly: Cutting Out the Middle Man; Towards compiling SAC to CUDA; Low Pain vs No Pain Multi-core Haskells; An Operational Semantics for Distributed Lazy Evaluation; On Graph Rewriting, Reduction and Evaluation; A Reflection-based Proof Tactic for Lattices in Coq; Generic Programming for Domain Reasoners; Haskell Module Tools for Liberating Type Class Design; Signals, Not Generators!; Braincurry: A Domain-Specific Language for Integrative Neuroscience; Author Index; Back Cover |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Volume 10 in the Trends in Functional Programming (TFP) series presents some of the latest research results in the implementation of functional programming languages and the practice of functional programming. It contains a peer-reviewed selection of the best articles presented at the 2009 Tenth Symposium on Trends in Functional Programming held in Komárno, Slovakia. TFP 2009 was co-located with the Third Central European Functional Programming School (CEFP 2009) and organized by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910806947603321 |
|
|
Autore |
Frayne Douglas |
|
|
Titolo |
Old Babylonian period (2003-1595 BC) / / Douglas Frayne |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Toronto, [Ontario] ; ; Buffalo, [New York] ; ; London, [England] : , : University of Toronto Press, , 1990 |
|
©1990 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-282-03980-6 |
9786612039805 |
1-4426-7803-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (886 p.) |
|
|
|
|
|
|
Collana |
|
Royal inscriptions of Mesopotamia., Early periods ; ; Volume 4 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Cuneiform inscriptions, Sumerian |
Cuneiform inscriptions, Akkadian |
Sumerian language |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Old Babylonian Period (2003-1595 B.C.) -- Frontmatter -- Contents -- Foreword -- Preface -- Editorial Notes -- Bibliographical Abbreviations -- Other Abbreviations -- Object Signatures -- Comparative Chart of the Major Dynasties -- Introduction -- ISIN -- Larsa -- Babylon -- Uruk -- Ešnunna -- Mari -- Kisurra -- Kiš -- Mutalȗ -- Mananā -- Malgium -- Dēr -- Diniktum -- Diyala Region -- Šadlaš -- Mê-Turran -- Batir -- Lullubum -- Simurrum -- Ḫuršītum -- Qabarā -- Itabalḫum -- Ḫana -- Buzuran -- Qaṭṭarā / Karanā -- Razamā -- Šeḫnā -- Andariq -- Ilānṣurā -- Ašnakkum -- Kaḫat -- Carchemish -- Iamḫad -- Alalaḫ -- Tuba -- Ebla -- Unidentified Cities -- Index of Museum Numbers -- Index of Excavation Numbers -- Concordances of Selected Publications |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume covers the Isin-Larsa and Old Babylonian periods, a period marked initially by the struggle of two city-states, Isin and Larsa, for control over the land of Sumer in southern Babylonia. In the end the city-state of Babylon, under its energetic ruler Hammurabi, intervened. At an opportune moment, Hammurabi struck swiftly, defeated Larsa, and incorporated the southern domains into his own realms, thereby |
|
|
|
|
|
|
|
|
|
|
creating an empire that for a short time united the lands of Sumer and Akkad.The inscriptions in this volume are grouped by dynasties and arranged in order by ruler within each dynasty. Further, the inscriptions are arranged chronologically within each king's reign. A short introduction for each inscription gives its general contents, place of origin, and relative dating. Also included are a detailed catalogue of exemplars, a brief commentary, bibliography, and text in transliteration facing an English translation. The appended microfiches contain a transliteration of each individual exemplar displayed in a format reminiscent of a musical score. |
|
|
|
|
|
| |