PENGARUH PEMIKIRAN IBNU TAIMIYAH (1263-1328 M) TERHADAP GERAKAN WAHHABIYAH (1703-1792 M) by Mahesa Yudha Pratama, -

Link Metadata

Astronomy 2e by Fraknoi, Andrew, Morrison, David, Wolff, Sidney C.

Table of Contents: “…Earthlike Planets: Venus and Marks -- 10.1 The Nearest Planets: An Overview -- 10.2 The Geology of Venus -- 10.3 The Massive Atmosphere of Venus -- 10.4 The Geology of Mars -- 10.5 Water and Life on Mars -- 10.6 Divergent Planetary Evolution -- Chapter 11. The Giant Planets -- 11.1 Exploring the Outer Planets -- 11.2 The Giant Planets -- 11.3 Atmospheres of the Giant Planets -- Chapter 12. …”
Access online version

Together The Science of Social Psychology

Table of Contents: “…About Noba & Acknowledgements -- Social Psychology as a Science -- 1 An Introduction to the Science of Social PsychologyRobert Biswas-Diener -- 2 Research Methods in Social PsychologyRajiv Jhangiani -- 3 Statistical ThinkingBeth Chance & Allan Rossman -- 4 Conducting Psychology Research in the Real WorldMatthias R. …”
Access online version

İnsan Bi̇lgi̇sayar Etki̇leşi̇mi̇: Araştırma Ve Uygulamalar

DOAB: download the publication
DOAB: description of the publication

DIALEK BAHASA LAMPUNG DI KABUPATEN LAMPUNG TIMUR (KAJIAN DIALEKTOLOGI) by Erlis Siska Novita, -

Link Metadata

Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats /

Table of Contents: “…An homage to Otto Stern (Dudley Herschbach) -- My uncle Otto Stern (Alan Templeton) -- Otto Stern's trajectory (Tilman Sauer) -- From theory to experiment (and back to theory)? …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

Table of Contents: “…Sensors, Actuators and Algorithms (Jiefei Wang and Damith Herath) -- Chapter 8 - Mobile robots: Controlling, Navigating and path planning( Jiefei Wang and Damith Herath) -- Chapter 9 - Lost in space! …”
Link to Metadata

Finland's Famous Education System Unvarnished Insights into Finnish Schooling /

Table of Contents: “…Sexualities and gender diversity in Finnish schools -- Racism in Finnish school textbooks: Developments and discussions -- Saami language online education outside the Saami homeland - New pathways to social justice -- Education of pupils with migrant backgrounds: A systemic failure in the Finnish system? -- Negotiated, given and self-made paths: Immigrant origin girls and post-compulsory educational transition in Finland -- Language education for everyone? …”
Link to Metadata

Copy(write) Intellectual Property in the Writing Classroom

Table of Contents: “…Part I: The Law, the Landscape -- The Fair Use Battle for Scholarly Works, Jeffrey Galin -- Plagiarism and Promiscuity, Authors and Plagiarisms, Russel Wiebe -- Authoring Academic Agency: Charting the Tensions between Work-for-hire University Copyright Policies,Timothy R. …”
Access online version

PERENCANAAN STRATEGIK PENINGKATAN ANGKA MELANJUTKAN SEKOLAH LULUSAN SD/MI KE SLTP/MTs DALAM RANGKA PENUNTASAN WAJIB BELAJAR PENDIDIKAN DASAR 9 TAHUN : Studi Kasus pada Program Penu... by Sanuhri, Nunung

Link Metadata

Regenerative Territories Dimensions of Circularity for Healthy Metabolisms /

Table of Contents: “…Challenges for the implementation of Circular Economy for a new territorial planning perspective(Arjan Michelangelo) -- Part I: The Spatial Dimension of Circularity -- Chapter 3. …”
Link to Metadata

Agricultural Implications of Fukushima Nuclear Accident (IV) After 10 Years /

Table of Contents: “…Verification of Effects on Crops and Surrounding Environment in Agriculture Using Radioactively Contaminated Grass Silage Compost Made by Aerobic Ultra-High Temperature Fermentation -- 10. …”
Link to Metadata

Analisis Besar Erosi Permukaan danProduktivitas Lahan di Kecematan MusukKabupaten Boyolali by YULIANI, DWI LESTARI

Connect to this object online

Technological Imagination in the Green and Digital Transition

Table of Contents: “…The transition to community homes and community hospitals into the framework of the Italian recovery plan -- Wood Snoezelen.…”
Link to Metadata

Managing Transnational UNESCO World Heritage sites in Africa

Table of Contents: “…The Transboundary Management Regime of the Virunga Conservation Area across the Congolese, Rwandese and Ugandan Borders: Challenges and Opportunities (Birabi Allan Kenneth) -- Chapter 8. Lake Chad Cultural Landscape: An Uncommon Transboundary potential in the midst of multiple challenges (Houehounha Dodé) -- Chapter 9. …”
Link to Metadata

The Future of Consumption How Technology, Sustainability and Wellbeing will Transform Retail and Customer Experience /

Table of Contents: “…The Case of a Local High Street, Ola Thufvesson & Devrim Umut Aslan -- Timeless Tricks, Ida de Wit Sandström & René van Pelt. .…”
Link to Metadata

PERANAN KEPALA SEKOLAH DASAR NEGERI DALAM RANGKA MENINGKATKAN MUTU PENDIDIKAN UNTUK MENGHADAPI ERA GLOBALISASI DI PROVINSI RIAU : Studi Evaluatif Peranan Kepala SDN di Kecamatan Ce... by Usman, Bahrum

Link Metadata

The Future of the Bamiyan Buddha Statues Heritage Reconstruction in Theory and Practice /

Table of Contents: “…Safeguarding and Preservation Activities at the Giant Buddhas and other monuments in the Bamiyan Valley 2004 - 2017 (Bert Praxenthaler and Matthias Beck) -- Chapter 4. …”
Link to Metadata

Financial Crisis Management and Democracy Lessons from Europe and Latin America /

Table of Contents: “…Chapter 1: Introduction -- Part I: Global Economic Crisis -- Chapter 2: The Road from Prosperity into the Crisis: The Long Cycle of Post-War Economic, Social and Political Development -- Chapter 3: The Systemic Nature of the Global Crisis and Some Principles for Tackling it -- Part II: Regional Governance and Crisis Management in Europe and Latin America -- Chapter 4: EU's Double Democratic Deficit -- Chapter 5: European Union's Democratic Legitimacy after the MoUs: The Political Legacy of an Economic Crisis -- Chapter 6: Finance Capitalism and Democracy: The Case of the Financial Transactions Tax -- Chapter 7: Regional Governance and Macroeconomic Crisis Management in Latin America -- Part III: Impact of the Crisis in Europe and Latin America: National Level -- Chapter 8: Managing the Crisis in Greece: The Missing Link Between External Conditionality and Domestic Political Economy -- Chapter 9: The Crisis, its Management and Impact on Equity and Democracy in Portugal and Possible Consequences for the EU -- Chapter 10: The 2011 Crisis in Italy: A Story of Deep Rooted (and Still Unresolved) Economic and Political Weaknesses -- Chapter 11: Latin American Economic Crises and Populist Bids: Argentina, Brazil and Mexico -- Chapter 12: The Fall of a Giant: Greed, Corruption and Abuse of Power Undermining Democracy in Brazil -- Chapter 13: Venezuela in Crisis - Governance, Equity and Democracy -- Part IV: Impact of the Crisis in Europe and Latin America: Regional Level -- Chapter 14: The Rise of Right-wing Populism in Europe: A Psychoanalytical Contribution -- Chapter 15: European Economic Governance and Rising Sovereignism -- Chapter 16: Eurozone Crisis Management and the Growth of Opposition to European Integration -- Chapter 17: A 'Pink Tide' Than a 'Turn to the Right': Populisms and Extremism in Latin America in the 21st Century -- Chapter 18: The Impact of the Global Financial Crisis on Latin American Regionalism and Beyond -- Part V: Conclusions -- Chapter 19: Comparing the Crises in Europe and Latin America: Causes, Management and Consequences -- Part VI: Reform Proposals -- Chapter 20: Financial Instability, Climate Change and the 'Digital Colonization' of Europe: Some Unconventional Proposals -- Chapter 21: Promoting Investment in the European Union, Evaluating the Junker Plan -- Chapter 22: Proposal for a Pact for National Responsibility Through EU Solidarity within the Present EU Architecture -- Chapter 23: Proposals for Reforms and Democratization of the EMU -- Chapter 24: Operational Proposal for an EU-CELAC Strategic Alliance -- Chapter 25: Epilogue - Financial Crises, Regionalism and Domestic Adjustment.…”
Link to Metadata