LEADER 01570nlm0 22004331i 450 001 990009241140403321 010 $a9783540330578 035 $a000924114 035 $aFED01000924114 035 $a(Aleph)000924114FED01 035 $a000924114 100 $a20100926d2006----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aTools and Algorithms for the Construction and Analysis of Systems$bRisorsa elettronica$e12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria 210 $aBerlin ; Heidelberg$cSpringer$d2006 225 1 $aLecture Notes in Computer Science$x0302-9743$v3920 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHermanns,$bHolger 702 1$aPalsberg,$bJens 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11691372 901 $aEB 912 $a990009241140403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aComputer Communication Networks 961 $aComputer Communication Networks 961 $aComputer science 961 $aComputer Science 961 $aComputer software 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNINA LEADER 01349nam2 2200289 450 001 000033152 005 20221207131057.0 100 $a20200529d1984----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>didattica della Cartografia nautica$e20. Convegno nazionale dell'Associazione italiana di Cartografia (Napoli, 19-21 settembre 1984)$fdi Antonino Sposito 210 $aNapoli$cIstituto di Astronomia nautica e navigazione -IUN$d1984 215 $aP. 1-6$cill.$d24 cm 225 2 $aLavori scientifici e scritti diversi$fAntonino Sposito 410 0$12001$aLavori scientifici e scritti diversi 461 1$1001000034999$aG. Simeon - Opere 500 10$a<>didattica della Cartografia nautica : 20. Convegno nazionale dell'Associazione italiana di Cartografia (Napoli, 19-21 settembre 1984)$91744094 610 1 $aCartografia nautica$aConvegni 676 $a623.89$v21$9Navigazione 700 1$aSposito,$bAntonino$0630092 801 0$aIT$bUNIPARTHENOPE$c20200529$gRICA$2UNIMARC 912 $a000033152 951 $aColl. SIM. 2-7/57$bs.i.$cDSA$d2020 951 $aColl. SIM. 2-7 bis/57 bis$bs.i.$cDSA$d2020 996 $aDidattica della Cartografia nautica : 20. Convegno nazionale dell'Associazione italiana di Cartografia (Napoli, 19-21 settembre 1984)$91744094 997 $aUNIPARTHENOPE