Science, Computer & Technology Compilers (1314)
-
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Automatic Tuning of Compilers Using Machine Learning
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,50 € -
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,70 € -
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,60 € -
Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,40 € -
Programming with Scala: Language Exploration
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,60 € -
PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,70 € -
String Analysis for Software Verification and Security
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane120,10 € -
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,10 € -
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,00 € -
Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,10 € -
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Present and Ulterior Software Engineering
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane132,60 € -
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,00 € -
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,30 € -
Coordination, Organizations, Institutions, and Norms in Agent Systems XII: COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,10 € -
Model-Driven Engineering and Software Development: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,00 € -
Search Based Software Engineering: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,20 € -
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 €
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.
