Hoppa till sidans huvudinnehåll

Hans Kleine Büning - Böcker

Visar alla böcker från författaren Hans Kleine Büning.
9 produkter

Modellierung

Av Uwe Kastens, Hans Kleine Büning

Inbunden, Tyska, 2021

499 kr

Skickas inom 3-6 vardagar

Prolog

Grundlagen und Anwendungen

Av Hans Kleine Büning, Stefan Schmitgen

Häftad, Tyska, 1986

669 kr

Skickas inom 10-15 vardagar

CSL '87

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

Av Egon Börger, Hans Kleine Büning m. fl

Häftad, Engelska, 1988

729 kr

Skickas inom 10-15 vardagar

CSL'88

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

Av Egon Börger, Hans Kleine Büning m. fl

Häftad, Engelska, 1989

709 kr

Skickas inom 10-15 vardagar

CSL '89

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

Av Egon Börger, Hans Kleine Büning m. fl

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar

Computer Science Logic

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

Av Egon Börger, Hans Kleine Büning m. fl

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Computer Science Logic

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

Av Egon Börger, Gerhard Jäger m. fl

Häftad, Engelska, 1992

709 kr

Skickas inom 10-15 vardagar

Computer Science Logic

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

Av Egon Börger, Gerhard Jäger m. fl

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Theory and Applications of Satisfiability Testing – SAT 2008

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

Av Hans Kleine Büning, Xishun Zhao

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar