LEADER 00944nam0 22002531i 450 001 SUN0045203 005 20060522120000.0 100 $a20060522d1956 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆI ‰privilegi$enote di giurisprudenza, di dottrina e di legislazione speciale$fGirolamo Scafidi, Vito Spitaleri 205 $aPiacenza : La nostra tribuna$b1956 210 $d128 p. ; 25 cm 215 $aFondo Raffaele Papa. 620 $dPiacenza$3SUNL000026 700 1$aScafidi$b, Girolamo$3SUNV034813$0228242 701 1$aSpitaleri$b, Vito$3SUNV008411$0113188 712 $aLa nostra tribuna$3SUNV004670$4650 801 $aIT$bSOL$c20191209$gRICA 912 $aSUN0045203 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XV.Ed.208 $e00FP 29331 20060925 996 $aPrivilegi$9734317 997 $aUNICAMPANIA LEADER 01231nam 2200373 n 450 001 996396000403316 005 20221108054151.0 035 $a(CKB)4330000000360803 035 $a(EEBO)2248500465 035 $a(UnM)99831544 035 $a(UnM)9928138800971 035 $a(EXLCZ)994330000000360803 100 $a19951016d1661 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aCur percussisti? Or Balaam reproved, for cudgelling the asse$b[electronic resource] 210 $aLondon $cprinted for the author$d1661 215 $a1 sheet ([1] p.) 300 $aAt end of text: By H.G. 300 $aVerse - "Alas! the Asse is cudgel'd in good sadnesse:". 300 $aIn response to Chamberlain, Robert. Balaams asse cudgeld. 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aPolitical satire, English$vPoetry$vEarly works to 1800 615 0$aPolitical satire, English 700 $aH. G$01003271 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996396000403316 996 $aCur percussisti? Or Balaam reproved, for cudgelling the asse$92360549 997 $aUNISA LEADER 03091nam 22006615 450 001 9910495184203321 005 20251225175021.0 010 $a3-030-83978-8 024 7 $a10.1007/978-3-030-83978-9 035 $a(CKB)4100000012008398 035 $a(MiAaPQ)EBC6710609 035 $a(Au-PeEL)EBL6710609 035 $a(DE-He213)978-3-030-83978-9 035 $a(PPN)257350543 035 $a(EXLCZ)994100000012008398 100 $a20210727d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTrends in Functional Programming $e22nd International Symposium, TFP 2021, Virtual Event, February 17?19, 2021, Revised Selected Papers /$fedited by Viktória Zsók, John Hughes 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (142 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12834 311 08$a3-030-83977-X 327 $aNested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer. 330 $aThis book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12834 606 $aComputer programming 606 $aArtificial intelligence 606 $aComputer engineering 606 $aComputer networks 606 $aCompilers (Computer programs) 606 $aProgramming Techniques 606 $aArtificial Intelligence 606 $aComputer Engineering and Networks 606 $aCompilers and Interpreters 615 0$aComputer programming. 615 0$aArtificial intelligence. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aCompilers (Computer programs). 615 14$aProgramming Techniques. 615 24$aArtificial Intelligence. 615 24$aComputer Engineering and Networks. 615 24$aCompilers and Interpreters. 676 $a005.114 702 $aZso?k$b Vikto?ria 702 $aHughes$b John$f1958- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910495184203321 996 $aTrends in Functional Programming$91947569 997 $aUNINA