LEADER 00662nam0-22002531i-450- 001 990001254210403321 035 $a000125421 035 $aFED01000125421 035 $a(Aleph)000125421FED01 035 $a000125421 100 $a20000920d1967----km-y0itay50------ba 101 0 $aeng 200 1 $aCourse de mécanique rationnelle$fde Jannse n 210 $aParis$cDunod$d1967 300 $avol 1 ? 700 1$aJanssens,$bPaul$040701 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001254210403321 952 $a32-F-5$b9666$fMA1 959 $aMA1 996 $aCourse de mécanique rationnelle$9380615 997 $aUNINA DB $aING01 LEADER 01408nam2-2200409li-450 001 990000210250203316 005 20180312154821.0 010 $a3-540-59451-5 035 $a0021025 035 $aUSA010021025 035 $a(ALEPH)000021025USA01 035 $a0021025 100 $a20001109d1995----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aAdvanced functional programming$eproceedings, Bastad, Sweden, May 24-30, 1995$fJohan Jeuring, Erik Meijer (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1995 215 $a331 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v925 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$abastad$a1995 610 1 $aeleboratori elettronici$aprogrammazione$acongressi$a1995 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aJeuring,$bJohan 702 1$aMeijer,$bErik 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000210250203316 951 $a001 LNCS (925)$b0017675$c001$d00103700 959 $aBK 969 $aSCI 979 $c19970109 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010131$lUSA01$h1243 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aAdvanced Functional Programming$9772497 997 $aUNISA