Recursos

• Protocols by Invariants
• Quantum Resource Theories
• The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
• Between the Spreadsheets
• Phase Transitions in Machine Learning
• Finite-State Techniques
• Computer Age Statistical Inference
• Modernising Legal Education
• Data Structures and Algorithms Using Visual Basic.NET
• The Value of Industrial Relations
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents
• Machine Vision
• Handbook of Augmented Reality Training Design Principles
• Computational Lexical Semantics
• Semantic Processing for Finite Domains
• Data Management
• The Elements of C++ Style
• Testing IT
• Mathematical Explorations with MATLAB
• The Mathematics of Finite Networks
• Security in the Cyber Age
• Computation and Complexity in Economic Behavior and Organization
• Crises at Work
• Combinatorics, Words and Symbolic Dynamics
• Metamathematics of First-Order Arithmetic
• Automated Planning and Acting
• Artificial Intelligence and Legal Analytics
• Statistical Inference for Spatial Processes
• Model-Based Clustering and Classification for Data Science
• Plasticity in Sensory Systems
• Hey Cyba
• Process Algebra
• Handbook of Practical Logic and Automated Reasoning
• Mathematical Logic through Python
• Computational Topology for Data Analysis
• Goal-based Reasoning for Argumentation
• Mathematical Analysis of Machine Learning Algorithms
• Finite Markov Chains and Algorithmic Applications
• Analytic Projective Geometry
• Bootstrap Methods and their Application
• Human-Robot Interaction
• Quantum Computing for Programmers
• Text Generation
• Session Types
• Numerical Methods of Statistics
• Computational Linguistics
• Axiomatic Domain Theory in Categories of Partial Maps
• Microcomputers and Mathematics
• The Description Logic Handbook
• Model-Based Software Testing and Analysis with C#