LEADER 01315nam2 22003133i 450 001 SUN0125287 005 20191107091246.661 010 $a8-88-288-1389-7$d0.00 100 $a20191106d2019 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a1: *Principi generali$fFrancesco P. Luiso 205 $a10. ed 210 $aMilano$cGiuffrè Francis Lefebvre$d2019 215 $aXXV, 475 p.$d24 cm. 461 1$1001SUN0125285$12001 $a*Diritto processuale civile$fFrancesco P. Luiso$v1$1205 $a10. ed$1210 $aMilano$cGiuffrè Francis Lefebvre$d2019$1215 $avolumi$d24 cm. 606 $aDiritto processuale civile$2SG$3SUNC029789 620 $dMilano$3SUNL000284 676 $a347.4505$cPROCEDURA CIVILE. ITALIA$v21 700 1$aLuiso$b, Francesco P.$3SUNV000632$0231919 712 $aGiuffrè Francis Lefebvre$3SUNV010395$4650 790 1$aLuiso, Francesco Paolo$zLuiso, Francesco P.$3SUNV067489 801 $aIT$bSOL$c20191111$gRICA 856 4 $uhttps://shop.giuffre.it/media/Catalogo/Indice/INDICE_024202554.pdf 912 $aSUN0125287 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XVI.C.77 1 $e00UBG4860 20191106 996 $aPrincipi generali$91401974 997 $aUNICAMPANIA LEADER 05026nam 22008655 450 001 9910483811503321 005 20251226202217.0 010 $a3-540-34307-5 024 7 $a10.1007/11757375 035 $a(CKB)1000000000232982 035 $a(SSID)ssj0000318357 035 $a(PQKBManifestationID)11205762 035 $a(PQKBTitleCode)TC0000318357 035 $a(PQKBWorkID)10328355 035 $a(PQKB)10870515 035 $a(DE-He213)978-3-540-34307-3 035 $a(MiAaPQ)EBC3068128 035 $a(PPN)123134900 035 $a(BIP)34164076 035 $a(BIP)13415727 035 $a(EXLCZ)991000000000232982 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems $eThird International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /$fedited by J. Christopher Beck, Barbara Smith 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 301 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3990 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-34306-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Opt Art -- Planning for Mixed Discrete Continuous Domains -- Duality in Optimization and Constraint Satisfaction -- Technical Papers -- A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs -- The Range Constraint: Algorithms and Implementation -- On the Separability of Subproblems in Benders Decompositions -- A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem -- The Power of Semidefinite Programming Relaxations for MAX-SAT -- Expected-Case Analysis for Delayed Filtering -- Plan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming -- Progressive Solutions: A Simple but Efficient Dominance Rule for Practical RCPSP -- AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems -- The Timetable Constrained Distance Minimization Problem -- Conflict-Directed A* Search for Soft Constraints -- Event-Driven Probabilistic Constraint Programming -- Online Stochastic Reservation Systems -- Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling -- Open Constraints in a Closed World -- Conditional Lexicographic Orders in Constraint Satisfaction Problems -- An Efficient Hybrid Strategy for Temporal Planning -- Improved Algorithm for the Soft Global Cardinality Constraint. 330 $aThis book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2006. The 20 revised full papers presented together with 3 invited talks address methodological and foundational issues from AI, OR, and algorithmics and present applications to the solution of combinatorial optimization problems in various fields via constraint programming. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3990 606 $aSoftware engineering 606 $aNumerical analysis 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aAlgorithms 606 $aArtificial intelligence 606 $aOperations research 606 $aSoftware Engineering 606 $aNumerical Analysis 606 $aDiscrete Mathematics in Computer Science 606 $aAlgorithms 606 $aArtificial Intelligence 606 $aOperations Research and Decision Theory 615 0$aSoftware engineering. 615 0$aNumerical analysis. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aOperations research. 615 14$aSoftware Engineering. 615 24$aNumerical Analysis. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAlgorithms. 615 24$aArtificial Intelligence. 615 24$aOperations Research and Decision Theory. 676 $a006.3 701 $aBeck$b J. Christopher$01749857 701 $aSmith$b Barbara$f1948-$01749858 712 12$aInternational Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483811503321 996 $aIntegration of AI and OR techniques in constraint programming for combinatorial optimization problems$94184315 997 $aUNINA