Hoppa till sidans huvudinnehåll

Hans Kleine Büning – författare

Visar alla böcker från författaren Hans Kleine Büning.
9 produkter
Uwe Kastens, Hans Kleine Büning - Modellierung, Inbunden

Modellierung

AvUwe Kastens,Hans Kleine Büning

Inbunden, Tyska, 2021

489 kr

Skickas inom 3-6 vardagar

Hans Kleine Büning, Stefan Schmitgen - Prolog, Häftad

Prolog

Grundlagen und Anwendungen

AvHans Kleine Büning,Stefan Schmitgen

Häftad, Tyska, 1986

659 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL '87, Häftad

CSL '87

1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1988

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL'88, Häftad

CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1989

709 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL '89, Häftad

CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld - Computer Science Logic, Häftad

Computer Science Logic

4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter - Computer Science Logic, Häftad

Computer Science Logic

5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

AvEgon Börger,Gerhard Jägerm. fl.

Häftad, Engelska, 1992

709 kr

Skickas inom 10-15 vardagar

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter - Computer Science Logic, Häftad

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

AvEgon Börger,Gerhard Jägerm. fl.

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Hans Kleine Büning, Xishun Zhao - Theory and Applications of Satisfiability Testing – SAT 2008, Häftad

Theory and Applications of Satisfiability Testing – SAT 2008

11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

AvHans Kleine Büning,Xishun Zhao

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar