LEADER 01279nam a22003011  4500
001 991004138889707536
008 090211t2002    it            000 0 ita d
020   $a888086470X
035   $ab13809684-39ule_inst
040   $aSet. Economia - SEMS$bita
082 04$a623.89291638$221
100   $aLevanto, Francesco Maria$00
245 10$aLo Specchio   del   Mare   Mediterraneo  (sec. 17.) /$cFrancesco M. Levanto
260   $aGalatina :$bM. Congedo,$cstampa 2002
300   $a64, 272 p. :$bill. ;$c35 cm
490 1 $aPontos. Saggi e testi;$v1
500   $aContiene, in ripr. facs. dell'ed.: In Genova, per G. Marino e B. Celle, 1664, Prima parte dello Specchio del mare, nella quale si descrivono tutti li porti, spiaggie, baie, isole, scogli, e seccagni del Maditerraneo
500   $aIn custodia
700   $aPisano, Gino
700   $aPaiano, Elio
700   $aMatvejevic, Predrag
830  0$aPontos.$pSaggi e testi
907   $a.b13809684$b28-01-14$c11-02-09
912   $a991004138889707536
945   $aLE025 ECO 623 LEV01.01$g1$i2025000102613$lle025$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i1492822x$z11-02-09
996   $aLo Specchio  del  Mare  Mediterraneo (sec. 17.$91225974
997   $aUNISALENTO
998   $ale025$b11-02-09$cm$da  $e-$fita$git $h3$i0

LEADER 03380nam  22008295  450 
001 9910484015203321
005 20251226193516.0
010   $a3-319-08494-1
024 7 $a10.1007/978-3-319-08494-7
035   $a(CKB)3710000000219385
035   $a(SSID)ssj0001298316
035   $a(PQKBManifestationID)11711878
035   $a(PQKBTitleCode)TC0001298316
035   $a(PQKBWorkID)11243108
035   $a(PQKB)10040830
035   $a(DE-He213)978-3-319-08494-7
035   $a(MiAaPQ)EBC6305135
035   $a(MiAaPQ)EBC5578027
035   $a(Au-PeEL)EBL5578027
035   $a(OCoLC)883658551
035   $a(PPN)179925520
035   $a(EXLCZ)993710000000219385
100   $a20140705d2014      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aReversible Computation $e6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /$fedited by Shigeru Yamashita, Shin-ichi Minato
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 231 p. 105 illus.)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8507
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-08493-3 
327   $aAutomata for reversible computation -- Notation and languages for reversible computation -- Synthesis and optimization for reversible circuits -- Validation and representation of quantum logic.
330   $aThis book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on automata for reversible computation; notation and languages for reversible computation; synthesis and optimization for reversible circuits; validation and representation of quantum logic.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v8507
606   $aLogic design
606   $aData structures (Computer science)
606   $aInformation theory
606   $aComputer science
606   $aAlgorithms
606   $aSoftware engineering
606   $aLogic Design
606   $aData Structures and Information Theory
606   $aTheory of Computation
606   $aAlgorithms
606   $aSoftware Engineering
606   $aComputer Science
615  0$aLogic design.
615  0$aData structures (Computer science)
615  0$aInformation theory.
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615 14$aLogic Design.
615 24$aData Structures and Information Theory.
615 24$aTheory of Computation.
615 24$aAlgorithms.
615 24$aSoftware Engineering.
615 24$aComputer Science.
676   $a004
702   $aYamashita$b Shigeru$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMinato$b Shin-ichi$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484015203321
996   $aReversible Computation$92889238
997   $aUNINA