LEADER 00969nam0-2200301 --450 
001 9910638193503321
005 20230120144006.0
017 70$a624627$2U
020   $aIT$b1927 824
100   $a20230119d1926----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $a        001yy
200 1 $a<<L' >>ordinamento internazionale del lavoro e il diritto italiano$fCino Vitta
210   $aModena$cUniversità degli studi$d1926
215   $a61 p.$d24 cm
225 1 $aPubblicazioni della Facoltà di giurisprudenza della R. Università di Modena$v11
610 0 $aDiritto del lavoro$aItalia
676   $a344.010945$v19$zita
700  1$aVitta,$bCino$0226112
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910638193503321
952   $aBusta 10 (8) 24$b32937$fFGBC
952   $aUNIVERSITÀ 18 (11)$bS.I.$fFGBC
959   $aFGBC
996   $aOrdinamento internazionale del lavoro e il diritto italiano$92999321
997   $aUNINA

LEADER 03327nam  22007575  450 
001 9910349422903321
005 20251225202038.0
010   $a9783319906867
010   $a3319906860
024 7 $a10.1007/978-3-319-90686-7
035   $a(CKB)4100000003359672
035   $a(DE-He213)978-3-319-90686-7
035   $a(MiAaPQ)EBC6302203
035   $a(PPN)226696685
035   $a(EXLCZ)994100000003359672
100   $a20180423d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFunctional and Logic Programming $e14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9?11, 2018, Proceedings /$fedited by John P. Gallagher, Martin Sulzmann
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 281 p. 74 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10818
311 08$a9783319906850 
311 08$a3319906852 
330   $aThis book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10818
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputers
606   $aProfessions
606   $aElectronic digital computers$xEvaluation
606   $aComputers, Special purpose
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aThe Computing Profession
606   $aSystem Performance and Evaluation
606   $aSpecial Purpose and Application-Based Systems
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputers.
615  0$aProfessions.
615  0$aElectronic digital computers$xEvaluation.
615  0$aComputers, Special purpose.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aThe Computing Profession.
615 24$aSystem Performance and Evaluation.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.1
702   $aGallagher$b John P$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSulzmann$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349422903321
996   $aFunctional and Logic Programming$9772537
997   $aUNINA