Skip to main content

Search results for "formal computer"

Viewing 1 - 20 of 98 results by relevance
Consensus Study Report

Defense Software for a Contested Future: Agility, Assurance, and Incentives  (2025)

Proceedings

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop  (2023)

Consensus Study Report

Assessing the 2020 Census: Final Report  (2023)

Proceedings

Addressing Structural Racism, Bias, and Health Communication as Foundational Drivers of Obesity: Proceedings of a Workshop Series  (2022)

Memorial Tributes: Volume 24  (2022)

Consensus Study Report

Greenhouse Gas Emissions Information for Decision Making: A Framework Going Forward  (2022)

Consensus Study Report

Physics of Life  (2022)

Consensus Study Report

Information Technology Innovation: Resurgence, Confluence, and Continuing Impact  (2020)

Consensus Study Report

English Learners in STEM Subjects: Transforming Classrooms, Schools, and Lives  (2018)

Consensus Study Report

Affordability of National Flood Insurance Program Premiums: Report 2  (2016)

Consensus Study Report

Effective Chemistry Communication in Informal Environments  (2016)

A Guide to Building and Retaining Workforce Capacity for the Railroad Industry  (2015)

Consensus Study Report

Developing a 21st Century Global Library for Mathematics Research  (2014)

Developing the "Guide for the Process of Managing Risk on Rapid Renewal Projects"  (2014)

Consensus Study Report

Improving the Assessment of the Proliferation Risk of Nuclear Fuel Cycles  (2013)

Consensus Study Report

Continuing Innovation in Information Technology  (2012)

Proceedings

The Early Childhood Care and Education Workforce: Challenges and Opportunities: A Workshop Report  (2012)

Consensus Study Report

Improving Adult Literacy Instruction: Options for Practice and Research  (2012)

Proceedings

Report of a Workshop on the Pedagogical Aspects of Computational Thinking  (2011)

Proceedings

Public Health Effectiveness of the FDA 510(k) Clearance Process: Measuring Postmarket Performance and Other Select Topics: Workshop Report  (2011)