Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 372.76 lei
6-8 săpt.
Cărți de Karl Meinke
Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Editat de Amel Bennaceur et al.
21 iul 2018
Paperback
Preț: 381.49 lei 476.86 lei
6-8 săpt.
-20%
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
Editat de Catuscia Palamidessi et al.
2 sep 1998
Paperback
Preț: 337.53 lei 421.92 lei
6-8 săpt.
-20%
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Editat de Michael Hanus et al.
20 aug 1997
Paperback
Preț: 337.53 lei 421.92 lei
6-8 săpt.
-20%
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Editat de Gilles Dowek et al.
8 mai 1996
Paperback
Preț: 327.15 lei 408.93 lei
6-8 săpt.
-20%
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Editat de Jan Heering et al.
28 iul 1994
Paperback
Preț: 330.07 lei 412.59 lei
6-8 săpt.
-20%
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Editat de Egon Börger et al.
20 iul 1994
Paperback
Preț: 329.89 lei 412.37 lei
6-8 săpt.
-20%