]> BibSonomy publications for /author/Reetz http://www.bibsonomy.org/burst/author/Reetz BibSonomy BuRST Feed for /author/Reetz 2008-07-20T23:47:22+02:00 Wirtschaftsdidaktik : eine Einführung in Theorie und Praxis wirtschaftsberuflicher Curriculumentwicklung und Unterrichtsgestaltung importedhttp://www.bibsonomy.org/bibtex/28125babb0223b909ae8662f5094defed/fbw fbw 2008-05-30T16:42:01+02:00 imported
Wirtschaftsdidaktik : eine Einführung in Theorie und Praxis wirtschaftsberuflicher Curriculumentwicklung und Unterrichtsgestaltung
{Lothar} Reetz (1984)
to imported by fbw on 2008-05-30 16:42:01 ]]> Klinkhardt263 SBad Heilbrunn/Obb.Wirtschaftsdidaktik : eine Einführung in Theorie und Praxis wirtschaftsberuflicher Curriculumentwicklung und Unterrichtsgestaltung1984imported 2008-05-30 16:42:01.0 Zukunftsenergien : Strategien einer neuen Energiepolitik importedhttp://www.bibsonomy.org/bibtex/27a8cfdbb81e78ea282c167607b95eaf8/fbw fbw 2008-05-30T16:42:01+02:00 imported
Zukunftsenergien : Strategien einer neuen Energiepolitik
{Harry} Lehmann and {Torsten} Reetz (1995)
to imported by fbw on 2008-05-30 16:42:01 ]]> Birkhäuser282 SBerlin [u.a.]Zukunftsenergien : Strategien einer neuen Energiepolitik1995imported 2008-05-30 16:42:01.0 UNICORE Deployment Within the DEISA Supercomputing Grid Infrastructure. dblphttp://www.bibsonomy.org/bibtex/20b59d110625cf73befdf8fe8aa3a2f85/dblp dblp 2007-09-20T00:00:00+02:00 dblp
UNICORE Deployment Within the DEISA Supercomputing Grid Infrastructure.
Luca Clementi and Michael Rambadt and Roger Menday and Johannes Reetz Euro-Par Workshops 264-273 (2006)
to dblp by dblp on 2007-09-20 00:00:00 ]]> Euro-Par Workshopsconf/europar/2006w264-273Lecture Notes in Computer ScienceUNICORE Deployment Within the DEISA Supercomputing Grid Infrastructure.43752006dblp 2007-09-20 00:00:00.0 Superflick: a natural and efficient technique for long-distance object placement on digital tables. dblphttp://www.bibsonomy.org/bibtex/2a8c4b113b6d87e8b643d0d66b6878349/dblp dblp 2007-02-14T00:00:00+01:00 dblp
Superflick: a natural and efficient technique for long-distance object placement on digital tables.
Adrian Reetz and Carl Gutwin and Tadeusz Stach and Miguel A. Nacenta and Sriram Subramanian Graphics Interface 163-170 (2006)
to dblp by dblp on 2007-02-14 00:00:00 ]]> Graphics Interfaceconf/graphicsinterface/2006163-170Superflick: a natural and efficient technique for long-distance object placement on digital tables.2006dblp 2007-02-14 00:00:00.0 Formal Specification in VHDL for Hardware Verification. dblphttp://www.bibsonomy.org/bibtex/280d46c321fc63e8f61c9e40c0940576d/dblp dblp 2003-09-17T00:00:00+02:00 dblp
Formal Specification in VHDL for Hardware Verification.
Ralf Reetz and Klaus Schneider and Thomas Kropf DATE 257- (1998)
to dblp by dblp on 2003-09-17 00:00:00 ]]> DATEconf/date/1998257-Formal Specification in VHDL for Hardware Verification.1998dblp 2003-09-17 00:00:00.0 CS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall. dblphttp://www.bibsonomy.org/bibtex/25b21b322049f78031cc7e6d5a81ad9de/dblp dblp 2002-08-29T00:00:00+02:00 dblp
CS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall.
Jens-Steffen Gutmann and Bernhard Nebel and Christian Reetz AMS 345-352 (2000)
to dblp by dblp on 2002-08-29 00:00:00 ]]> AMSconf/ams/2000345-352Informatik AktuellCS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall.2000dblp 2002-08-29 00:00:00.0 Deep Embedding VHDL. dblphttp://www.bibsonomy.org/bibtex/2a7e909b469170f1c3d7e1c018e8c2317/dblp dblp 2002-01-03T00:00:00+01:00 dblp
Deep Embedding VHDL.
Ralf Reetz TPHOLs 277-292 (1995)
to dblp by dblp on 2002-01-03 00:00:00 ]]> TPHOLsconf/tphol/1995277-292Lecture Notes in Computer ScienceDeep Embedding VHDL.9711995dblp 2002-01-03 00:00:00.0 Simplifying Deep Embedding: A Formalised Code Generator. dblphttp://www.bibsonomy.org/bibtex/29c8635c699dcbee69758df63201e4d44/dblp dblp 2002-01-03T00:00:00+01:00 dblp
Simplifying Deep Embedding: A Formalised Code Generator.
Ralf Reetz and Thomas Kropf TPHOLs 378-390 (1994)
to dblp by dblp on 2002-01-03 00:00:00 ]]> TPHOLsconf/tphol/1994378-390Lecture Notes in Computer ScienceSimplifying Deep Embedding: A Formalised Code Generator.8591994dblp 2002-01-03 00:00:00.0 A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. dblphttp://www.bibsonomy.org/bibtex/2407afffd863c5ea739ba17bde738bf77/dblp dblp 2002-01-03T00:00:00+01:00 dblp
A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.
Ralf Reetz and Thomas Kropf Formal Methods in System Design 7 73-99 (1995)
to dblp by dblp on 2002-01-03 00:00:00 ]]> Formal Methods in System Design1/273-99A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.71995dblp 2002-01-03 00:00:00.0