|
|
|
|
|
Grading Knowledge: Extracting Degree Information from Texts
If you are sitting in a basement room without a view — not to mention the
bars in front of the windows — and writing a book, then you better have
good company. I had the best company you could imagine. Waltraud Hiltl,
Katja Markert, Martin Romacker, Klemens Schnattinger, Andreas Klee and I
shared very little office... | | Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... | | Official Ubuntu Server Book, The (2nd Edition)
Ubuntu Server is a complete, free server operating system that just works, with the extra Ubuntu polish, innovation, and simplicity that administrators love.
Now, there’s a definitive, authoritative guide to getting up-and-running quickly with the newest, most powerful versions of Ubuntu Server. Written... |
|
|
|
|
Result Page: 21 20 19 18 17 16 15 14 13 12 11 10 |