Karl Meinke – författare

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

7 produkter

Kategorier

7 produkter

Del 13361
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
719 kr
Skickas inom 10-15 vardagar
Del 11026
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
859 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 Meinkem. fl.
Häftad, Engelska, 1994
739 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 Gurevichm. fl.
Häftad, Engelska, 1994
739 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 Heeringm. fl.
Häftad, Engelska, 1996
739 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 Heeringm. fl.
Häftad, Engelska, 1997
739 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 Glaserm. fl.
Häftad, Engelska, 1998
739 kr
Skickas inom 10-15 vardagar