http://www.informatik.hu-berlin.de/topNeuigkeiten ?ber die Forschung und Lehre am Lehrstuhl Theorie der Programmierung am Institut f?r Informatik an der Humboldt-Universit?t zu Berlin.de(c) 2005-2006 Lehrstuhl Theorie der Programmierungnlohmann@informatik.hu-berlin.dewwwtop@informatik.hu-berlin.deTue, 02 Aug 2005 12:07:18 GMTWed, 17 Oct 2007 23:58:28 GMThttp://www.informatik.hu-berlin.de/top/layout/images/top_logo.gifhttp://www.informatik.hu-berlin.de/top http://www.informatik.hu-berlin.de/top/pnene_buch/index.phpDie vorl&auml;ufige Version zum Herunterladen.<br>flemming@informatik.hu-berlin.deNeues BuchThu, 18 Oct 2007 03:30:00 GMT http://www.informatik.hu-berlin.de/top/lehre/WS08-09Der Lehrstuhl Theorie der Programmierung bietet im Wintersemester 2008/2009 folgende Lehrveranstaltungen an:<br><br> <ul> <li>Hauptstudium</li> <ul> <li> <a href="http://www.informatik.hu-berlin.de/top/lehre/WS08-09/se_apm/index.php">[Blockseminar] Analyse von Petrinetz-Modellen</a> </li> <li> <a href="http://www.informatik.hu-berlin.de/top/lehre/WS08-09/se_mc/index.php">[Seminar] Model-Checking</a> </li> </ul> </ul> flemming@informatik.hu-berlin.deLehreWed, 13 Aug 2008 15:00:00 MESZ http://www.informatik.hu-berlin.de/top/lehre/SS08/vl_pi2/PI1+2NotenSS08.pdfDie Klausurergebnisse der PI2-Klausur im Juli sind online. Weitere Infos zur Klausureinsicht finden sich auf der <a href="http://www.informatik.hu-berlin.de/top/lehre/SS08/vl_pi2">Webseite der PI2</a>. flemming@informatik.hu-berlin.deLehreFri, 29 Aug 2008 5:00:00 MESZ http://www.informatik.hu-berlin.de/top/lehre/SS08/vl_pi2Klausureinsicht PI 1+2 am 23.10.2008, von 15-17 Uhr, Raum: III.101 heiden@informatik.hu-berlin.deLehreThu, 16 Oct 2008 17:00:00 MESZ http://service-technology.org/fionaVersion 3.0 von <b>Fiona</b> ist verf&uuml;gbar.Tools4BPEL{1fa0e2ae-e25b-823e-75bd-1ccf127c7252}Thu, 23 Oct 2008 19:00:00 GMT