LEADER 01722nam2-2200445li-450 001 990000202030203316 005 20180312154755.0 010 $a3-540-61511-3 035 $a0020203 035 $aUSA010020203 035 $a(ALEPH)000020203USA01 035 $a0020203 100 $a2001999021996-------y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aAutomated deduction - Cade-13$e13th International conference on automata deduction$eNew Brunswich, NJ, USA, July 30 - August 3, 1996 :proceedings$fM. A. McRobbie ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1996 215 $aXV, 764 p.$cill.$d23 cm 225 2 $aLecture notes in artificial intelligence$v1104 300 $aserie principale: lecture notes incomputer science 410 0$10010019992$12001$aLecture notes in artificial intelligence 610 1 $acongressi$anew brunswick$a1996 610 1 $aintelligenza artificiale$acongressi$a1996 610 1 $alogica matematica$acongressi$a1996 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aMcRobbie,$bMichael A. 710 12$aInternational conference on automated eduction$d13.$eNew Brunswick$f1996$0753261 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000202030203316 951 $a006.3 LNAI (1104)$b0019212$c006.3$d00106686 959 $aBK 969 $aSCI 979 $c19990211 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010329$lUSA01$h1616 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 979 $aANGELA$b90$c20081201$lUSA01$h1226 996 $aAutomated deduction - Cade-13$91515197 997 $aUNISA LEADER 04202nam 22007935 450 001 9910299853703321 005 20200703235444.0 010 $a3-319-05858-4 024 7 $a10.1007/978-3-319-05858-0 035 $a(CKB)3710000000249013 035 $a(EBL)1965151 035 $a(OCoLC)892068980 035 $a(SSID)ssj0001353942 035 $a(PQKBManifestationID)11895990 035 $a(PQKBTitleCode)TC0001353942 035 $a(PQKBWorkID)11317602 035 $a(PQKB)10738764 035 $a(DE-He213)978-3-319-05858-0 035 $a(MiAaPQ)EBC1965151 035 $a(PPN)181346834 035 $a(EXLCZ)993710000000249013 100 $a20140925d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aBionics by Examples $e250 Scenarios from Classical to Modern Times /$fby Werner Nachtigall, Alfred Wisser 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (325 p.) 300 $aIncludes indexes. 311 $a3-319-05857-6 327 $aPrehistory -- Early History -- Classical Period -- Modern -- Materials and Structures -- Styling and Design -- Constructions and Devices -- Building and Climate Control -- Robotics and Locomotion -- Sensors and Neural Control -- Anthropo- and Biomedical Technology -- Procedures and Expiries -- Evolution and Optimization -- Systemic and Organization -- Concepts and Documentation -- Main Focuses and Education. 330 $aBionics means learning from the nature for the development of technology. The science of "bionics" itself is classified into several sections, from materials and structures over procedures and processes until evolution and optimization. Not all these areas, or only a few, are really known in the public and also in scientific literature. This includes the Lotus-effect, converted to the contamination-reduction of fassades and the shark-shed-effect, converted to the  resistance-reduction of airplanes. However, there are hundreds of highly interesting examples that contain the transformation of principles of the nature into technology. From the large number of these examples, 250 were selected for the present book according to "prehistory", "early-history", "classic" and "modern time". Most examples are new. Every example includes a printed page in a homogeneous arrangement. The examples from the field "modern time" are joint in blocks corresponding to the sub-disciplines of bionics. 606 $aBiomedical engineering 606 $aBiophysics 606 $aBiophysics 606 $aMechanics 606 $aSystems biology 606 $aBiological systems 606 $aPhysics 606 $aBiomedical Engineering and Bioengineering$3https://scigraph.springernature.com/ontologies/product-market-codes/T2700X 606 $aBiological and Medical Physics, Biophysics$3https://scigraph.springernature.com/ontologies/product-market-codes/P27008 606 $aClassical Mechanics$3https://scigraph.springernature.com/ontologies/product-market-codes/P21018 606 $aSystems Biology$3https://scigraph.springernature.com/ontologies/product-market-codes/P27050 606 $aApplied and Technical Physics$3https://scigraph.springernature.com/ontologies/product-market-codes/P31000 615 0$aBiomedical engineering. 615 0$aBiophysics. 615 0$aBiophysics. 615 0$aMechanics. 615 0$aSystems biology. 615 0$aBiological systems. 615 0$aPhysics. 615 14$aBiomedical Engineering and Bioengineering. 615 24$aBiological and Medical Physics, Biophysics. 615 24$aClassical Mechanics. 615 24$aSystems Biology. 615 24$aApplied and Technical Physics. 676 $a531 676 $a571.4 676 $a610.28 676 $a620 700 $aNachtigall$b Werner$4aut$4http://id.loc.gov/vocabulary/relators/aut$0720807 702 $aWisser$b Alfred$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910299853703321 996 $aBionics by Examples$92510299 997 $aUNINA