Libri di Ganesh Gopalakrishnan
Tutti i risultati (4)
-
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane146,20 € -
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,90 € -
Computation Engineering: Applied Automata Theory and Logic
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane153,40 € -
Computation Engineering: Applied Automata Theory and Logic
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane148,40 €
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.
