LEADER 01549nam2-2200421li-450 001 990000209050203316 005 20180312154819.0 010 $a3-540-65070-9 035 $a0020905 035 $aUSA010020905 035 $a(ALEPH)000020905USA01 035 $a0020905 100 $a20001109d1998----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $a<> Z formal specification notation$e11th international conference of Zusers Berlin, Germany, September 24-26, 1998 prooceedings$fJonathan P. Bowen ... [et al.] (eds.)$vZUM'98 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1998 215 $aXV, 415 p.$cill.$d20 cm 225 2 $aLecture notes in computer science$v1493 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$aberlino$a1998 610 1 $alinguaggio z$acongressi$a1998 676 $a005133$9Specifici linguaggi di programmazione 702 1$aBowen,$bJonathan P. 710 12$aInternational conference of Z users$d11.$eBerlino$f1998$0753742 801 $aSistema bibliotecario di Ateneo dell' Universit di Salerno$gRICA 912 $a990000209050203316 951 $a001 LNCS (1493)$b0022822$c001$d00104176 959 $aBK 969 $aSCI 979 $c19990110 979 $c20001110$lUSA01$h1714 979 $aPATTY$b90$c20001129$lUSA01$h1312 979 $aALANDI$b90$c20010207$lUSA01$h1541 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aZ formal specification notation$91516286 997 $aUNISA LEADER 01454nam 2200409 n 450 001 996392057603316 005 20221108023800.0 035 $a(CKB)1000000000671630 035 $a(EEBO)2240960806 035 $a(UnM)99861826 035 $a(EXLCZ)991000000000671630 100 $a19920720d1647 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 02$aA bloody almanack$b[electronic resource] $eforetelling many certaine predictions which shall come to passe this present yeare 1647. With a calculation concerning the time of the day of judgement, drawn out and published by that famous astrologer. The Lord Napier of Marcheston 210 $a[London $cBy I. Coe$d1647] 215 $a[8] p 300 $aImprint from Wing. 300 $aSignatures: A⁴. 300 $aAnnotation on Thomason copy: "Jan: 14th". 300 $aImperfect: trimmed at foot, affecting imprint. 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aAlmanacs$vEarly works to 1800 606 $aAstrology$vEarly works to 1800 607 $aGreat Britain$xHistory$xProphecies$vEarly works to 1800 615 0$aAlmanacs 615 0$aAstrology 701 $aNapier$b John$f1550-1617.$0886665 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996392057603316 996 $aA bloody almanack$92325895 997 $aUNISA LEADER 01297nam0 22003251i 450 001 UON00070227 005 20231205102347.753 010 $a31-10-15403-X 100 $a20020107d1997 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aThe theory of functional grammar$fSimon C. Dik$gedited by Kees Hengeveld 205 $a2nd rev. ed 210 $aBerlin$cMouton de Gruyter$d1997 215 $a2 v.$d23 cm 316 $avol. 1$5IT-UONSI OGII/063/1 316 $avol. 2$5IT-UONSI OGII/063/2 606 $aFUNZIONALISMO (Linguistica)$3UONC018747$2FI 620 $aDE$dBerlin$3UONL003157 676 $a415$cGrammatica$v21 700 1$aDIK$bSimon C.$3UONV031800$0164650 702 1$aHENGEVELD$bKees$3UONV044370 712 $aMouton de Gruyter$3UONV256891$4650 801 $aIT$bSOL$c20240220$gRICA 912 $aUON00070227 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI OG II 063/1 $eSI AA 21366 5 063/1 vol. 1 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI OG II 063/2 $eSI AA 21367 5 063/2 vol. 2 996 $aTheory of functional grammar$9484555 997 $aUNIOR LEADER 01150nam0 22002891i 450 001 UON00074427 005 20231205102404.19 100 $a20020107d1973 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aIl regno di Saba ultimo paradiso archeologico$fGabriele Mandel 210 $aMilano$cSugar Editore & C.$dstampa 1973 215 $a232 p., c. e p. di tav.$d22 cm 410 1$1001UON00066698$12001 $aUniverso sconosciuto$v27 606 $aArabia meridionale$xStoria antica$3UONC022251$2FI 606 $aREGNO DI SABA$3UONC022613$2FI 620 $aIT$dMilano$3UONL000005 676 $a939.49$cSTORIA DELL'ARABIA PREISLAMICA - fino al 622$v21 700 1$aMANDEL$bGabriele$3UONV044886$0166683 712 $aSugar$3UONV265663$4650 801 $aIT$bSOL$c20250530$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00074427 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI XIX B b 017 $eSI AA 2772 7 017 996 $aRegno di Saba, ultimo paradiso archeologico$9308417 997 $aUNIOR