Search Results - "formal method"

Suggested Topics within your search.
Refine Results
  1. 61
    Cover Image

    Factory Automation

    Published 2010
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 62
    Cover Image

    Course notes on finite games and rational choice by Bruni, Riccardo

    Published 2018
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 63
    Cover Image

    Linguistics as a Science by Yngve, Victor H.

    Published 1986
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 64
    Cover Image

    Course notes on finite games and rational choice by Bruni, Riccardo

    Published 2018
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 65
    Cover Image

    Current Trends in New Testament Study by Van Voorst, Robert E.

    Published 2020
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 66
    Cover Image

    Character Constellations Representations of Social Groups in Present-Day Dutch Literary Fiction by Smeets, Roel

    Published 2021
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 67
    Cover Image

    Mathematics in Software Reliability and Quality Assurance

    Published 2022
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 68
    Cover Image

    Idealistic Assertions or Realistic Possibilities in Community and Youth Work Education by Sinéad Gormally, Annette Coburn, Edward Beggan

    Published 2021
    Connect to this object online.
    Book

    Save to List
    Saved in:
  9. 69
    Cover Image

    Computational identification of potential multitarget treatments for ameliorating the adverse effects of amyloid-beta on synaptic plasticity by Thomas J. Anastasio

    Published 2014
    Connect to this object online.
    Book

    Save to List
    Saved in:
  10. 70
    Cover Image

    Open Logic Project by Zach, Richard, Arana, Andrew, Avigad, Jeremy, Dean, Walter, Russell, Gillian, Wyatt, Nicole, Yap, Audrey

    Published 2016
    Access online version
    Electronic eBook

    Save to List
    Saved in:
  11. 71
    Cover Image

    Social Marketing Projects: A Novel Approach to Encourage Increasing Knowledge Around Obesity While Promoting Advocacy by Heather Lochnan, Brendan Irish

    Published 2014
    Connect to this object online.
    Book

    Save to List
    Saved in:
  12. 72
    Cover Image

    Structure and Interpretation of Classical Mechanics by Sussman, Gerald Jay

    Published 2015
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 73
    Cover Image

    Character Constellations Representations of Social Groups in Present-Day Dutch Literary Fiction by Smeets, Roel

    Published 2021
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 74
    Cover Image

    Elementary College Geometry by Africk, Henry

    Published 2021
    Access online version
    Electronic eBook

    Save to List
    Saved in:
  15. 75
    Cover Image

    Exploring the contribution of estrogen to amyloid-beta regulation:a novel multifactorial computational modeling approach by Thomas J. Anastasio

    Published 2013
    Connect to this object online.
    Book

    Save to List
    Saved in:
  16. 76
    Cover Image

    Collaboration between general dental practitioners and dental hygienists: a qualitative study by Joost C. L. den Boer, Brigitte A. F. M. van Dam, Wil J. M. van der Sanden, Josef J. M. Bruers

    Published 2022
    Connect to this object online.
    Book

    Save to List
    Saved in:
  17. 77
    Cover Image

    Nuel Belnap on Indeterminism and Free Action

    Published 2014
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  18. 78
    Cover Image

    Ensuring Indigenous co-leadership in health research: a Can-SOLVE CKD case example by Cathy Woods, Craig Settee, Mary Beaucage, Helen Robinson-Settee, Arlene Desjarlais, Evan Adams, Catherine Turner, Malcolm King, Letitia Pokiak, Mary Wilson, Evelyn Voyageur, Chantel Large, Jonathan McGavock, Joanne Kappel, Helen Chiu, Tamara Beardy, Isabelle Flett, James Scholey, Heather Harris, Jocelyn Jones, Latash Maurice Nahanee, Delhia Nahanee, on behalf of the Can-SOLVE CKD Indigenous Peoples' Engagement, Research Council (IPERC)

    Published 2023
    Connect to this object online.
    Book

    Save to List
    Saved in:
  19. 79
    Cover Image

    Pengembangan Bahan Ajar Bahasa Indonesia SMP Kelas VIII Melalui Kajian Teks 88 Kisah Kebijaksanaan Tiongkok Kuno Karya Andy Chow 2015 by Muryati, Ika, , Drs. Agus Budi Wahyudi, M. Hum

    Published 2016
    Connect to this object online
    Book

    Save to List
    Saved in:
  20. 80
    Cover Image

    PANDANGAN DUNIA ORANG SUNDA DALAM CERITA KUNTILANAK SEBAGAI LEGENDA ALAM GAIB DI KOTA BANDUNG by Suhendi, Indrawan Dwisetya

    Published 2015
    Link Metadata
    Book

    Save to List
    Saved in:

Search Tools: