Index Catalog // Hyrax

Borrar filtros

Filtrado por: Creador King, Christopher T.

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
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
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