LEADER 03538nam 22006135 450 001 996466172103316 005 20200701115209.0 010 $a3-319-66158-2 024 7 $a10.1007/978-3-319-66158-2 035 $a(CKB)3710000001631269 035 $a(DE-He213)978-3-319-66158-2 035 $a(MiAaPQ)EBC5579101 035 $a(PPN)203850270 035 $a(EXLCZ)993710000001631269 100 $a20170822d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples and Practice of Constraint Programming$b[electronic resource] $e23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 ? September 1, 2017, Proceedings /$fedited by J. Christopher Beck 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XXXVI, 724 p. 161 illus.) 225 1 $aProgramming and Software Engineering ;$v10416 311 $a3-319-66157-4 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track. 410 0$aProgramming and Software Engineering ;$v10416 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aAlgorithms 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 14$aMathematical Logic and Formal Languages. 615 24$aMathematics of Computing. 615 24$aArtificial Intelligence. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a005.116 702 $aBeck$b J. Christopher$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466172103316 996 $aPrinciples and Practice of Constraint Programming$9774019 997 $aUNISA LEADER 01559nam 2200361 n 450 001 996393106003316 005 20200824121807.0 035 $a(CKB)4940000000113040 035 $a(EEBO)2240949270 035 $a(UnM)99873543e 035 $a(UnM)99873543 035 $a(EXLCZ)994940000000113040 100 $a19850607d1643 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe kingdomes manifestation$b[electronic resource] $ewherein a course may be taken for us and our posterity, to enjoy peace and truth together, with the propagation of the Gospell; with certaine considerations condusing thereunto. Delivered in a speech by Iohn Pym, Esquire: once a worthy member of the House of Commons, now deceased the eighth of December, 1643 210 $aLondon $cPrinted by B.H. and are to be sold by J. West, neere the New-Exchange.$d1643 215 $a[2], 23, [1] p., [1] leaf of plates $cport 300 $aThe speech is dated: 17 April 1640. 300 $aAnnotation on Thomason copy: "Decemb: 11th". 300 $aFirst page filmed at rear of Wing B1799A, immediately preceding on film. 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 607 $aGreat Britain$xHistory$yCivil War, 1642-1649$vSources$vEarly works to 1800 700 $aPym$b John$f1584-1643.$01001100 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996393106003316 996 $aThe kingdomes manifestation$92347536 997 $aUNISA LEADER 01053nam a2200241 i 4500 001 991003381309707536 008 170608s1991 maua 001 0 eng d 020 $a0201577755 035 $ab14325202-39ule_inst 040 $aBibl. Dip.le Aggr. Ingegneria Innovazione - Sez. Ingegneria Innovazione$beng 082 00$a005.71265$220 245 00$aInside the Macintosh communications Toolbox /$c[Apple Computer, Inc.] 260 $aReading, Mass. :$bAddison-Wesley Pub. Co.,$cc1991 300 $axv, 346 p. :$bill. ;$c28 cm 500 $aIncludes index 630 00$aMacintosh Communications toolbox 650 0$aMacintosh (Computer)$xProgramming 907 $a.b14325202$b08-06-17$c08-06-17 912 $a991003381309707536 945 $aLE026 005.71265 APP 01.01 1991 Scaff. A/5$g1$i2026000071404$lle026$mRiporre sullo scaffale A/5$nProf. Tommasi / Dono$og$pE22.30$q-$rl$s- $t0$u0$v0$w0$x0$y.i15810343$z08-06-17 996 $aInside the Macintosh communications Toolbox$91474098 997 $aUNISALENTO 998 $ale026$b08-06-17$cm$da $e $feng$gmau$h0$i0