Hans Kleine-Büning - Dokumente zum Namen

(1 - 15 von 15

)

Documents authored by Kleine Büning, Hans - DROPSdagstuhl.de

drops.dagstuhl.de

von A Chattopadhyay · · Zitiert von: 8 — Authors: Hans Kleine Büning, Piotr Wojciechowski, and K. Subramani. Published in: LIPIcs, Volume 150, 39th IARCS Annual Conference on Foundations of Software ... von A Chattopadhyay · · Zitiert von: 8 — Authors: Hans Kleine Büning, Piotr Wojciechowski, and K. Subramani. Published in: LIPIcs, Volume 150, 39th IARCS Annual Conference on Foundations of Software ...

Computer Science Logic (Dagstuhl Seminar 9229) - DROPSdagstuhl.de

drops.dagstuhl.de

von E Börger · — Hans Kleine-Büning. M. M. Richter. Cite AsGet BibTex. Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter. Computer Science Logic (Dagstuhl ... von E Börger · — Hans Kleine-Büning. M. M. Richter. Cite AsGet BibTex. Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter. Computer Science Logic (Dagstuhl ...

paper_8520Universität Bonn

theory.informatik.uni-bonn.de

Marek Karpinski, Hans Kleine-Buening, Peter H. Schmitt [Download PostScript] [Download PDF]. A polynomial time algorithm is presented for the evaluation ... Marek Karpinski, Hans Kleine-Buening, Peter H. Schmitt [Download PostScript] [Download PDF]. A polynomial time algorithm is presented for the evaluation ...

KNOWLEDGE BASED SUPPORT WITHIN ...Webis Group

downloads.webis.de

von HK Büning · Zitiert von: 14 — Hans Kleine Büning, Benno Stein. ABSTRACT. Manufacturers of complex technical systems are faced with the problem to configure ... Hans Kleine Büning, Benno Stein. von HK Büning · Zitiert von: 14 — Hans Kleine Büning, Benno Stein. ABSTRACT. Manufacturers of complex technical systems are faced with the problem to configure ... Hans Kleine Büning, Benno Stein.

Modellierung - Grundlagen und formale MethodenCarl Hanser Verlag

files.hanser.de

von Uwe Kastens/Hans Kleine Büning. ISBN (Buch): ISBN (E-Book): Weitere Informationen und Bestellungen unter http://www ... von Uwe Kastens/Hans Kleine Büning. ISBN (Buch): ISBN (E-Book): Weitere Informationen und Bestellungen unter http://www ...

ModellierungLehrerfortbildungsserver

lehrerfortbildung-bw.de

von Uwe Kastens, Hans Kleine Büning. Ein mittelalterlicher Gefängnisturm hat eine. Reihe von Zellen, die durch Türen verbunden sind (schwarze Linien). Die ... von Uwe Kastens, Hans Kleine Büning. Ein mittelalterlicher Gefängnisturm hat eine. Reihe von Zellen, die durch Türen verbunden sind (schwarze Linien). Die ...