LEADER 01756nam0 2200385 i 450 001 VAN0104374 005 20220224020846.838 017 70$2N$a978-94-6239-067-6 100 $a20151222d2014 |0itac50 ba 101 $aeng 102 $aFR 105 $a|||| ||||| 200 1 $aConstraints meet concurrency$fJacopo Mauro 210 $aParis$cAtlantis$d2014 215 $aXV, 148 p.$cill.$d24 cm 410 1$1001VAN0104364$12001 $aAtlantis Studies in Computing$1210 $aParis [etc.]$cAtlantis$v5 500 1$3VAN0241494$aConstraints meet concurrency$91410042 606 $a68N17$xLogic programming [MSC 2020]$3VANC020586$2MF 606 $a68T20$xProblem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]$3VANC026578$2MF 606 $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$3VANC031034$2MF 610 $aConcurrency theory$9KW:K 610 $aConstraint Handling Rules$9KW:K 610 $aConstraint programming$9KW:K 610 $aService oriented computing$9KW:K 620 $dParis$3VANL000046 700 1$aMauro$bJacopo$3VANV081408$0721169 712 $aAtlantis$3VANV113618$4650 801 $aIT$bSOL$c20230616$gRICA 856 4 $uhttp://dx.doi.org/10.2991/978-94-6239-067-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN0104374 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4317 $e15EB 4317 20191106 996 $aConstraints meet concurrency$91410042 997 $aUNICAMPANIA LEADER 01493nam0 22003131i 450 001 UON00304556 005 20231205104025.314 100 $a20071119f1970 |0itac50 ba 101 $achi 102 $aTW 105 $a|||| 1|||| 200 1 $aZhang Wenxiang gong (Zhidong) quan ji (Gong du)$eGuang xu shi liu nian er yue zhi san shi san nian ba yue pi du$fWang Shunan bian 210 $a[Taibei$cWenhai chubanshe$d1970] 215 $app. 8261-8724$d18 cm 316 $aEx Seminario di Sinologia senza inventario$5IT-UONSI CINSERIE/005 (478) 410 1$1001UON00301638$12001 $aJindai Zhongguo shiliao congkan$v478 606 $aCINA$xEPOCA MANCHU (1644-1912)$3UONC004510$2FI 606 $aCINA$xSTORIA$xDINASTIA QING (1644-1911)$xFONTI$3UONC005054$2FI 606 $aLETTERATURA CINESE$xDINASTIA QING (1644-1912)$xPERIODO MANCHU$3UONC066953$2FI 686 $aCIN IV$cCINA - STORIA$2A 700 0$aZHANG Zhidong$cQing$3UONV038792$0655101 701 0$aWANG Shunan$3UONV174443$0696315 790 0$aCHANG Chih-Tung $zZHANG Zhidong $3UONV071657 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00304556 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI CIN SERIE 005 (478) $eSI SA 122575 7 005 (478) Ex Seminario di Sinologia senza inventario 996 $aZhang Wenxiang gong (Zhidong) quan ji (Gong du$91377454 997 $aUNIOR