LEADER 00984nam a2200265 i 4500
001 991001460299707536
005 20020502193738.0
008 940302s1987    it            ||| | ita  
020   $a8877702443
035   $ab11515995-39ule_inst
035   $aPRUMB61529$9ExL
040   $aScuola per assistenti sociali$bita
100 1 $aLevy, Bernard-Henri$0245199
245 10$aQuestioni di principio /$cBernard-Henry Lévy
250   $a1. ed
260   $aMilano :$bSpirali,$c1987
300   $a240 p. ;$c21 cm.
440  2$aL'alingua ;$v53
907   $a.b11515995$b02-04-14$c01-07-02
912   $a991001460299707536
945   $aLE024 SOC/D SR III 24$g1$iLE024N-797$lle021$nex DUSS$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i11711103$z01-07-02
945   $aLE005 MF 30 F 6$g1$i2005000210259$lle005$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i15043228$z03-12-09
996   $aQuestioni di principio$9814342
997   $aUNISALENTO
998   $ale005$ale021$b01-01-94$cm$da  $e-$fita$git $h0$i1

LEADER 01063nam  2200397   450 
001 9910150541103321
005 20230808200522.0
010   $a1-68325-264-0
035   $a(CKB)3710000000939429
035   $a(MiAaPQ)EBC4731878
035   $a(EXLCZ)993710000000939429
100   $a20161121h20162016  uy             0
101 0 $aspa
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 14$aLos mejores co?cteles del mundo /$fAntonio Primiceri
210  1$aIreland :$cEditorial De Vecchi,$d2016.
210  4$d©2016
215   $a1 online resource (255 pages) $cillustrations
300   $aIncludes index.
311   $a84-315-2759-5 
606   $aCocktails
606   $aBartending
615  0$aCocktails.
615  0$aBartending.
676   $a641.874
700   $aPrimiceri$b Antonio$01376380
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910150541103321
996   $aLos mejores co?cteles del mundo$93412124
997   $aUNINA

LEADER 03708nam  22008295  450 
001 9910484217903321
005 20251226195130.0
010   $a3-319-19797-5
024 7 $a10.1007/978-3-319-19797-5
035   $a(CKB)3710000000436885
035   $a(SSID)ssj0001547031
035   $a(PQKBManifestationID)16141141
035   $a(PQKBTitleCode)TC0001547031
035   $a(PQKBWorkID)14796322
035   $a(PQKB)10487311
035   $a(DE-He213)978-3-319-19797-5
035   $a(MiAaPQ)EBC6283357
035   $a(MiAaPQ)EBC5577571
035   $a(Au-PeEL)EBL5577571
035   $a(OCoLC)911181629
035   $a(PPN)186399413
035   $a(EXLCZ)993710000000436885
100   $a20150609d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aMathematics of Program Construction $e12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /$fedited by Ralf Hinze, Janis Voigtländer
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIV, 323 p. 44 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9129
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-19796-7 
327   $aType Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics.
330   $aThis book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v9129
606   $aComputer science
606   $aMachine theory
606   $aSoftware engineering
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aCompilers (Computer programs)
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aDiscrete Mathematics in Computer Science
606   $aCompilers and Interpreters
606   $aMathematical Applications in Computer Science
615  0$aComputer science.
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aCompilers (Computer programs).
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aCompilers and Interpreters.
615 24$aMathematical Applications in Computer Science.
676   $a005.1
702   $aHinze$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVoigtländer$b Janis$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484217903321
996   $aMathematics of Program Construction$92915783
997   $aUNINA