LEADER 04554nam 22007215 450 001 996466141303316 005 20200630145431.0 010 $a3-540-69345-9 024 7 $a10.1007/BFb0054279 035 $a(CKB)1000000000210936 035 $a(SSID)ssj0000324707 035 $a(PQKBManifestationID)11245128 035 $a(PQKBTitleCode)TC0000324707 035 $a(PQKBWorkID)10320910 035 $a(PQKB)10237919 035 $a(DE-He213)978-3-540-69345-1 035 $a(PPN)155219103 035 $a(EXLCZ)991000000000210936 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematics of Program Construction$b[electronic resource] $e4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /$fedited by Johan Jeuring 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (X, 388 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1422 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64591-8 327 $aOn the aesthetics of diagrams -- Generalising monads -- A proof rule for control loops -- Relation-algebraic derivation of spanning tree algorithms -- An application of program derivation techniques to 18th-century mathematics -- Nested datatypes -- An approach to object-orientation in action systems -- Layered graph traversals and Hamiltonian path problems ? An algebraic approach -- A unifying framework for correct program construction -- Computation calculus bridging a formalization gap -- An elementary derivation of the alternating bit protocol -- A set-theoretic model for real-time specification and reasoning -- Polytypic downwards accumulations -- Formal derivation of a loadable asynchronous counter -- A semantic approach to secure information flow -- Slack elasticity in concurrent computing -- Beyond fun: Order and membership in polytypic imperative programming -- Convergence of program transformers in the metric space of trees -- Realizability of monotone coinductive definitions and its application to program synthesis -- Calculating a round-robin scheduler. 330 $aThis book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1422 606 $aComputers 606 $aSoftware engineering 606 $aComputer programming 606 $aAlgorithms 606 $aComputer logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 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 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aAlgorithms. 615 0$aComputer logic. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 676 $a004.2/1/0151 702 $aJeuring$b Johan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aMPC '98 906 $aBOOK 912 $a996466141303316 996 $aMathematics of Program Construction$9772229 997 $aUNISA LEADER 03492nam 2200637Ia 450 001 9910818331803321 005 20200520144314.0 010 $a1-107-14734-4 010 $a1-280-47778-4 010 $a9786610477784 010 $a0-511-19518-4 010 $a0-511-19584-2 010 $a0-511-19377-7 010 $a0-511-31420-5 010 $a0-511-60659-1 010 $a0-511-19451-X 035 $a(CKB)1000000000353361 035 $a(EBL)259881 035 $a(OCoLC)560228301 035 $a(SSID)ssj0000134937 035 $a(PQKBManifestationID)11143479 035 $a(PQKBTitleCode)TC0000134937 035 $a(PQKBWorkID)10076892 035 $a(PQKB)11673676 035 $a(MiAaPQ)EBC259881 035 $a(UkCbUP)CR9780511606595 035 $a(PPN)261320459 035 $a(EXLCZ)991000000000353361 100 $a20031028d2004 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDarwin's fishes $ean encyclopedia of ichthyology, ecology, and evolution /$fDaniel Pauly 205 $a1st ed. 210 $aCambridge, UK ;$aNew York $cCambridge University Press$d2004 215 $a1 online resource (xxv, 340 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a0-521-53503-4 311 $a0-521-82777-9 320 $aIncludes bibliographical references (p. 241-322) and index. 327 $aCover; Half-Title; Title; Copyright; Contents; Figures; Foreword; Preface and acknowledgments; Conventions used in the text; Darwin and ichthyology; The years before the Beagle; The Beagle years (1831-6); The return of the Beagle to the Foundations of Origin (1837-44); The mature Darwin (1845-82); Darwin's Fishes: a dry run; Entries (A to ZZZ); A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Y; Z; Appendix I: Fish in Spirits of Wine; Appendix II: Fish of the Beagle in the BMNH 327 $aAppendix III: Checklist of fish specimens, identified as collected by Charles Darwin on the Beagle voyage, that ought to be present...Catalogue of ' NON-EXHIBITED SERIES'; Catalogue of 'EXHIBITED SERIES'; Bibliography; Index to the Fishes 330 $aIn Darwin's Fishes, Daniel Pauly presents an encyclopaedia of ichthyology, ecology and evolution, based upon everything that Charles Darwin ever wrote about fish. Entries are arranged alphabetically and can be about, for example, a particular fish taxon, an anatomical part, a chemical substance, a scientist, a place, or an evolutionary or ecological concept. The reader can start wherever they like and are then led by a series of cross-references on a fascinating voyage of interconnected entries, each indirectly or directly connected with original writings from Darwin himself. Along the way, the reader is offered interpretation of the historical material put in the context of both Darwin's time and that of contemporary biology and ecology. This book is intended for anyone interested in fishes, the work of Charles Darwin, evolutionary biology and ecology, and natural history in general. 606 $aFishes$vEncyclopedias 615 0$aFishes 676 $a597/.03 700 $aPauly$b D$g(Daniel)$0906935 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910818331803321 996 $aDarwin's fishes$94005325 997 $aUNINA