LEADER 03195nam 2200565 450 001 996534467503316 005 20230801215608.0 010 $a9783031321573$b(electronic bk.) 010 $z9783031321566 024 7 $a10.1007/978-3-031-32157-3 035 $a(MiAaPQ)EBC7243826 035 $a(Au-PeEL)EBL7243826 035 $a(DE-He213)978-3-031-32157-3 035 $a(OCoLC)1378743415 035 $a(PPN)270612157 035 $a(EXLCZ)9926557652100041 100 $a20230801d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aModel Checking Software $e29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings /$fGeorgiana Caltais and Christian Schilling, editors 205 $aFirst edition. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$d©2023 215 $a1 online resource (202 pages) 225 1 $aLecture Notes in Computer Science Series ;$vVolume 13872 311 08$aPrint version: Caltais, Georgiana Model Checking Software Cham : Springer,c2023 9783031321566 320 $aIncludes bibliographical references and index. 327 $aBinary Decision Diagrams -- Efficient Implementation of LIMDDs for Quantum Circuit\ Simulation -- ParaGnosis: A Tool for Parallel Knowledge Compilation -- Concurrency -- Model Checking Futexes -- Sound Concurrent Traces for Online Monitoring -- Testing -- Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks -- Accelerating black box testing with light-weight learning -- Synthesis -- WikiCoder: Learning to Write Knowledge-Powered Code -- Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties -- Explicit-state Model Checking -- Elimination of Detached Regions in Dependency Graph Verification -- Potency-Based Heuristic Search with Randomness for Explicit Model Checking -- GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. 330 $aThis book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26?27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking. 410 0$aLecture notes in computer science ;$vVolume 13872. 606 $aComputer software$xTesting$vCongresses 606 $aComputer software$xVerification$vCongresses 606 $aSoftware engineering 606 $aSoftware engineering$vCongresses 615 0$aComputer software$xTesting 615 0$aComputer software$xVerification 615 0$aSoftware engineering. 615 0$aSoftware engineering 676 $a005.30287 702 $aCaltais$b Georgiana 702 $aSchilling$b Christian 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a996534467503316 996 $aModel Checking Software$93359484 997 $aUNISA LEADER 02534oam 22004934a 450 001 9910968324503321 005 20170922081413.0 010 $a9780826357823 010 $a0826357822 035 $a(CKB)3710000001043972 035 $a(MiAaPQ)EBC4744154 035 $a(OCoLC)956584208 035 $a(MdBmJHUP)muse56776 035 $a(Perlego)1588887 035 $a(EXLCZ)993710000001043972 100 $a20160811d2017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aSarapiquí Chronicle $eA Naturalist in Costa Rica. Revised and Expanded Edition. /$fAllen M. Young 205 $aRevised and expanded edition. 210 1$aAlbuquerque, New Mexico :$cUniversity of New Mexico Press,$d2017. 210 4$d©2017 215 $a1 online resource (370 pages) 300 $aIncludes index. 311 08$a9780826357816 311 08$a0826357814 327 $aLeeward into the land of clouds -- Windward across a mountain ridge and into Sarapiqui? -- Natural history studies of morpho butterflies -- Observing butterfly roosts on a steep mountainside -- Encounters with cicadas and other forest insects -- Along the edges of the rainforest : pharmacological butterflies and orchid bees -- Personal reflections -- New beginnings. 330 8 $a"Young... brings the trained eye of an entomologist and an unabashed admiration for the beauty of nature to this engaging and informative account of his experiences during twenty-one years of fieldwork in Costa Rica's rainforests."- Publishers Weekly "A splendid read. For newcomers to the moist tropics, and for any but the most sated old-timers, it can be commended for an entertaining account of a locality where life is lived to the full-by all species, including the human observer."-Norman Myers, New Scientist The abundant insect life of the rainforests of northeastern Costa Rica is the subject of this engaging book, first published over twenty-five years ago and now including two new chapters on the rise of ecotourism in the region. 606 $aButterflies$zCosta Rica$zSarapiqui? 606 $aNatural history$zCosta Rica$zSarapiqui? 608 $aElectronic books. 615 0$aButterflies 615 0$aNatural history 676 $a508.7286 700 $aYoung$b Allen M.$01165248 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910968324503321 996 $aSarapiquí Chronicle$94365750 997 $aUNINA