📄 http:^^www.cs.columbia.edu^~theobald^
字号:
Date: Tue, 26 Nov 1996 02:50:09 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 1486
Last-modified: Wed, 25 Sep 1996 19:57:34 GMT
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 3.2//EN"><HTML><HEAD> <TITLE> Michael Theobald's Home Page </TITLE> <META NAME="GENERATOR" CONTENT="Mozilla/3.0b5aGold (X11; I; SunOS 5.5 sun4m) [Netscape]"></HEAD><BODY><P><!WA0><IMG SRC="http://www.cs.columbia.edu/~theobald/myphoto.gif" HEIGHT=44 WIDTH=42></P><H1>Michael Theobald </H1><P><HR></P><P>I am a PhD student at the <!WA1><A HREF="http://www.cs.columbia.edu">Departmentof Computer Science</A> of <!WA2><A HREF="http://www.columbia.edu">Columbia University</A>.<BR><BR></P><! P CS3131 A HREF="cs3131.html" CS 3131 AP ><P><HR WIDTH="100%">Mailing address:<BR></P><ADDRESS>Department of Computer Science <BR>Columbia University <BR>450 CS Building , Mail Code : 0401 <BR>1214 Amsterdam Avenue <BR>New York, NY 10027</ADDRESS><P><HR WIDTH="100%">Office:<BR></P><ADDRESS>517 Computer Science Building<BR>Tel.: 212-939-7065 <BR>Fax.: 212-666-0140 <BR>E-mail: theobald@cs.columbia.edu</ADDRESS><ADDRESS><BR><HR WIDTH="100%"><BR>Research Interests: <BR><BR></ADDRESS><LI>Efficient Algorithms and Data Structures <BR></LI><LI>Combinatorial Optimization <BR></LI><LI>Logic Synthesis <BR></LI><LI>Asynchronous Circuits <BR></LI><LI>BDD Techniques <BR></LI><LI><!WA3><A HREF="http://www.object-factory.com/Schalke/"><!WA4><IMG ISMAP SRC="http://www.cs.columbia.edu/~theobald/schalke-mini.gif" ALT="A clickable map" BORDER=2 HEIGHT=70 WIDTH=68></A><BR><BR><I>P.S. This is still a draft version. Everybody includes this kind ofdisclaimer...</I> </LI></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -