Recursos

• Models and Computability
• Geometric Folding Algorithms
• Complex Networks
• Practical Formal Software Engineering
• Sets and Proofs
• Bayesian Time Series Models
• Methods for Computational Gene Prediction
• Introduction to Environmental Data Science
• The Cambridge Handbook of Generative AI and the Law
• Deep Learning for Biomedical Image Reconstruction
• Social Media as Social Science Data
• Modularity and Dynamics on Complex Networks
• Understanding Maple
• Analytic Information Theory
• Object Categorization
• Modeling Brain Function
• Constructibility
• Building Object Applications that Work
• The Cambridge Handbook of Lawyering in the Digital Age
• Handbook of Constructive Mathematics
• Workload Modeling for Computer Systems Performance Evaluation
• Human-Robot Interaction
• Employer Engagement
• Algebraic Statistics for Computational Biology
• Pure Inductive Logic
• Concentration of Measure for the Analysis of Randomized Algorithms
• Ethnography of an Interface
• Face-to-Face Communication over the Internet
• The Cambridge Handbook of Private Law and Artificial Intelligence
• Legal Design
• Formal Specification and Design
• Mathematical Logic and Computation
• Handbook of Artificial Intelligence and Robotic Process Automation
• Genomes, Browsers and Databases
• Social Media and the Automatic Production of Memory
• Interference Management in Wireless Networks
• Virtual Individuals, Virtual Groups
• Algebraic Set Theory
• Applications of Process Algebra
• Secure Communicating Systems
• Higher Order Logic and Hardware Verification
• Enumerative Combinatorics
• The Quest for Artificial Intelligence
• Object-Oriented Programming via Fortran 90/95
• An Introduction to Symbolic Dynamics and Coding
• Understanding Machine Learning
• Digital Logic Design
• Logical Foundations of Proof Complexity
• Memory Machines
• Syntax and Semantics of Petri Nets