LEADER 01375nam a2200325 a 4500
001 991003335249707536
008 080213s19939999it a          000 0 ita d
020   $a8822240111
020   $a8822241231
035   $ab13670839-39ule_inst
040   $aSet. Economia$bita
082   $a725.34
082   $a387.109457$a711.7609457 
245 00$aSopra i porti di mare /$ca cura di Giorgio Simoncini
260   $a[Florence] :$bLeo S. Olschki,$c1993-
300   $av.  :$bill. ;$c24 cm
440  2$aL'ambiente storico ;$v3-4
504   $aInclude bibliografia
505 1 $g1: Il$ttrattato di Teofilo Gallaccini e La concezione architettonica dei porti dal Rinascimento alla Restaurazione.$g- vii, 173 p., [96] p. di tavole 
505 1 $g2:Il$tRegno di Napoli.$g- x, 463 p., [67] p. di tavole
650  4$aPorti$zItalia$ySec. 15.-19.
700 1 $aSimoncini, Giorgio
700 1 $aGallaccini, Teofilo$d<1564-1641>
907   $a.b13670839$b04-05-15$c13-02-08
912   $a991003335249707536
945   $aLE025 ECO 387 SIM01.01 $cV. 1$g1$i2025000117563$lle025$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i14668737$z13-02-08
945   $aLE025 ECO 387 SIM01.01$cV. 2$g1$i2025000117556$lle025$o-$pE0.00$q-$rl$s-  $t0$u1$v0$w1$x0$y.i14668749$z13-02-08
996   $aSopra i porti di mare$9480306
997   $aUNISALENTO
998   $ale025$b13-02-08$cm$da  $e-$fita$git $h0$i0

LEADER 01672nam  2200469zu 450 
001 9910375740703321
005 20210807005218.0
010   $a1-4503-3296-X
035   $a(CKB)3780000000084962
035   $a(SSID)ssj0001663905
035   $a(PQKBManifestationID)16449691
035   $a(PQKBTitleCode)TC0001663905
035   $a(PQKBWorkID)14995118
035   $a(PQKB)10587002
035   $a(WaSeSS)IndRDA00054332
035   $a(Association for Computing Machinery)10.1145/2676724
035   $a(EXLCZ)993780000000084962
100   $a20160829d2015      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aCPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India
210 31$a[Place of publication not identified]$cACM$d2015
215   $a1 online resource (184 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
410  0$aACM Conferences
517 1 $aCertified Programs and Proofs '15
517 1 $aProceedings of the 2015 Conference on Certified Programs and Proofs
606   $aComputer Science$2HILCC
606   $aEngineering & Applied Sciences$2HILCC
615  7$aComputer Science
615  7$aEngineering & Applied Sciences
700   $aLeroy$b Xavier$0911815
712 02$aACM Special Interest Group on Programming Languages
801  0$bPQKB
906   $aBOOK
912   $a9910375740703321
996   $aCPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India$92216923
997   $aUNINA