Computer Science

New books from university presses

Sort
by publisher Sort
by title Sort
randomly API CSV

(1) Knowledge Engineering and Management: The CommonKADS Methodology
by Guus Schreiber, Hans Akkermans, Anjo Anjewierden, Robert de Hoog, Nigel R. Shadbolt, Walter Van de Velde and B. J. Wielinga
ISBN: 9780262193009

MIT Press
View at publisher

(2) Model Checking
by Edmund M. Clarke Jr., Orna Grumberg and Doron Peleg
ISBN: 9780262032704

MIT Press
View at publisher

(3) Using MPI and Using MPI-2
by William Gropp, Ewing Lusk, Anthony Skjellum and Rajeev Thakur
ISBN: 9780262571340

MIT Press
View at publisher

« »