Libri di Dirk Beyer
-
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane73,70 € -
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane61,90 € -
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2020Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane111,00 € -
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,70 € -
Markovian Demand Inventory Models
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2012Libri in Inglese | Business, Economics & LawDisponibilità in 2 settimane187,30 € -
Markovian Demand Inventory Models
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2009Libri in Inglese | Business, Economics & LawDisponibilità in 2 settimane157,30 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.