Karl Meinke – författare

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

7 produkter

1. 

   Tests and Proofs

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

   Av Laura Kovács, Karl Meinke

   Häftad, 2022

   709 kr

   Lägg i varukorg

2. 

   Machine Learning for Dynamic Software Analysis: Potentials and Limits

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

   Av Amel Bennaceur, Reiner Hähnle m. fl.

   Häftad, 2018

   839 kr

   Lägg i varukorg

3. 

   Higher-Order Algebra, Logic, and Term Rewriting

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

   Av Jan Heering, Karl Meinke m. fl.

   Häftad, 1994

   729 kr

   Lägg i varukorg

4. 

   Computer Science Logic

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

   Av Egon Börger, Yuri Gurevich m. fl.

   Häftad, 1994

   729 kr

   Lägg i varukorg

5. 

   Higher-Order Algebra, Logic, and Term Rewriting

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

   Av Gilles Dowek, Jan Heering m. fl.

   Häftad, 1996

   729 kr

   Lägg i varukorg

6. 

   Algebraic and Logic Programming

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

   Av Michael Hanus, Jan Heering m. fl.

   Häftad, 1997

   729 kr

   Lägg i varukorg

7. 

   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

   Av Catuscia Palamidessi, Hugh Glaser m. fl.

   Häftad, 1998

   729 kr

   Lägg i varukorg