00618nam0-22002411i-450-990001196020403321000119602FED01000119602(Aleph)000119602FED0100011960220000920d1900----km-y0itay50------baengGeometria solidadi Giudice F.BresciaApollonio1900Giudice,F.349177ITUNINARICAUNIMARCBK990001196020403321207-G-37-1.F04132MA1MA1Geometria solida341634UNINAING0100903nam a2200265 i 450099100254123970753620020503170510.0000704s1976 it ||| | ita b1037937x-39ule_instEXGIL105623ExLBiblioteca Interfacoltàita823.9Forrest, David467628Dopo di me il diluvio /David Forrest ; traduzione di Ida OmboniMilano :Mondadori,1976202 p. ;19 cm.OscarTit. orig.: After me, the delugeOmboni, Ida.b1037937x21-02-1727-06-02991002541239707536LE002 In. III B 2912002000921628le002-E0.00-l- 00000.i1044398827-06-02After me, the deluge17585UNISALENTOle00201-01-00ma -itait 0101813nam0 22003733i 450 AQ1000716620251003044041.00387581790New York3540581790Berlin20090729d1994 ||||0itac50 baengdez01i xxxe z01nComputer aided verification6. international conference, CAV '94Stanford, California, USA, June 21-23, 1994proceedingsDavid L. Dill (ed.)Berlin [etc.]Springer-Verlagc1994IX, 480 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis818001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis818702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciValutazioneCongressi1994FIRNAPC242163I004.24015113Valutazione delle prestazioni. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniDill, David L.AQ1V003755International conference CAV '94 <6. ; 1994 ; Stanford>AQ1V003754070714633International Conference on Computer-Aided Verification <6. ; 1994 ; Stanford>NAPV111730International conference CAV '94 <6. ; 1994 ; Stanford>ITIT-00000020090729IT-BN0095 AQ10007166Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000023665 VMA (0818 v. 818Y 1996030119960301 01Computer aided verification1381972UNISANNIO