Hoppa till sidans huvudinnehåll

Karl Meinke – författare

Visar alla böcker från författaren .
7 produkter
Laura Kovács, Karl Meinke - Tests and Proofs, Häftad
Del 13361 - Lecture Notes in Computer Science

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

Häftad, Engelska, 2022

709 kr

Skickas inom 10-15 vardagar

Amel Bennaceur, Reiner Hähnle, Karl Meinke - Machine Learning for Dynamic Software Analysis: Potentials and Limits, Häftad
Del 11026 - Lecture Notes in Computer Science

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ähnlem. fl.

Häftad, Engelska, 2018

839 kr

Skickas inom 10-15 vardagar

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow - Higher-Order Algebra, Logic, and Term Rewriting, Häftad

Higher-Order Algebra, Logic, and Term Rewriting

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

AvJan Heering,Karl Meinkem. fl.

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Yuri Gurevich, Karl Meinke - Computer Science Logic, Häftad

Computer Science Logic

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

AvEgon Börger,Yuri Gurevichm. fl.

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller - Higher-Order Algebra, Logic, and Term Rewriting, Häftad

Higher-Order Algebra, Logic, and Term Rewriting

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

AvGilles Dowek,Jan Heeringm. fl.

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Michael Hanus, Jan Heering, Karl Meinke - Algebraic and Logic Programming, Häftad

Algebraic and Logic Programming

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

AvMichael Hanus,Jan Heeringm. fl.

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Catuscia Palamidessi, Hugh Glaser, Karl Meinke - Principles of Declarative Programming, Häftad

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 Glaserm. fl.

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar