LEADER 00732nam0-22002651i-450- 001 990006959610403321 035 $a000695961 035 $aFED01000695961 035 $a(Aleph)000695961FED01 035 $a000695961 100 $a19990530g19529999km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aSaggi$fLuigi Pirandello$ga cura di Manlio Lo Vecchio Musti 210 $aMilano$cMondadori$d1952 215 $a475 p.$d20 cm 700 1$aPirandello,$bLuigi$f<1867-1936>$0299283 702 1$aLo Vecchio-Musti,$bManlio 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006959610403321 952 $aBIB. BAT.2667$b3940$fBAT 959 $aBAT 996 $aSaggi$9561011 997 $aUNINA LEADER 06373nam 22007815 450 001 996465897703316 005 20200706041303.0 010 $a3-540-47985-6 024 7 $a10.1007/BFb0013162 035 $a(CKB)1000000000234017 035 $a(SSID)ssj0000322529 035 $a(PQKBManifestationID)11275882 035 $a(PQKBTitleCode)TC0000322529 035 $a(PQKBWorkID)10286970 035 $a(PQKB)11572276 035 $a(DE-He213)978-3-540-47985-7 035 $a(PPN)155186914 035 $a(EXLCZ)991000000000234017 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDesign and Implementation of Symbolic Computation Systems$b[electronic resource] $eInternational Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings /$fby Alfonso Miola 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (XII, 392 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v722 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57235-X 327 $aMathematica: A system for doing mathematics by computer? -- Proving the correctness of algebraic implementations by the ISAR system -- Sketching concepts and computational model of TROLL light -- Analogical type theory -- Improving the multiprecision Euclidean algorithm -- Storage allocation for the Karatsuba integer multiplication algorithm -- Process scheduling in DSC and the large sparse linear systems challenge -- Gauss: a parameterized domain of computation system with support for signature functions -- On coherence in computer algebra -- Subtyping inheritance in languages for symbolic computation systems -- A unified-algebra-based specification language for symbolic computing -- An order-sorted approach to algebraic computation -- Variant handling, inheritance and composition in the ObjectMath computer algebra environment -- Matching and unification for the object-oriented symbolic computation system AlgBench -- A type system for computer algebra -- Decision procedures for set/hyperset contexts -- Reasoning with contexts -- GLEFATINF:A graphic framework for combining theorem provers and editing proofs for different logics -- Extending RISC-CLP(Real) to handle symbolic functions -- Dynamic term rewriting calculus and its application to inductive equational reasoning -- Distributed deduction by Clause-Diffusion: the aquarius prover -- The design of the SACLIB/PACLIB kernels -- The weyl computer algebra substrate -- On the uniform representation of mathematical data structures -- Compact delivery support for REDUCE -- IZIC: a portable language-driven tool for mathematical surfaces visualization -- The algebraic constructor CAC: computing in construction-defined domains -- Extending AlgBench with a type system -- Modeling finite fields with mathematica -- An enhanced sequent calculus for reasoning in a given domain -- Problem-oriented means of program specification and verification in project SPECTRUM -- General purpose proof plans. 330 $aThis volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum insymbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v722 606 $aComputers 606 $aArtificial intelligence 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer science?Mathematics 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer science?Mathematics. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSymbolic and Algebraic Manipulation. 676 $a005.13/1 700 $aMiola$b Alfonso$4aut$4http://id.loc.gov/vocabulary/relators/aut 701 $aMiola$b A$g(Alfonso),$f1944-$036987 712 02$aJohannes Kepler Universita?t Linz.$bForschungsinstitut fu?r Symbolisches Rechnen. 712 02$aUniversita? degli studi di Roma "La Sapienza."$bDipartimento di informatica e sistemistica. 712 12$aInternational Symposium DISCO '93 906 $aBOOK 912 $a996465897703316 996 $aDesign and Implementation of Symbolic Computation Systems$92831609 997 $aUNISA LEADER 01537nam 2200361Ia 450 001 996391333803316 005 20221107213447.0 035 $a(CKB)1000000000657094 035 $a(EEBO)2240907329 035 $a(OCoLC)180866931 035 $a(EXLCZ)991000000000657094 100 $a20071107d1628 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aMilke for babes. Or, a north-countrey catechisme$b[electronic resource] $eMade plaine and easie, to the capacity of the simplest. With household prayers for families, and graces for children. 205 $aThe fifth impression,$bcorrected and enlarged by the author William Crashavv, (late of White-chappell:) Batchellor of Diuinity, and preacher of the Word of God.. 210 $aLondon, $cPrinted by Nicholas Okes and Iohn Norton.$d1628. 215 $a[12], 66 p 300 $aOrnament on t.p. appears to be a small simplified version of McK. 251; contains text head-pieces and initials. 300 $aSignatures: A-E⁸ (last leaf blank?). 300 $aErrors in paging. 300 $aImperfect: stained, and tightly bound, with loss of text. 300 $aReproduction of original in: British Library. 330 $aeebo-0018 606 $aCatechisms, English$vEarly works to 1800 615 0$aCatechisms, English 700 $aCrashaw$b William$f1572-1626.$01003024 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996391333803316 996 $aMilke for babes. Or, a north-countrey catechisme$92308657 997 $aUNISA LEADER 05031nam 22007335 450 001 9910484092203321 005 20250610110506.0 010 $a9783030466831 010 $a3030466833 024 7 $a10.1007/978-3-030-46683-1 035 $a(CKB)4100000011392433 035 $a(EBZ)ebs26427166e 035 $a(MiAaPQ)EBC6313415 035 $a(DE-He213)978-3-030-46683-1 035 $a(Perlego)3481533 035 $a(MiAaPQ)EBC29092608 035 $a(EXLCZ)994100000011392433 100 $a20200819d2020 u| 0 101 0 $aeng 135 $auraz#---auuuu 181 $ctex$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArchaeologies of Totalitarianism, Authoritarianism, and Repression $eDark Modernities /$fedited by James Symonds, Pavel Va?eka 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Palgrave Macmillan,$d2020. 215 $a1 online resource 225 1 $aPalgrave Studies in Cultural Heritage and Conflict,$x2634-6427 311 08$a9783030466824 311 08$a3030466825 327 $a1. Introduction -- 2. Mass Graves: Strategies of Extermination during the Spanish Civil War and Francos Dictatorship -- 3. Concentration Camps: Classifying the Subjects of the New Spain -- 4. Double Vision and the Politics of Visibility: the Landscapes of Forced and Slave Labour -- 5. The Heart of Terror: A Forensic and Archaeological Assessment of the Old Gas Chambers at Treblinka -- 6. Materiality of a Forced Migration in WWII. Archaeology of Displacement of the Polish Exodus in Iran (From 1942) -- 7. Searching for Living Ghosts: The Archaeology of Communist Repression in Poland -- 8. Archaeology of the Lithuanian Partisan War: Case of the Partisan Bunker in Daug?li?kiai Forest -- 9. Divided Landscapes, Divided Peoples: An Archaeology of the Iron Curtain between Czechoslovakia and Western Germany -- 10. The Shadow of Pain. Instructions for Archaeologists Living under Dictatorship. 330 $a"This volume offers detailed case studies that apply the approach of contemporary archaeology to investigate and expose ways in which the repressive actions and policies of authoritarian and totalitarian regimes affect peoples' everyday lives, bodies, mobilities, memory-making, and heritage construction. The volume is wide in its scope; it is a timely and original contribution to the growing field of scholarship on the material residues of the discomfiting aspects of heritage." -Mary C. Beaudry, Boston University, USA This book offers new insights into the mechanisms of state control, systematic repression, and mass violence focused on ethnic, political, class, and religious minorities in the recent past. The geographical and temporal scope of the volume breaks new ground as international scholars foreground how contemporary archaeology can be used to enhance the documentation and interpretation of totalitarian and authoritarianregimes, to advance theoretical approaches to atrocities, and to broaden public understandings of how such regimes use violence and repression to hold on to power. James Symonds is Professor of Historical Archaeology at the University of Amsterdam. His research interests focus on global historical and contemporary archaeology, and his recent projects have included work on urban archaeology; conflict archaeology; the archaeology of Diasporic communities; and archaeologies of poverty and inequality. Pavel Va?eka is Associate Professor and Head of the Department of Archaeology at the University of West Bohemia in Pilsen. His recent work has focused on later medieval, post-medieval, and modern settlement archaeology; building archaeology; 'campscape' archaeology; and archaeologies of communism. He has also led archaeological expeditions to the North Caucasus and Kyrgyzstan. 410 0$aPalgrave Studies in Cultural Heritage and Conflict,$x2634-6427 606 $aCultural property 606 $aArchaeology 606 $aEthnology 606 $aCollective memory 606 $aCulture$xStudy and teaching 606 $aCultural Heritage 606 $aArchaeology 606 $aSociocultural Anthropology 606 $aMemory Studies 606 $aCultural Theory 615 0$aCultural property. 615 0$aArchaeology. 615 0$aEthnology. 615 0$aCollective memory. 615 0$aCulture$xStudy and teaching. 615 14$aCultural Heritage. 615 24$aArchaeology. 615 24$aSociocultural Anthropology. 615 24$aMemory Studies. 615 24$aCultural Theory. 676 $a930.1 676 $a301 702 $aSymonds$b James$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVa?eka$b Pavel$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484092203321 996 $aArchaeologies of Totalitarianism, Authoritarianism, and Repression$91928379 997 $aUNINA