LEADER 01061nam0 2200265 450 001 000021268 005 20090109104631.0 010 $a2110018844 100 $a20090109d1987----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $ay-------001yy 200 1 $aClauses réglementaires, fiches informatives$emouvement de terrain$f[Ministère de l'environnement, Direction de l'eau et de la prévention des pollutions et des risques, Délégation aux risques majeurs] 210 $aParis$cLa Documentation française$d1987 215 $a119 p.$d29 cm 225 2 $aPlans d'exposition aux risques 410 0$12001$aPlans d'exposition aux risques 500 10$aClauses réglementaires, fiches informatives$948132 676 $a624.151$v21$9Tecnica delle costruzioni. Geologia tecnica 710 01$aFrancia :$bDélégation aux risques majeurs$0632739 801 0$aIT$bUNIPARTHENOPE$c20090109$gRICA$2UNIMARC 912 $a000021268 951 $aG 624.151/2$bG 93$cDSA$d2008 996 $aClauses réglementaires, fiches informatives$948132 997 $aUNIPARTHENOPE LEADER 02507nam 2200589 a 450 001 9910455945003321 005 20200520144314.0 010 $a0-309-51870-9 010 $a0-585-18204-3 035 $a(CKB)110986584752690 035 $a(EBL)3375635 035 $a(SSID)ssj0000213308 035 $a(PQKBManifestationID)11187406 035 $a(PQKBTitleCode)TC0000213308 035 $a(PQKBWorkID)10151220 035 $a(PQKB)11770305 035 $a(MiAaPQ)EBC3375635 035 $a(Au-PeEL)EBL3375635 035 $a(CaPaEBR)ebr10041055 035 $a(OCoLC)923257694 035 $a(EXLCZ)99110986584752690 100 $a20000606d1999 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aObservations on the President's fiscal year 1999 federal science and technology budget$b[electronic resource] /$fCommittee on Science, Engineering, and Public Policy, National Academy of Sciences, National Academy of Engineering, Institute of Medicine 210 $aWashington, D.C. $cNational Academy Press$d1999 215 $a1 online resource (24 p.) 225 1 $aThe compass series 300 $aDescription based upon print version of record. 311 $a0-309-06487-2 327 $a""Front Matter""; ""Preface""; ""Contents""; ""Figures and Tables""; ""Observations on the Presidenta???s FY 2000 Federal Science and Technology Budget""; ""HIGHLIGHTS""; ""THE FY 2000 FS&T BUDGET""; ""HEALTH OF THE NATIONa???S RESEARCH PORTFOLIO""; ""SUPPORT FOR RESEARCH AND DEVELOPMENT AT COLLEGES AND UNIVERSITIES""; ""INFORMATION TECHNOLOGY FOR THE 21ST CENTURY""; ""SMALLER R&D AGENCIES""; ""RESEARCH AND EXPERIMENTATION TAX CREDIT""; ""CONCLUSION""; ""APPENDIX A FS&T Tables""; ""APPENDIX B AAAS Table"" 410 0$aCompass series (Washington, D.C.) 606 $aFederal aid to research$zUnited States 606 $aEndowment of research$zUnited States 606 $aScience and state$zUnited States 606 $aTechnology and state$zUnited States 608 $aElectronic books. 615 0$aFederal aid to research 615 0$aEndowment of research 615 0$aScience and state 615 0$aTechnology and state 676 $a338.97306 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910455945003321 996 $aObservations on the President's fiscal year 1999 federal science and technology budget$92121256 997 $aUNINA LEADER 03244nam 22006975 450 001 996465308203316 005 20230222080700.0 010 $a3-662-52921-1 024 7 $a10.1007/978-3-662-52921-8 035 $a(CKB)3710000000837755 035 $a(DE-He213)978-3-662-52921-8 035 $a(MiAaPQ)EBC5579599 035 $a(PPN)194803813 035 $a(EXLCZ)993710000000837755 100 $a20160805d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /$fedited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz 205 $a1st ed. 2016. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2016. 215 $a1 online resource (XXII, 447 p. 32 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9803 311 $a3-662-52920-3 320 $aIncludes bibliographic references and index. 327 $aFormal logic -- Computing. -Programming theory -- Natural language and reasoning. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016. The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9803 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aComputer science 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aComputer science. 615 0$aAlgorithms. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 676 $a005.131 702 $aVäänänen$b Jouko$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHirvonen$b Åsa$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465308203316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA LEADER 05601nam 2200877 450 001 996441545903316 005 20231121081711.0 010 $a1-118-37303-0 010 $a1-78684-891-0 010 $a1-118-37301-4 010 $a1-118-37305-7 010 $a1-118-37304-9 010 $a1-118-37297-2 035 $a(CKB)3710000000576659 035 $a(EBL)4353619 035 $a(SSID)ssj0001601974 035 $a(PQKBManifestationID)16311785 035 $a(PQKBTitleCode)TC0001601974 035 $a(PQKBWorkID)14813144 035 $a(PQKB)11156415 035 $a(PQKBManifestationID)16172876 035 $a(PQKBWorkID)14813282 035 $a(PQKB)20802914 035 $a(DLC) 2015041596 035 $a(Au-PeEL)EBL4353619 035 $a(CaPaEBR)ebr11150445 035 $a(CaONFJC)MIL890242 035 $a(PPN)242249884 035 $a(OCoLC)926105823 035 $a(MiAaPQ)EBC4353619 035 $a(EXLCZ)993710000000576659 100 $a20160212h20162016 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 02$aA companion to science, technology, and medicine in ancient Greece and Rome$hVolume 1 /$fedited by Georgia L. Irby 210 1$aChichester, England :$cWiley-Blackwell,$d2016. 210 4$d©2016 215 $a1 online resource (1317 p.) 225 1 $aBlackwell Companions to the Ancient World 225 1 $aTHEi Wiley ebooks 300 $aDescription based upon print version of record. 311 $a1-119-10070-4 311 $a1-118-37267-0 320 $aIncludes bibliographical references at the end of each chapters and indexes. 327 $aBlackwell Companions to the Ancient World; Title Page; Copyright; Contributor Biographies; Abbreviations; Introduction; 1. "Science" in Antiquity; 2. A Very Brief History of the "History of Greco-Roman Science"; 3. The Wiley-Blackwell Companion to Greek and Roman Science, Medicine, and Technology; 4. Transliterations and Translations; 5. Acknowledgments; References; Part I: Physics and Cosmogony; Chapter 1: The Creation and Destruction of the World; 1. Introduction; 2. Myth and Hesiod; 3. The Milesians; 4. Heraclitus; 5. The Hippocratics; 6. Eleatics; 7. Empedocles; 8. Anaxagoras 327 $a9. Leucippus and Democritus10. Plato; 11. Aristotle; 12. Epicurus and Lucretius; 13. Stoics; 14. Early Christians; 15. Conclusion; References; Further Reading; Notes; Chapter 2: Matter; 1. Introduction; 2. Matter in the Presocratics; 3. Socrates and Plato; 4. Aristotle; 5. Hellenistic Philosophy; 6. Neoplatonism; 7. Christian Thought; 8. Summary; References; Further Reading; Notes; Chapter 3: Motion and Energy; 1. Introduction; 2. Mathematical Mechanics up to Archimedes; 3. Philosophical Ideas about Motion; 4. Archimedes on Motion; 5. Mechanics in the Hellenistic Period; 6. Conclusion 327 $aReferencesFurther Reading; Notes; Chapter 4: Nature and the Divine; 1. Introduction; 2. Myth and the Birth of "Gods and Earth"; 3. Presocratics; 4. Plato; 5. Stoics; 6. Aristotle; 7. Neoplatonists; 8. Conclusion; References; Further Reading; Notes; Part II: The Mathematical Sciences; Chapter 5: Mathematics; 1. Defining Ancient Greek Mathematics; 2. In Lieu of Historical Narrative: Questions of Chronology, Geography, Demography; 3. Themes of Greek Mathematics; References; Further Reading; Notes; Chapter 6: Astronomy; 1. Some Historiographical Issues; 2. Pre-Greek Astronomy 327 $a3. Euctemon and Meton4. Plato; 5. Eudoxus; 6. Callippus; 7. Aristotle; 8. Aristarchus; 9. Hipparchus; 10. Ptolemy; 11. Conclusion; References; Further Reading; Chapter 7: Astrology; 1. Astrology as the "Science of the Stars"; 2. Formation of Tradition: Mesopotamian Astrology; 3. Classical Astrology; 4. Astrology in the Roman Empire; References; Further Reading; Chapter 8: Ancient Optics: Theories and Problems of Vision; 1. Introduction; 2. Four Kinds of Visual Theory; 3. Theories of Color; 4. Perception of Size, Shape, Contour, and Distance; 5. The Science of Mirrors 327 $a6. A Grand Synthesis: Ptolemy's Optics7. Postscript; References; Further Reading; Chapter 9: Hydrostatics and Pneumatics in Antiquity; 1. Introduction; 2. Technology; Practical Knowledge in the Frame of Pneumatics; 3. Science; 4. Accumulation and Network; References; Further Reading; Notes; Chapter 10: The Science of Harmonics and Music Theory in Ancient Greece; 1. Introduction; 2. Organization of Musical Space; 3. Pythagoreans and Harmonikoi; 4. Aristoxenus; 5. The Euclidean Sectio Canonis; 6. Later Developments; References; Further Reading; Part III: Earth Sciences 327 $aChapter 11: Hydrology: Ocean, Rivers, and Other Waterways 410 0$aBlackwell companions to the ancient world. 410 0$aTHEi Wiley ebooks. 606 $aScience, Ancient 606 $aScience$zGreece$xHistory 606 $aScience$zRome$xHistory 606 $aTechnology$zGreece$xHistory 606 $aTechnology$zRome$xHistory 606 $aMedicine, Greek and Roman 615 0$aScience, Ancient. 615 0$aScience$xHistory. 615 0$aScience$xHistory. 615 0$aTechnology$xHistory. 615 0$aTechnology$xHistory. 615 0$aMedicine, Greek and Roman. 676 $a509.38 702 $aIrby-Massie$b Georgia L$g(Georgia Lynette),$f1965- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996441545903316 996 $aA companion to science, technology, and medicine in ancient Greece and Rome$92051672 997 $aUNISA