Guide and Reference to the Amphibians of Eastern and Central North America (North of Mexico)
University Press of Florida
Häftad, 2006
342 kr
Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
AvAlessandro Cimatti,Marco Bernardo
E-bok
PDF, Engelska, 2006734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
