Libri di Jens Knoop
-
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | MathematicsDisponibilità in 2 settimane68,30 € -
Optimal Interprocedural Program Optimization: A New Framework and Its Application
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,10 € -
Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,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.