LEADER 00849nam0-22002771i-450- 001 990001024570403321 010 $a0-534-00432-6 035 $a000102457 035 $aFED01000102457 035 $a(Aleph)000102457FED01 035 $a000102457 100 $a--------d--------km-y0itay50------ba 101 0 $aeng 200 1 $a<>Introduction to the Theory of Ordinary Differential Equations$fWalter Leighton 210 $aBelmont$cWadsworth$d1976 215 $axii, 249 p.$d23 cm 610 0 $aEquazioni differenziali e integro$aDifferenziali 676 $a517.37 700 1$aLeighton,$bWalter$01195 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001024570403321 952 $a15-130$b9208 F.T.$fFI1 959 $aFI1 996 $aIntroduction to the Theory of Ordinary Differential Equations$9118365 997 $aUNINA LEADER 01070nam a22002771i 4500 001 991001641759707536 005 20031128194221.0 008 040407s1995 it |||||||||||||||||ita 020 $a8876702318 035 $ab12801495-39ule_inst 035 $aARCHE-078112$9ExL 040 $aDip.to Scienze Storiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a945.091 100 1 $aLajolo, Laurana$0143798 245 12$aI ribelli di Santa Libera :$bstoria di un'insurrezione partigiana : agosto 1946 /$cLaurana Lajolo 260 $aTorino :$bEdizioni Gruppo Abele,$c1995 300 $a156 p. ;$c24 cm 440 0$aStoria memoria società contemporanea 650 4$aResistenza$zAsti 651 4$aSanta Libera $xInsurrezioni$y1946 907 $a.b12801495$b02-04-14$c16-04-04 912 $a991001641759707536 945 $aLE009 STOR.65-428$g1$i2009000221321$lle009$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13348656$z16-04-04 996 $aRibelli di Santa Libera$9293996 997 $aUNISALENTO 998 $ale009$b16-04-04$cm$da $e-$fita$git $h2$i1 LEADER 01420nam0 22003253i 450 001 AQ10007879 005 20251003044041.0 010 $a0387582444$bNew York 010 $a3540582444$bBerlin 100 $a20090729d1994 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aIsabelle$ea generic theorem prover$fLawrence C. Paulson$gwith contributions by Tobias Nipkow 210 $aBerlin [etc.]$cSpringer$dc1994 215 $aXVII, 321 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v828 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v828$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 676 $a511.30285$9Logica matematica (Logica simbolica). Elaborazione dei dati, applicazioni dell'elaboratore$v14 676 $a511.3028553$9Logica matematica (Logica simbolica). Programmi$v22 700 1$aPaulson$b, Lawrence C.$3MILV072948$4070$062096 702 1$aNipkow$b, Tobias$f <1958- >$3AQ1V003726 801 3$aIT$bIT-000000$c20090729 850 $aIT-BN0095 912 $aAQ10007879 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000022455 VMA (0828 v. 828$fY $h19960219$i19960219 977 $a 01 996 $aIsabelle$91381997 997 $aUNISANNIO