01007nam0-22003371i-450-99000112457040332120120626161451.0000112457FED01000112457(Aleph)000112457FED0100011245720001205d1981----km-y0itay50------baengUS<<A >>basis for theoretical computer scienceMichael A. Arbib, A. J. Kfoury, Robert N. MollNew York [etc.]Springer-Verlag1981VIII, 220 p.25 cmTexts and monographs in computer scienceComputer scienceManualiArbib,Michael A.<1940- >13645Moll,Robert N.54062Kfoury,A. J.54061ITUNINARICAUNIMARCBK9900011245704033217-B-1320781MA1MA168-0194-01Basis for theoretical computer science345123UNINA01373cam0-2200433---450 99000975806040332120200911142204.0978-88-6055-739-1000975806FED01000975806(Aleph)000975806FED0100097580620130904d2012----km-y0itay50------baitaengITa---a---001yyGridshelli gusci a graticcio in legno tra innovazione e sperimentazioneSergio Poneprefazione di Augusto Vitalepostfazione di Mario LosassoFirenzeAlinea Editrice2012175 p.ill.27 cmProgetto, tecnologia, ambiente. Procedimenti e strumentazioni tecniche13Testo anche in ingleseStrutture a guscioPone,Sergio<1958- >10807Vitale,Augusto<1939- >Losasso,Mario<1954- >ITUNINARICAUNIMARCBK99000975806040332110.11491561DARST10.11501562DARSTD 653 CAN1558/12DARPUD 654 CAN1559/12DARPUD 655 CAN1560/12DARPUARCH B 3229583/2019FARBCFARBCDARSTDARPUGridshell834488UNINA