Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings Lecture Notes in Computer Science, nr. 14446 Editat de Erika Ábrahám et al. 23 noi 2023 Paperback Preț: 482.43 lei 603.04 lei 6-8 săpt. -20%
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Lecture Notes in Computer Science, nr. 14155 Editat de Hossein Hojjat et al. 30 aug 2023 Paperback Preț: 354.59 lei 443.24 lei 6-8 săpt. -20%
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings Lecture Notes in Computer Science, nr. 13479 Editat de Erika Ábrahám et al. 11 sep 2022 Paperback Preț: 338.49 lei 423.11 lei 6-8 săpt. -20%
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Lecture Notes in Computer Science, nr. 9681 Editat de Erika Ábrahám et al. 24 mai 2016 Paperback Preț: 544.34 lei 680.42 lei 6-8 săpt. -20%
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 9660 Editat de Erika Ábrahám et al. 13 mar 2016 Paperback Preț: 339.47 lei 424.34 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings Lecture Notes in Computer Science, nr. 8461 Editat de Erika Ábrahám et al. 21 mai 2014 Paperback Preț: 333.40 lei 416.75 lei 6-8 săpt. -20%