Recursos

• Nominal Sets
• Program Logics for Certified Compilers
• Handshake Circuits
• On-Line Learning in Neural Networks
• Semantic Techniques in Quantum Computation
• A Practical Introduction to Denotational Semantics
• Kernel Methods for Pattern Analysis
• Scalable Monte Carlo for Bayesian Learning
• Analytic Combinatorics
• Fundamentals of Stream Processing
• Design, Measurement and Management of Large-Scale IP Networks
• Workplace Studies
• Computer Vision for Visual Effects
• Social Signal Processing
• Statics and Kinematics with Applications to Robotics
• Noise Sensitivity of Boolean Functions and Percolation
• Network Flow Algorithms
• Random Graphs and Networks: A First Course
• Principles of Cyber-Physical Systems
• Lawless
• Digital Disengagement
• Algorithm Design with Haskell
• Python for Linguists
• Free Choice Petri Nets
• Essentials of Programming in 'Mathematica'®
• Complexity: Knots, Colourings and Countings
• Digital Systems Engineering
• Two-Dimensional Information Theory and Coding
• Motion Deblurring
• First Steps in Modal Logic
• Introduction to Finite Fields and their Applications
• Similar Languages, Varieties, and Dialects
• Numerical Methods in Engineering with MATLAB®
• Wireless Internet Security
• Independent Component Analysis
• Mechanisms and Games for Dynamic Spectrum Allocation
• Introduction to Neuromorphic Computing
• Infinite Electrical Networks
• Predictive Statistics
• Introduction to Computational Genomics
• Numerical Methods in Engineering with Python
• Project Factorisations in Partial Evaluation
• Design Theory and Computer Science
• Modern Fortran
• Privacy-preserving Computing
• Next Generation Wireless LANs
• Modeling and Reasoning with Bayesian Networks
• High-Dimensional Statistics
• Quantum Computing for Computer Scientists
• Bounded Arithmetic, Propositional Logic and Complexity Theory