Index Catalog // Hyrax

Borrar filtros

Filtrado por: Creador King, Christopher T.

1. Unity power factor universal battery charger

Creador:: King, Christopher T., Murray, Seth T., and Apollonio, Benjamin J.
Advisor:: Emanuel, Alexander E.
Editor:: Worcester Polytechnic Institute
Fecha de Creacion:: 2006-01-01
Resource Type:: Major Qualifying Project

2. Tech Fest 2005

Palabra clave:: Community engagement and Marketing
Creador:: King, Christopher T., Quagliato, Julia Isabella Mendes, and Kazmierczak, James D.
Advisor:: Delorey, John F.
Editor:: Worcester Polytechnic Institute
Fecha de Creacion:: 2005-01-01
Resource Type:: Interactive Qualifying Project

3. An Axiomatic Semantics for Functional Reactive Programming

Palabra clave:: coq, monads, formal verification, and functional reactive programming
Creador:: King, Christopher T.
Advisor:: Fisler, Kathryn
Editor:: Worcester Polytechnic Institute
Fecha de Creacion:: 2008-04-29
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science