LEADER 04548nam 22005655 450 001 996465629103316 005 20200705183003.0 010 $a3-540-70589-9 024 7 $a10.1007/3-540-61580-6 035 $a(CKB)1000000000234503 035 $a(SSID)ssj0000325557 035 $a(PQKBManifestationID)11243694 035 $a(PQKBTitleCode)TC0000325557 035 $a(PQKBWorkID)10324160 035 $a(PQKB)11757305 035 $a(DE-He213)978-3-540-70589-5 035 $a(PPN)155208691 035 $a(EXLCZ)991000000000234503 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPartial Evaluation$b[electronic resource] $eInternational Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers /$fedited by Olivier Danvy, Robert Glück, Peter Thiemann 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XII, 520 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1110 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61580-6 327 $aAn automatic interprocedural analysis for the understanding of scientific application programs -- Practical aspects of specialization of Algol-like programs -- Synchronization analyses for multiple recursion parameters -- A uniform approach for compile-time and run-time specialization -- Pragmatics of type-directed partial evaluation -- Compiler generation for interactive graphics using intermediate code -- Regular approximation of computation paths in logic and functional languages -- A roadmap to metacomputation by supercompilation -- Reasoning about hierarchies of online program specialization systems -- Type specialisation for the ?-calculus; or, a new paradigm for partial evaluation based on type inference -- What not to do when writing an interpreter for specialisation -- Efficiently generating efficient generating extensions in prolog -- Global control for partial deduction through characteristic atoms and global trees -- Squeezing intermediate construction in equational programs -- Evolution of partial evaluators: Removing inherited limits -- A Self-Applicable supercompiler -- Multi-Level Lambda-Calculi: An algebraic description -- A comparative revisitation of some program transformation techniques -- A theory of logic program specialization and generalization for dealing with input data properties -- Program specialization via program slicing -- Specialization of imperative programs through analysis of relational expressions -- ML pattern match compilation and partial evaluation -- Self-applicable online partial evaluation -- Metacomputation: Metasystem transitions plus supercompilation. 330 $aPartial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1110 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 14$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.13/1 702 $aDanvy$b Olivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGlück$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aThiemann$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465629103316 996 $aPartial evaluation$91487633 997 $aUNISA LEADER 01193nam 2200385 450 001 9910808204603321 005 20201119124923.0 010 $a1-83867-585-X 035 $a(CKB)4100000011362395 035 $a(MiAaPQ)EBC6266983 035 $a(EXLCZ)994100000011362395 100 $a20201119d2020 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMultinational enterprises and terrorism /$fNaveed Elahi, Pervez Ghauri 210 1$aBingley, England :$cEmerald Publishing,$d[2020] 210 4$d©2020 215 $a1 online resource (xiii, 170 pages) 311 $a1-83867-586-8 330 $aThis book looks at the impact of terrorism on multinational enterprises in emerging markets. 606 $aTerrorism$xEconomic aspects 615 0$aTerrorism$xEconomic aspects. 676 $a363.325 700 $aElahi$b Naveed$01625915 702 $aGhauri$b Pervez N.$f1948- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910808204603321 996 $aMultinational enterprises and terrorism$93961683 997 $aUNINA LEADER 04910nam 22006135 450 001 9910584477503321 005 20240311160816.0 010 $a9783030493998$b(electronic bk.) 010 $z9783030493981 024 7 $a10.1007/978-3-030-49399-8 035 $a(MiAaPQ)EBC7045484 035 $a(Au-PeEL)EBL7045484 035 $a(CKB)24266126800041 035 $a(DE-He213)978-3-030-49399-8 035 $a(PPN)26390069X 035 $a(EXLCZ)9924266126800041 100 $a20220714d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEuphorbia in Southern Africa $eVolume 2 /$fby Peter V. Bruyns 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (515 pages) 311 08$aPrint version: Bruyns, Peter V. Euphorbia in Southern Africa Cham : Springer International Publishing AG,c2022 9783030493981 320 $aIncludes bibliographical references and index. 327 $aChapter 1. Euphorbia subg. Chamaesyce -- Chapter 2. Euphorbia subg. Esula -- Chapter 3. Euphorbia subg. Euphorbia -- Chapter 4. Addenda -- Index. 330 $aThis book presents a new account of Euphorbia in southern Africa. Euphorbia is the second largest genus of plants in the world. Southern Africa enjoys a high diversity in Euphorbia and 170 species occur here naturally. Of these 170 species, 128 or 74% are endemic. Where most species of Euphorbia in the northern hemisphere are herbs or shrubs, most of those in southern African are succulent. These succulents range from small, almost geophytic forms where the tuber is larger than the above-ground parts to huge trees 6 to 15 m or more in height. Many of them are spiny. There are also small numbers of herbaceous species in southern Africa and many of these are also dealt with here. The last account of the succulent species for southern Africa was published in 1941 and much new data has accumulated since then. Our understanding of the relationships of the species in Euphorbia has also been greatly enhanced by recent analyses of DNA-data, which led to new and unexpected results. From this new information an entirely new classification was developed, in which Euphorbiawas divided into four subgenera. This provides the taxonomic framework for the presentation of our species here. Around ten new species have been described and these are presented in detail for the first time. This monograph is made up of two volumes. Volume 1 contains an extensive introductory chapter with an overview of the genus in the region, emphasizing many of its important and distinctive features. This is followed by Chapter 2, which deals with subgenus Athymalus. Of the four subgenera, this one is by far the most diverse in southern Africa, with 80 species. Volume 2 contains Chapters 3 (subg. Chamaesyce, 34 species), 4 (subg. Esula, 11 species) and 5 (subg. Euphorbia, 45 species), as well as an additional Chapter 6 covering the remarkable diversity of subg. Euphorbia in Moçambique. Each of Chapters 2 to 5 includes a key to all the species, followed by an account of each of them. This account includes synonymy, a description, data on distribution and habitat, line-drawings of floral features and other diagnostic details, notes on how the species is distinguished from its closest relatives and a brief history of its discovery. Several colour photographs are included for each species, illustrating its habitat, vegetative habit and flowering features, demonstrating key points distinguishing it from others and often showing its variability. Euphorbia is an important component of the vegetation in many of the drier parts of southern Africa. This book is based on a thorough evaluation of the vast herbarium record for southern African members of Euphorbia, on the extensive field-work conducted in the region and the wide taxonomic experience of the author. It is believed that both the professional botanist and the layman will find much that is new and informative in this monograph. 606 $aPlants$xEvolution 606 $aPlants$xDevelopment 606 $aBiodiversity 606 $aPlant Evolution 606 $aPlant Development 606 $aBiodiversity 606 $aEuforbiàcies$2thub 608 $aLlibres electrònics$2thub 615 0$aPlants$xEvolution. 615 0$aPlants$xDevelopment. 615 0$aBiodiversity. 615 14$aPlant Evolution. 615 24$aPlant Development. 615 24$aBiodiversity. 615 7$aEuforbiàcies 676 $a583.69 676 $a583.69 700 $aBruyns$b P. V$g(Peter V.),$01273324 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910584477503321 996 $aEuphorbia in Southern Africa$93000310 997 $aUNINA LEADER 00975nam0 22002531i 450 001 UON00179908 005 20231205103127.568 010 $a34-06-07853-2 100 $a20030730d1982 |0itac50 ba 101 $ager 102 $aGW 105 $a|||| 1|||| 200 1 $aStaatsrecht und Verfassungsgerichtsbarkeit$eBand I$fHans-Uwe Erichsen 210 $aMunchen$cBeck$d1982 215 $aXIII, 217 p.$d29 cm. 606 $aGermania$xCorte Costituzionale$xGiurisdizione$3UONC036644$2FI 606 $aGermania$xDiritto pubblico$xManuali$3UONC035341$2FI 700 1$aErichsen$bHans-Uwe$3UONV100014$0233281 801 $aIT$bSOL$c20251121$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00179908 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI PUB C 0634/I $eSI SC 19245 5 0634/I 996 $aStaatsrecht und Verfassungsgerichtsbarkeit$91289046 997 $aUNIOR