Karl Meinke – författare
Visar alla böcker från författaren Karl Meinke. Handla med fri frakt och snabb leverans.
9 produkter
Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Häftad, 2022
550 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full papers together with 1 invited extended …
Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
E-bok, 2022
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended …
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
656 kr
Lägg i varukorg
Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can analyse large and continuously changing software …
Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Av Karl Meinke, Reiner Hahnle m. fl.
E-bok, 2018
813 kr
Lägg i varukorg
Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can analyse large and continuously changing software …
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
566 kr
Lägg i varukorg
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming …
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
566 kr
Lägg i varukorg
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially …
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
566 kr
Lägg i varukorg
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998.The 26 …
