Hoppa till sidans huvudinnehåll

Karl Meinke - Böcker

Visar alla böcker från författaren Karl Meinke.
7 produkter

Tests and Proofs

16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

AvLaura Kovács,Karl Meinke m. fl.

Häftad, Engelska, 2022

689 kr

Skickas inom 10-15 vardagar

Machine Learning for Dynamic Software Analysis: Potentials and Limits

International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

AvAmel Bennaceur,Reiner Hähnle m. fl.

Häftad, Engelska, 2018

819 kr

Skickas inom 10-15 vardagar

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

AvJan Heering,Karl Meinke m. fl.

Häftad, Engelska, 1994

689 kr

Skickas inom 10-15 vardagar

Computer Science Logic

7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

AvEgon Börger,Yuri Gurevich m. fl.

Häftad, Engelska, 1994

689 kr

Skickas inom 10-15 vardagar

Higher-Order Algebra, Logic, and Term Rewriting

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

AvGilles Dowek,Jan Heering m. fl.

Häftad, Engelska, 1996

689 kr

Skickas inom 10-15 vardagar

Algebraic and Logic Programming

6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

AvMichael Hanus,Jan Heering m. fl.

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Principles of Declarative Programming

10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings

AvCatuscia Palamidessi,Hugh Glaser m. fl.

Häftad, Engelska, 1998

709 kr

Skickas inom 10-15 vardagar