Recursos

• Beyond the Worst-Case Analysis of Algorithms
• Data, Systems, and Society
• Building Application Servers
• Nigeria's Digital Diaspora
• Algebraic Specification of Communication Protocols
• Bayesian Nonparametrics
• The Elements of MATLAB Style
• Machine Learning Evaluation
• The Design of Approximation Algorithms
• Handbook of Computational Social Choice
• Brain-Computer Interfacing
• A Computational Introduction to Number Theory and Algebra
• Graph Algorithms
• Introduction to Bisimulation and Coinduction
• Web Data Management
• Arithmetic Optimization Techniques for Hardware and Software Design
• Algorithms for Convex Optimization
• Complexity of Infinite-Domain Constraint Satisfaction
• The Cambridge Handbook of the Governance of Technology
• Games of No Chance 4
• Relational Mathematics
• Bandit Algorithms
• Epidemics and Rumours in Complex Networks
• Memory-Based Language Processing
• Smart Grid Technology
• From Semantics to Computer Science
• Digital Nets and Sequences
• Language and the Internet
• The Quantum Internet
• Computational Discrete Mathematics
• Creating a More Transparent Internet
• Unwired
• Programming with Higher-Order Logic
• General Recursion Theory
• Graph Theory and Additive Combinatorics
• Language, Cognition, and Computational Models
• Biological Sequence Analysis
• Mobile Computing Principles
• Topological Duality for Distributive Lattices
• Microprocessor Architecture
• Data-Driven Personalisation in Markets, Politics and Law
• Basic Proof Theory
• Move Slow and Upgrade
• Mathematical Foundations of Infinite-Dimensional Statistical Models
• The Muse Method for Usability Engineering
• Foundations of Computational Mathematics, Budapest 2011
• Annotation-Based Semantics for Space and Time in Language
• Measuring Computer Performance
• Higher Recursion Theory
• Non-Classical Problems in the Theory of Elastic Stability