| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000059640403321 |
|
|
Autore |
Remon, Georges |
|
|
Titolo |
La decorations de style / par Georges Remon |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Dourdan : E. Therzan, [s.d.] |
|
|
|
|
|
|
|
Descrizione fisica |
|
40 carte di tav. color. : ill. ; 44 cm |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
In testa al front. : Bibliotheque du peintre deecorateur |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910696578303321 |
|
|
Autore |
Sappol Michael |
|
|
Titolo |
Dream anatomy [[electronic resource] /] / History of Medicine Division, National Library of Medicine |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bethesda, MD : , : National Library of Medicine, National Institutes of Health, Dept. of Health and Human Services, , 2002 |
|
|
|
|
|
|
|
|
|
Edizione |
[U.S. Government official edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 electronic text : HTML file |
|
|
|
|
|
|
Collana |
|
NIH publication ; ; 05-5615 |
|
|
|
|
|
|
Soggetti |
|
Anatomy, Artistic |
Medical illustration - History |
Anatomy, Artistic - history |
History of Medicine |
Imagination |
Medical Illustration - history |
Exhibition |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
Note generali |
|
Title from title screen (viewed Oct. 2, 2002). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 177). |
|
|
|
|
|
|
Sommario/riassunto |
|
Drawn mainly from the collections of the National Library of Medicine, Dream Anatomy shows off the anatomical imagination in some of its most astonishing incarnations, from 1500 to the present. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910789393403321 |
|
|
Autore |
Adams Louisa Catherine |
|
|
Titolo |
A travelled first lady : writings of Louisa Catherine Adams / / edited by Margaret A. Hogan and C. James Taylor ; foreword by Laura Bush ; designed by Dean Bornstein |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, England ; ; London, England : , : The Belknap Press of Harvard University Press, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-674-36928-9 |
0-674-36927-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (416 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
HoganMargaret A |
TaylorC. James <1945-> |
BushLaura Welch <1946-> |
BornsteinDean |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Presidents' spouses - United States |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Contents -- Foreword / Bush, Laura -- Introduction -- Note to the Reader -- 1. "All Was Joy and Peace and Love": Youth -- 2. "An Object of General Attention": Prussia -- 3. "Had I Stepped into Noah's Ark": United States -- 4. "The Savage Had Been Expected": Russia -- 5. "The Memory of One, Who Was": St. Petersburg to Paris -- 6. "The Wife of a Man of Superior Talents": Washington, D.C., 1819-1820 -- 7. "I Am a Very Good Diplomate": Washington, D.C., 1821-1824 -- 8. "This Apparent Fate": Retirement -- Epilogue: Henry Adams |
|
|
|
|
|
|
|
|
|
|
|
on Louisa -- Chronology -- Acknowledgments -- Index |
|
|
|
|
|
|
Sommario/riassunto |
|
Congress adjourned on 18 May 1852 for Louisa Catherine Adams's funeral, according her an honor never before offered a first lady. But her life and influence merited this extraordinary tribute. She had been first the daughter-in-law and then the wife of a president. She had assisted her husband as a diplomat at three of the major capitals of Europe. She had served as a leading hostess and significant figure in Washington for three decades. And yet, a century and a half later, she is barely remembered. A Travelled First Lady: Writings of Louisa Catherine Adams seeks to correct that oversight by sharing Adams's remarkable experiences in her own words. These excerpts from diaries and memoirs recount her early years in London and Paris (to this day she is the only foreign-born first lady), her courtship and marriage to John Quincy Adams, her time in the lavish courts of Berlin and St. Petersburg as a diplomat's wife, and her years aiding John Quincy's political career in Washington. Emotional, critical, witty, and, in the Adams tradition, always frank, her writings draw sharp portraits of people from every station, both servants and members of the imperial court, and deliver clear, well-informed opinions about the major issues of her day. Telling the story of her own life, juxtaposed with rich descriptions of European courts, Washington political maneuvers, and the continuing Adams family drama, Louisa Catherine Adams demonstrates why she was once considered one of the preeminent women of the nineteenth century. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910337564803321 |
|
|
Titolo |
Practical Aspects of Declarative Languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / / edited by José Júlio Alferes, Moa Johansson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 239 p. 1000 illus., 37 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 11372 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Artificial intelligence |
Computer science |
Computer networks |
Compilers and Interpreters |
Artificial Intelligence |
Theory of Computation |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Strong Equivalence and Program's Structure in Arguing Essential Equivalence between First-Order Logic Programs -- Automatic Program Rewriting in Non-Ground Answer Set Programs -- Personalized Course Schedule Planning using Answer Set Programming -- An ASP-based Approach to Representing and Querying Textual Knowledge -- Natural Language Generation From Ontologies -- Improving Residuation in Declarative Programs -- Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP -- A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers -- Faster Coroutine Pipelines: A Reconstruction -- Classes of Arbitrary Kind -- Distributed Protocol Combinators -- Composing Syntactical Constructs to Create Domain-Specific Languages -- Proof Carrying Plans -- Static Partitioning of |
|
|
|
|
|
|
|
|
|
|
|
Spreadsheets for Parallel Execution. . |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages,PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages. |
|
|
|
|
|
|
|
| |