Intelligent Human Computer Interaction
28 mai 2025
Paperback
Preț: 770.70 lei 963.37 lei
Indisponibil temporar
-20%
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Editat de Hana Chockler et al.
22 iul 2018
Paperback
Preț: 359.94 lei 449.93 lei
6-8 săpt.
-20%
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editat de Luís Caires
6 apr 2019
Paperback
Preț: 372.45 lei 465.56 lei
6-8 săpt.
-20%
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editat de Flemming Nielson et al.
3 apr 2019
Paperback
Preț: 345.51 lei 431.89 lei
6-8 săpt.
-20%
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Editat de Isil Dillig et al.
13 iul 2019
Paperback
Preț: 360.08 lei 450.11 lei
6-8 săpt.
-20%
Multiple-Aspect Analysis of Semantic Trajectories: First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings
Editat de Konstantinos Tserpes et al.
4 ian 2020
Paperback
Preț: 339.96 lei 424.95 lei
6-8 săpt.
-20%
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Editat de Peter Müller
18 apr 2020
Paperback
Preț: 315.70 lei 394.62 lei
6-8 săpt.
-20%
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Editat de Jean Goubault-Larrecq et al.
18 apr 2020
Paperback
Preț: 361.67 lei
6-8 săpt.