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 01985nam 2200409 n 450 001 996394390003316 005 20221108054227.0 035 $a(CKB)4940000000120367 035 $a(EEBO)2240917805 035 $a(UnM)99827996 035 $a(UnM)9927824300971 035 $a(EXLCZ)994940000000120367 100 $a19950324d1655 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 00$aCompendium theologiæ Christianæ$b[electronic resource] $eaccurata? methodo sic adornatum, ut sit ad SS. scripturas legendas, ad locos communes digerendos, ad controversias intelligendas manuductio. Autore Joanne Wollebio SS. Th. D. & in Acad. Basil. Profess. Ord 205 $aEditio novissima, prioribus omnium tum auctior, facta? ex adornationibus viri Cl: Alexandri Rossæi accessione, tum emaculatior: in qua quædam omissa restituuntur; qua?m-plurima SS. scripturæ testimonia quæ in superioribus editionibus falso?) [sic] diligenter examinatis locis, recte? citantur; typographica ali?aq[ue], quæ operarum incuria? irrepserant ememdantur, totius denique systematis analysis in XI. tabe las [sic] tribuitur. 210 $aOxoniæ $cexcudebat H. Hall, impensis Rob: Blagrave & John Forrest$dM. DC. LV. [1655] 215 $a[6], 331 [i.e. 332], 21, [1] p 300 $aPage 332 is misnumbered 331. 300 $aIncludes tables and indexes. 300 $aReproduction of original in the University of Illinois (Urbana-Champaign Campus). Library. 330 $aeebo-0167 606 $aTheology, Doctrinal$vEarly works to 1800 606 $aApologetics$vEarly works to 1800 615 0$aTheology, Doctrinal 615 0$aApologetics 700 $aWolleb$b Johannes$f1586-1629.$01007010 701 $aRoss$b Alexander$f1591-1654.$0795878 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996394390003316 996 $aCompendium theologiæ Christianæ$92412152 997 $aUNISA LEADER 01934nam 2200433 n 450 001 996390670903316 005 20221108020308.0 035 $a(CKB)1000000000664319 035 $a(EEBO)2248536669 035 $a(UnM)ocm7944602e 035 $a(UnM)7944602 035 $a(OCoLC)07944602 035 $a(EXLCZ)991000000000664319 100 $a19811120d1680 uy 101 0 $aeng 135 $aurbn||||a|bb| 200 04$aThe primitive Christians bearing their testimony for God in times of persecution$b[electronic resource] $ebeing some sentences of Tertullian and others, taken out of a book, called, The mirrour of the martyrs: how that the crimes which of old were objected against the Christians, were, that they frequented seditious meetings and conventicles, and that they would rebel against their superiours: and the judges and justices grew incenst against them, and would not hear their just pleas; therefore Tertullian complained, saying: 210 $a[London $cs.n.$d1680?] 215 $a4 p 300 $aCaption title. 300 $aImprint from Wing. 300 $aIncludes excerpts from "The mirror of martyrs" which is part of John Foxe's "Actes and monuments". 300 $aImperfect: print show-through, affecting legibility of page 2. 300 $aReproduction of original in the Bodleian Library. 330 $aeebo-0113 606 $aChristian martyrs$vEarly works to 1800 606 $aChurch and state$vEarly works to 1800 607 $aGreat Britain$xChurch history$y17th century$vEarly works to 1800 615 0$aChristian martyrs 615 0$aChurch and state 701 $aFoxe$b John$f1516-1587.$0103431 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bCu-RivES 906 $aBOOK 912 $a996390670903316 996 $aThe primitive Christians bearing their testimony for God in times of persecution$92368692 997 $aUNISA