Familia. Los debates que no tuvimos

¿Cómo fortalecer la familia más allá de la divi...

Opium Poppy

«El amor no llora jamás como llora la sangre». ...

All About Maude - A High-Performance Logical Framework

Maude is a language and system based on rewriti...

Spacecraft Thermal Control

Thermal control systems are an essential elemen...

Foundations of Security, Protocols, and Equational Reasoning

Catherine A. Meadows has been a pioneer in deve...

Algebraic Methodology and Software Technology

This book constitutes the refereed proceedings ...

Specification, Algebra, and Software

This Festschrift volume, published in honor of ...

Learning, Policy Making, and Market Reforms

In the 1980s and 1990s, market reforms swept th...

Algebra, Meaning, and Computation

This volume - honoring the computer science pio...

Current Topics in Artificial Intelligence

Confesiones a Alá

¿Cómo sobrevivir en un mundo donde las mujeres ...

Concurrency, Graphs and Models

This Festschrift volume, pubished in honor of U...