Search results for “[Subject: educational-software]”

• Author(s): Gregory Berry • Publisher: Rowman & Littlefield Publishers • Publisher Imprint: Rowman & Littlefield Publishers • BISAC: Teaching - Subjects - Reading & PhonicsLiteracy for Learning: A Handbook of Teaching Strategies for ...

• Author(s): Edmund M. Jr Clarke • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceAn expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology tha...

• Author(s): Ricardo Jasinski • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Languages - GeneralA guide to applying software design principles and coding practices to VHDL to improve the readability, maintainability, and q...

• Author(s): Christel Baier • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceA comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and so...

• Author(s): Justin Jesty • Publisher: Cornell University Press • Publisher Imprint: Cornell University Press • BISAC: Asia - JapanJustin Jesty's Art and Engagement in Early Postwar Japan reframes the history of art and its politics in Japan post...

• Author(s): Thomas Gaiton Marullo • Publisher: Northern Illinois University Press • Publisher Imprint: Northern Illinois University Press • BISAC: Literary FiguresMore than a century after his death in 1881, Fyodor Dostoevsky continues to fascin...

• Author(s): David Reinfurt • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: History & CriticismThe career of the pioneering designer Muriel Cooper, whose work spanned media from printed book to software interface; generously il...