Showing 142,401 - 142,420 results of 166,083 for search '(("klight" OR ((((("slight" OR "fight") OR "sightly") OR "flight") OR (((("fright" OR "bright") OR (("wrights" OR "fights") OR "fights")) OR "night") OR ((("wrightss" OR ("eights" OR "weight")) OR ("rightss" OR "rightsss")) OR "heights"))) OR ("fightly" OR ((("frightssly" OR ("frightsly" OR "wrightsly")) OR ("frightsssly" OR ("fightsssly" OR "lightsssly"))) OR ("rightssly" OR "rightsssly"))))) OR (("right" OR "rights") OR "light"))', query time: 1.38s Refine Results
  1. 142401
  2. 142402

    Recent Trends in Biotechnology and Therapeutic Applications of Medicinal Plants by Shahid, Mohd

    Dordrecht : Springer Netherlands : Imprint: Springer, 2013
    Format: Electronic eBook
    Full text (Wentworth users only).
  3. 142403

    Two worlds : first meetings between Maori and Europeans, 1642-1772 by Salmond, Anne

    Honolulu, Hawaii : University of Hawaii Press, 1991
    Format: Book


  4. 142404

    When Gender Equality Policies in Practice Matter A Comparative Study in France

    Cham : Springer Nature Switzerland : Imprint: Palgrave Macmillan, 2024
    1st ed. 2024.
    Format: Electronic eBook
    Full text (Wentworth users only)
  5. 142405

    Bipolar Life Between Two Extremes

    New York, N.Y. : Films Media Group, 2011
    Format: Electronic Video
    Streaming video (Emerson users only)
    Streaming video (MCPHS users only)
    Streaming video (Wentworth users only)
  6. 142406
  7. 142407
  8. 142408

    Entrepreneurship and Social Entrepreneurship in the MENA Region Advances in Research

    Cham : Springer International Publishing : Imprint: Palgrave Macmillan, 2022
    1st ed. 2022.
    Format: Electronic eBook
    Full text (Wentworth users only)
  9. 142409
  10. 142410
  11. 142411

    Balzac and the nineteenth century : studies in French literature presented to Herbert J. Hunt by pupils, colleagues, and friends

    Leicester : Leicester University Press, 1972
    Table of Contents: “…Cellier -- Alfred de Musset and Don Juan / Ronald Grimsley -- Mallarmé and Gautier : new light on Toast funèbre / L.J. Austin -- Courage--c'est du René Ghil / Vera J. …”
    Format: Book


  12. 142412
  13. 142413

    A casebook in abnormal psychology : from the files of experts

    New York : Oxford University Press, 1998
    Format: Book


  14. 142414

    Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings by Bonacina, Maria Paola

    Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
    Table of Contents: “…One Logic to Use Them All -- The Tree Width of Separation Logic with Recursive Definitions -- Hierarchic Superposition with Weak Abstraction -- Completeness and Decidability Results for First-Order Clauses with Indices -- A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies -- Tractable Inference Systems: An Extension with a Deducibility Predicate -- Computing Tiny Clause Normal Forms -- System Description: E-KRHyper 1.4 Extensions for Unique Names and Description Logic -- Analysing Vote Counting Algorithms via Logic: And Its Application to the CADE Election Scheme -- Automated Reasoning, Fast and Slow -- Foundational Proof Certificates in First-Order Logic -- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals -- A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition -- dReal: An SMT Solver for Nonlinear Theories over the Reals -- Solving Difference Constraints over Modular Arithmetic -- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis -- Hierarchical Combination -- PRocH: Proof Reconstruction for HOL Light -- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description -- Towards Modularly Comparing Programs Using Automated Theorem Provers -- Reuse in Software Verification by Abstract Method Calls -- Dynamic Logic with Trace Semantics -- Temporalizing Ontology-Based Data Access -- Verifying Refutations with Extended Resolution -- Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems -- Quantifier Instantiation Techniques for Finite Model Finding in SMT -- Automating Inductive Proofs Using Theory Exploration -- E-MaLeS 1.1 -- TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism -- Propositional Temporal Proving with Reductions to a SAT Problem -- InKreSAT: Modal Reasoning via Incremental Reduction to SAT -- bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR -- The 481 Ways to Split a Clause and Deal with Propositional Variables.…”
    Format: Electronic eBook
    Full text (Wentworth users only).
  15. 142415

    Alternative Sweet and Supersweet Principles Natural Sweeteners and Plants by Dwivedi, Ram Snehi

    Singapore : Springer Nature Singapore : Imprint: Springer, 2022
    1st ed. 2022.
    Format: Electronic eBook
    Full text (Wentworth users only)
  16. 142416

    The Religious Roots of Longevity Risk Sharing The Genesis of Annuity Funds in the Scottish Enlightenment and the Path to Modern Pension Management by Milevsky, Moshe A.

    Cham : Springer Nature Switzerland : Imprint: Palgrave Macmillan, 2024
    1st ed. 2024.
    Format: Electronic eBook
    Full text (Wentworth users only)
  17. 142417

    Victorian Comedy and Laughter Conviviality, Jokes and Dissent

    London : Palgrave Macmillan UK : Imprint: Palgrave Macmillan, 2020
    1st ed. 2020.
    Format: Electronic eBook
    Full text (Wentworth users only)
  18. 142418
  19. 142419

    Sex, censorship, and the silver screen : late 1960s to '90s

    New York, N.Y. : Films Media Group, 2008
    Format: Electronic Video
    Streaming video (Emerson users only)
  20. 142420

    Harvest of Loneliness The Bracero Program / 1941-.

    New York, N.Y. : Films Media Group, 2011
    Format: Electronic Video
    Streaming video (Emerson users only)
    Streaming video (Wentworth users only)