calibre Library

	pdf Decision Procedures: An Algorithmic Point of View (2nd ed.) [Texts in Theoretical Computer Science. An EATCS Series - 1.0] by Kroening, Daniel & Strichman, Ofer24 set, 2018 Tags=[Decision Procedures, Propositional Logic, Pointer Logic, Boolean Satisfiability Solver (SAT), Quantified Formulas, Satisfiability Modulo Theories (SMT), Constraint Satisfaction Problem (CSP), satisfiability, SAT] DOI=[10.1007/978-3-662-50497-0] Formats=[PDF] ISBN=[9783662504970] OCLC=[979975014] Year=[2016]
	pdf Handbook of Satisfiability (2nd ed.) [Frontiers in Artificial Intelligence and Applications - 336.0] by Biere, Armin & Heule, Marjin & Maaren, Hans van & Walsh, Toby19 set, 2018 Tags=[Boolean Algebra -- Congresses, COMPUTERS, computer science, satisfiability, Propositional calculus -- Congresses, Computer algorithms -- Congresses, Decision making -- Congresses, SAT] DOI=[10.3233/FAIA336] Formats=[PDF] Google=[dUAvEAAAQBAJ] ISBN=[9781643681610] LCN=[QA9.3 -- .H36 2021] OCLC=[1252418310] Year=[2021]
	epubpdf The Sense of Mystery: Clarity and Obscurity in the Intellectual Life by Garrigou-Lagrange, Réginald, O.P. & Minerd, Matthew K.18 set, 2018 Amazon=[B07F256RM7] Formats=[EPUB,PDF] Google=[qztpDwAAQBAJ] ISBN=[9781947792340] LCN=[LCC B765.T54] OCLC=[1005741753] Year=[2018] Words=[128,103]
	epub Reverend Réginald Garrigou-Lagrange O.P. Collection [16 Books] by Garrigou-Lagrange, Réginald, O.P.17 set, 2018 Amazon=[B01LX8R9D7] Formats=[EPUB] ISBN=[9781786470584] Year=[2016] Words=[2,778,329]
	djvu A Treatise on Differential Equations by Boole, George, 1815-186413 set, 2018 Formats=[DJVU] LCN=[QA371 .B7 1877] OCLC=[1020474261] Year=[1877]
	pdf Introduction to Mathematics of Satisfiability [Chapman & Hall/CRC Studies in Informatics Series - 0.0] by Marek, Victor W.13 set, 2018 Tags=[Propositional calculus, Symbolic and mathematical logic, satisfiability, SAT] Amazon=[1439801673] Formats=[PDF] ISBN=[9781439801673] LCN=[QA9.3.M37 2009] OCLC=[690383098] Year=[2009]
	epub De magnete by Gilbert, William08 set, 2018 Tags=[Magnetism -- Early works to 1800] Formats=[EPUB] Year=[1900] Words=[144,913]
	pdf Contra la proprietà intellettuale by Kinsella, Stephan N.07 set, 2018 Formats=[PDF] Year=[2017]
	pdf I Have Weathered Other Storms: A Response to the Scandals and Democratic Reforms that Threaten the Catholic Church by TFP Committee on American Issues01 set, 2018 Formats=[PDF] ISBN=[9781881008040] LCN=[2002116138] OCLC=[51806202] Year=[2003]
	pdf Paulinus Noster: Self and Symbols in the Letters of Paulinus of Nola [Oxford Early Christian Studies - 0.0] by Conybeare, Catherine28 ago, 2018 Amazon=[B00CTJXXDG] Formats=[PDF] OCLC=[317307590] Year=[2001]
	epub Paulinus of Nola: Life, Letters, and Poems [The Transformation of the Classical Heritage - 27.0] by Trout, Dennis E.28 ago, 2018 Amazon=[0520217098] Formats=[EPUB] ISBN=[9780520217096] LCN=[PA6554.P5Z89 1999] OCLC=[772521618] Year=[1999] Words=[164,026]
	djvu Librorum Moralium continuatio a libro XVII usque ad finem [Patrologiae Cursus Completus: Series Latina - 76.0] by Gregory the Great, Pope St., O.S.B. (480-547) & Migne, Jacques-Paul, 1800-187522 ago, 2018 Formats=[DJVU] OCLC=[1050246069] Year=[1800]
	djvu Mécanique céleste (vol. 1) by Laplace, Pierre Simon, marquis de, 1749-1827 & Bowditch, Nathaniel, 1773-1838 & Bowditch, N. I. (Nathaniel Ingersoll), 1805-186120 ago, 2018 Tags=[celestial mechanics, Tides, Capillarity] Formats=[DJVU] OCLC=[1049656832] Year=[1829]
	djvu The Life of James Clerk Maxwell: With a Selection From His Correspondence and Occasional Writings and a Sketch of His Contributions to Science by Campbell, Lewis, 1830-1908 & Garnett, William, 1850-193216 ago, 2018 Formats=[DJVU] OCLC=[1048343821] Year=[1882]
	djvu Electromagnetic Theory (vol. 3) by Heaviside, Oliver, 1850-192516 ago, 2018 Formats=[DJVU] OCLC=[862809310] Year=[1912]
	djvu Electrical Papers (vol. 2) by Heaviside, Oliver, 1850-192516 ago, 2018 Formats=[DJVU] OCLC=[608806889] Year=[1894]
	djvu Electrical Papers (vol. 1) by Heaviside, Oliver, 1850-192516 ago, 2018 Formats=[DJVU] OCLC=[608806889] Year=[1892]
	djvu Electromagnetic Theory (vol. 2) by Heaviside, Oliver, 1850-192516 ago, 2018 Formats=[DJVU] OCLC=[862809310] Year=[1899]
	djvu Electromagnetic Theory (vol. 1) by Heaviside, Oliver, 1850-192516 ago, 2018 Formats=[DJVU] OCLC=[862809310] Year=[1893]
	epub The Divine Life of the Most Holy Virgin: From The Mystical City of God by Mary of Agreda, Ven.12 ago, 2018 Formats=[EPUB] ISBN=[9781618903099] OCLC=[956998633] Year=[1872] Words=[116,703]
	epub A Popular Abridgement of The Mystical City of God by Mary of Agreda, Ven. & Marison, Fiscar (Blatter, Rev. George J.)12 ago, 2018 Formats=[EPUB] ISBN=[9781618909060] OCLC=[946217550] Year=[1978] Words=[241,415]
	pdf The Mystery of Iniquity by Kramer, Paul L.12 ago, 2018 Formats=[PDF] Year=[2012]
	pdf Sur la dissociation dans les systèmes qui renferment un mélange de gaz parfaits [Travaux & Mémoires des Facultés de Lille - 2.8] by Duhem, Pierre Maurice Marie, 1861-191611 ago, 2018 Formats=[PDF] Google=[mTQ9AAAAYAAJ] OCLC=[940746878] Year=[1892]
	djvu A Commentary On The Decree "Ne Temere" by Creagh, John Thomas, 1870-10 ago, 2018 Formats=[DJVU] Year=[1908]
	pdf Cancer and Vitamin C: A Discussion of the Nature, Causes, Prevention, and Treatment of Cancer With Special Reference to the Value of Vitamin C by Cameron, Ewan & Pauling, Linus10 ago, 2018 Tags=[Vitamin C—Therapeutic use, Cancer—Chemotherapy, Cancer, Neoplasms, Neoplasms—Drug therapy, Ascorbic acid—Therapeutic use] Formats=[PDF] ISBN=[0446977357] LCN=[QZ267 C182c 1979a] OCLC=[1029285337] Year=[1981]

Switch to the full interface (non-mobile interface)