Details
Rating
sqqyqqh
Rating
Controls
Software Foundations
Software Foundations
  • Benjamin C. Pierce
0-
Masterminds of Programming
Masterminds of Programming
    3.67-
    Programming Languages
    Programming Languages
    • Allen B. Tucker Jr.
    • Robert E. Noonan
    0-
    Randomized Algorithms
    Randomized Algorithms
    • Rajeev Motwani
    • Prabhakar Raghavan
    0-
    Version Control By Example
    Version Control By Example
    • Eric Sink
    3-
    Pro Git
    Pro Git
    • Scott Chacon
    4.09-
    Convex Optimization
    Convex Optimization
    • Stephen Boyd
    • Stephen P. Boyd
    • Lieven Vandenberghe
    0-
    Communicating and Mobile Systems: The Pi-Calculus
    Communicating and Mobile Systems: The Pi-Calculus
    • Robin Milner
    0-
    The Inmates Are Running the Asylum
    The Inmates Are Running the Asylum
    • Alan Cooper
    4-
    Computers and Intractability
    Computers and Intractability
    • Michael R. Garey
    • David S. Johnson
    4-
    SQL and Relational Theory: How to Write Accurate SQL Code
    SQL and Relational Theory: How to Write Accurate SQL Code
    • C.J. Date
    4.5-
    Mathematics for 3D game programming and computer graphics
    Mathematics for 3D game programming and computer graphics
    • Eric Lengyel
    0-
    Mastering Regular Expressions
    Mastering Regular Expressions
    • Jeffrey E.F. Friedl
    4.3-
    Types and Programming Languages
    Types and Programming Languages
    • Benjamin C. Pierce
    4.25-
    Cover 3

    Crystal Clear

    Crystal Clear: A Human-Powered Methodology for Small Teams
    • Alistair Cockburn
    3-
    Semantics of Programming Languages: Structures and Techniques
    Semantics of Programming Languages: Structures and Techniques
    • Carl A. Gunter
    0-
    INFORMATION THEORY, INFERENCE, AND LEARNING ALGORITHMS.
    INFORMATION THEORY, INFERENCE, AND LEARNING ALGORITHMS.
    • David J.C. MacKay
    4.33-
    The Art of Scalability
    The Art of Scalability
    • Martin L. Abbott
    • Michael T. Fisher
    0-
    Programming Interactivity: A Designer's Guide to Processing, Arduino, and openFrameworks
    Programming Interactivity: A Designer's Guide to Processing, Arduino, and openFrameworks
    • Joshua Noble
    0-
    Why Programs Fail: A Guide to Systematic Debugging
    Why Programs Fail: A Guide to Systematic Debugging
    • Andreas Zeller
    1-
    How to Design Programs, second edition
    How to Design Programs, second edition
    • Matthias Felleisen
    • Robert Bruce Findler
    • Matthew Flatt
    • Shriram Krishnamurthi
    5-
    Term Rewriting and All That
    Term Rewriting and All That
    • Franz Baader
    • Tobias Nipkow
    0-
    Software Engineering
    Software Engineering
    • Ian Sommerville
    4-
    Security Engineering
    Security Engineering
    • Ross J. Anderson
    3.75-
    Probability and Computing: Randomized Algorithms and Probabilistic Analysis
    Probability and Computing: Randomized Algorithms and Probabilistic Analysis
    • Michael Mitzenmacher
    • Eli Upfal
    3-
    Cover 6

    Semantics Engineering with PLT Redex

    Semantics Engineering with PLT Redex
    • Matthias Felleisen
    • Robert Bruce Findler
    • Matthew Flatt
    0-
    Foundations for Programming Languages
    Foundations for Programming Languages
    • John C. Mitchell
    0-
    Formal Semantics of Programming Languages
    Formal Semantics of Programming Languages
    • Glynn Winskel
    5-
    Cover 1

    Programming Languages

    Programming Languages: Application and Interpretation
    • Shriram Krishnamurthi
    0-
    Modern Programming Languages: A Practical Introduction
    Modern Programming Languages: A Practical Introduction
    • Adam Webber
    4-
    Essentials of programming languages
    Essentials of programming languages
    • Daniel P. Friedman
    • Mitchell Wand
    • Christopher T. Haynes
    0-
    Principles of Program Analysis
    Principles of Program Analysis
    • Flemming Nielson
    • Hanne R. Nielson
    • Chris Hankin
    0-
    Linear Programming and Network Flows
    Linear Programming and Network Flows
    • Mokhtar S. Bazaraa
    • John Jarvis
    • Hanif D. Sherali
    0-
    Linux kernel development
    Linux kernel development
    • Robert Love
    0-
    Coders at Work
    Coders at Work
    • Peter Seibel
    3.69-
    Quantum Computation and Quantum Information
    Quantum Computation and Quantum Information
    • Michael A. Nielsen
    • Isaac L. Chuang
    0-
    An Introduction to Lambda Calculi for Computer Scientists
    An Introduction to Lambda Calculi for Computer Scientists
    • Chris Hankin
    0-
    Cover 8

    Computational Complexity

    Computational Complexity
    • Christos H. Papadimitriou
    0-
    Elements of Information Theory
    Elements of Information Theory
    • Thomas M. Cover
    • Joy A. Thomas
    4-
    Information Theory and Reliable Communication
    Information Theory and Reliable Communication
    • Robert G. Gallager
    0-