LEADER 03313nam 22007455 450 001 996466217003316 005 20200703162701.0 010 $a3-540-32050-4 024 7 $a10.1007/11564751 035 $a(CKB)1000000000213302 035 $a(SSID)ssj0000319528 035 $a(PQKBManifestationID)11256985 035 $a(PQKBTitleCode)TC0000319528 035 $a(PQKBWorkID)10339722 035 $a(PQKB)11550951 035 $a(DE-He213)978-3-540-32050-0 035 $a(MiAaPQ)EBC3067971 035 $a(PPN)123098033 035 $a(EXLCZ)991000000000213302 100 $a20100728d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples and Practice of Constraint Programming - CP 2005$b[electronic resource] $e11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /$fedited by Peter van Beek 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XX, 888 p.) 225 1 $aProgramming and Software Engineering ;$v3709 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-29238-1 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations. 410 0$aProgramming and Software Engineering ;$v3709 606 $aSoftware engineering 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aArtificial intelligence 606 $aComputer logic 606 $aMathematical logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/16 702 $avan Beek$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466217003316 996 $aPrinciples and Practice of Constraint Programming - CP 2005$9772600 997 $aUNISA LEADER 01412nam0 2200385 i 450 001 RAV0036567 005 20231121125625.0 010 $a880611414X 100 $a20030212d1988 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aRelazioni$fFranz Kafka$ga cura di Michael Müller 210 $aTorino$cEinaudi$d\1988! 215 $aLXXVII, 133 p.$d18 cm 225 | $aSaggi brevi$v2 300 $aScritti vari. 410 0$1001CFI0135929$12001 $aSaggi brevi$v2 606 $aKafka, Franz$xProfessione$2FIR$3RMLC419929$9I 676 $a363.11$9$v21 700 1$aKafka$b, Franz$3CFIV005851$4070$0155661 702 1$aMüller$b, Michael$c $3CFIV051700 790 0$aKa fu ka$3LO1V260689$zKafka, Franz 790 0$aKafuka$3LO1V263034$zKafka, Franz 801 3$aIT$bIT-01$c20030212 850 $aIT-RM028 $aIT-RM0289 $aIT-FR0017 899 $aBiblioteca Universitaria Alessandrina$bRM028 899 $aBiblioteca Statale A. Baldini$bRM0289 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aRAV0036567 950 0$aBiblioteca umanistica Giorgio Aprea$d 52MAG 1/739$e 52FSS0000034325 VMB RS $fA $h20181218$i20181218 977 $a 01$a 04$a 52 996 $aRelazioni$9182287 997 $aUNICAS