Research output per year
Research output per year
Search results
-
2021
Alan Turing’s Systems of Logic: THE PRINCETON THESIS
Appel, A. W., Jan 1 2021, Princeton University Press. 146 p.Research output: Book/Report › Book
-
Understanding the Digital World: What You Need to Know about Computers, the Internet, Privacy, and Security, Second Edition
Kernighan, B. W., Jan 1 2021, Princeton University Press. 283 p.Research output: Book/Report › Book
4 Scopus citations -
2018
MILLIONS BILLIONS ZILLIONS: DEFENDING YOURSELF IN A WORLD OF TOO MANY NUMBERS
Kernighan, B. W., Jan 1 2018, Princeton University Press. 160 p.Research output: Book/Report › Book
2 Scopus citations -
2014
Program logics for certified compilers
Appel, A. W., Dockins, R., Hobor, A., Beringer, L., Dodds, J., Stewart, G., Blazy, S. & Leroy, X., Jan 1 2014, Cambridge University Press. 451 p.Research output: Book/Report › Book
146 Scopus citations -
2009
Analytic combinatorics
Flajolet, P. & Sedgewick, R., Jan 1 2009, Cambridge University Press. 810 p.Research output: Book/Report › Book
2368 Scopus citations