01182nam a2200325 i 450099100116353970753620020507184418.0010322s1999 us ||| | eng 0817639357b10809557-39ule_instLE01308034ExLDip.to Matematicaeng515.2AMS 58C06QA611.3.A927Aubin, Jean Pierre54013Mutational and morphological analysis :tools for shape evolution and morphogenesis /Jean-Pierre AubinBoston :Birkhauser,c1999xxxvii, 425 p. :ill. ;25 cm.Systems & controlIncludes bibliographical references (p. [395]-419) and indexMathematical analysisSet-valued mapsShape theory (Topology).b1080955723-02-1728-06-02991001163539707536LE013 58C AUB11 (1999)12013000126180le013-E0.00-l- 01010.i1091477828-06-02Mutational and morphological analysis349300UNISALENTOle01301-01-01ma -engus 0101182nam0 2200301 i 450 VAN0010902420240806100738.671978-33-19-08698-9N978331908699620170504d2015 |0itac50 baengCH|||| |||||Formal Specification LevelConcepts, Methods, and AlgorithmsMathias Soeken, Rolf DrechslerChamSpringer2015viii, 138 p.24 cmCHChamVANL001889SoekenMathiasVANV084297720581DrechslerRolfVANV084298720580Springer <editore>VANV108073650ITSOL20240906RICAhttp://link.springer.com/book/10.1007%2F978-3-319-08699-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00109024BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 1076 15EB 1076 20170504 Formal Specification Level1412204UNICAMPANIA