BibSonomy publications for /author/Reetz http://www.bibsonomy.org/author/Reetz BibSonomy RSS Feed for /author/Reetz Wirtschaftsdidaktik : eine Einführung in Theorie und Praxis wirtschaftsberuflicher Curriculumentwicklung und Unterrichtsgestaltung imported http://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
]]> Zukunftsenergien : Strategien einer neuen Energiepolitik imported http://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
]]> UNICORE Deployment Within the DEISA Supercomputing Grid Infrastructure. dblp http://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
]]> Superflick: a natural and efficient technique for long-distance object placement on digital tables. dblp http://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
]]> Formal Specification in VHDL for Hardware Verification. dblp http://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
]]> CS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall. dblp http://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
]]> Deep Embedding VHDL. dblp http://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
]]> Simplifying Deep Embedding: A Formalised Code Generator. dblp http://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
]]> A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. dblp http://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
]]>