Recursos

• Applied Algebra and Number Theory
• Concurrent Programming
• Text Processing and Document Manipulation
• Automated Agencies
• Open Heritage Data
• EMBOSS Developer's Guide
• Computability and Logic
• The Digital Prism
• Exponential Families in Theory and Practice
• Social Tagging for Linking Data Across Environments
• Finite Elements
• The Discrepancy Method
• Classical and Quantum Information Theory
• Research Methods for Human-Computer Interaction
• Noisy Information and Computational Complexity
• Introduction to Finite Element Vibration Analysis
• Phylogenetic Networks
• Non-Hausdorff Topology and Domain Theory
• Kernel Methods and Machine Learning
• Rotation Sequences and the Theory of Vectors and Coordinates
• Information Seeking in Electronic Environments
• 125 Problems in Text Algorithms
• Verification, Validation, and Uncertainty Quantification in Scientific Computing
• Secure Multiparty Computation and Secret Sharing
• The Legal Brain
• Metacognitive Artificial Intelligence
• Topics in Algorithmic Graph Theory
• Iterative Methods in Combinatorial Optimization
• Solving Polynomial Equation Systems II
• Data Lives
• Systematic Program Design
• Machine Learning Methods in the Environmental Sciences
• Calendrical Calculations
• Algorithmic Geometry
• Computational Approaches to the Network Science of Teams
• Theoretical Foundations of VLSI Design
• Practical Design Verification
• Abductive Inference
• Domains and Lambda-Calculi
• Genome-Scale Algorithm Design
• Exploring Malicious Hacker Communities
• Signal Design for Good Correlation
• Media and Radio Signal Processing for Mobile Communications
• Introduction to Online Control
• The Structure and Dynamics of Cities
• An Introduction to Many-Valued and Fuzzy Logic
• Algorithmic Number Theory
• The Foundations of Artificial Intelligence
• Codes, Cryptology and Curves with Computer Algebra
• The Finite Element Method with Heat Transfer and Fluid Mechanics Applications