LEADER 00909nam0-22003131i-450- 001 990002010880403321 005 20040615120857.0 035 $a000201088 035 $aFED01000201088 035 $a(Aleph)000201088FED01 035 $a000201088 100 $a20030910d1966----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay---a---001yy 200 1 $aBasic arthropodan stock$ewith special reference to insects$fA.G. Sharov 210 $aOxford ; London$cPergamon Press$d1966 215 $a271 p.$d22 cm 225 1 $aInternational series of monographs in pure and applied biology$iZoology$v30 610 0 $aArtropodi 676 $a595.2 700 1$aSharov,$bA.G.$0360040 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002010880403321 952 $a61 III E.3/19$b2921$fDAGEN 959 $aDAGEN 996 $aBasic arthropodan stock$9402419 997 $aUNINA LEADER 03903nam 22007335 450 001 996466194203316 005 20230221130615.0 010 $a3-319-94460-6 024 7 $a10.1007/978-3-319-94460-9 035 $a(CKB)4100000005323369 035 $a(DE-He213)978-3-319-94460-9 035 $a(MiAaPQ)EBC6248039 035 $a(PPN)229502326 035 $a(EXLCZ)994100000005323369 100 $a20180709d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic-Based Program Synthesis and Transformation$b[electronic resource] $e27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /$fedited by Fabio Fioravanti, John P. Gallagher 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 341 p. 59 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10855 311 $a3-319-94459-2 320 $aIncludes bibliographical references and index. 327 $aAnalysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Ro?u. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10855 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 676 $a005.115 702 $aFioravanti$b Fabio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGallagher$b John P$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466194203316 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNISA LEADER 01487oam 2200409zu 450 001 9910872950803321 005 20241212215145.0 035 $a(CKB)111055184249208 035 $a(SSID)ssj0000454492 035 $a(PQKBManifestationID)12129362 035 $a(PQKBTitleCode)TC0000454492 035 $a(PQKBWorkID)10398057 035 $a(PQKB)11708604 035 $a(NjHacI)99111055184249208 035 $a(EXLCZ)99111055184249208 100 $a20160829d2001 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a2001 33rd Southeastern Symposium on System Theory 210 31$a[Place of publication not identified]$cI E E E$d2001 215 $a1 online resource (x, 432 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780780366619 311 08$a0780366611 320 $aIncludes bibliographical references and index. 330 $aThis volume constitutes proceedings from the 2001 3rd Southeastern Symposium on System Theory. The book covers such topics as: signal processing; communications; circuits; neural networks; manufacturing systems; power systems; pattern recognition; and EMAG and antennas. 606 $aSystem theory$vCongresses 615 0$aSystem theory 676 $a003 801 0$bPQKB 906 $aPROCEEDING 912 $a9910872950803321 996 $a2001 33rd Southeastern Symposium on System Theory$92503872 997 $aUNINA