home · mobile · schedules · spring 2007 · 

CSCI 7000 - Spring 2007

CSCI 7000-001 (3).
Current Topics in Computer Science: Things That Think
Semester:Spring 2007
Call #:12725
Instructors:Michael Eisenberg
Ann Eisenberg
Time:09:30am-10:45am TR
Room:DLC 1B14
Enrollment:3
Course Page:http://l3d.cs.colorado.edu/
~ctg/classes/ttt2007/
TTT07.html

Taught jointly with CSCI 4830-001.


CSCI 7000-005 (1).
Current Topics in Computer Science: Practical Theorem Proving with Isabelle/Isar
Semester:Spring 2007
Call #:24962
Instructor:Jeremy Siek
Time:01:00pm-01:50pm T
Room:ECCR 1B06
Enrollment:2
Course Page:http://www.cs.colorado.edu/
~siek/7000/spring07/

CSCI 7000-007 (3).
Current Topics in Computer Science: Medical Informatics
Semester:Spring 2007
Call #:24415
Instructor:Katie Siek
Time:05:00pm-06:15pm MW
Room:ECCR 118
Enrollment:1
CAETE:Offered through CAETE.
Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
webmaster@cs.colorado.edu
www.cs.colorado.edu
May 5, 2012 (14:28)
XHTML 1.0/CSS2
©2012