j meseguer

Grid   List

  1. Learning, Policy Making, and Market Reforms
    Learning, Policy Making, and Market Reforms
    Covadonga Meseguer
    Cambridge University Press
    Ebook
    Sofort lieferbar
    In the 1980s and 1990s, market reforms swept the world. It is widely believed that the reformist wave can be partly explained in terms of the lessons learned from policy failures of the past. Where...
    23,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Formal Modeling: Actors; Open Systems, Biological Systems
    Formal Modeling: Actors; Open Systems, Biological Systems
    Gul Agha
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Familia. Los debates que no tuvimos
    Familia. Los debates que no tuvimos
    Benigno Blanco Rodríguez
    Ediciones Encuentro
    Ebook
    Sofort lieferbar
    ¿Cómo fortalecer la familia más allá de la división izquierda-derecha? ¿Es posible una nueva cultura de la vida que compagine la defensa del no nacido y el apoyo solidario a las mujeres embarazadas...
    9,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Confesiones a Alá
    Confesiones a Alá
    Saphia Azzerddine
    Editorial Demipage
    Ebook
    Sofort lieferbar
    ¿Cómo sobrevivir en un mundo donde las mujeres no tienen ningun estatus?Jbara vive en las montañas del Magreb, entre sus padres, sus cinco hermanos y su rebaño. La pequeña y pobre pastora, reduc...
    6,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Opium Poppy
    Opium Poppy
    Hubert Haddad
    Editorial Demipage
    Ebook
    Sofort lieferbar
    «El amor no llora jamás como llora la sangre». En esta certidumbre se basa la novela de Hubert Haddad, un relato trágico, realista y contundente a la vez En el corazón de un Afganistán desgarrado, ...
    6,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Spacecraft Thermal Control
    Spacecraft Thermal Control
    J. Meseguer
    Elsevier Science & Techn.
    Ebook
    Sofort lieferbar
    Thermal control systems are an essential element of spacecraft design, ensuring that all parts of the spacecraft remain within acceptable temperature ranges at all times. Spacecraft thermal control...
    205,00 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Foundations of Security, Protocols, and Equational Reasoning
    Foundations of Security, Protocols, and Equational Reasoning
    Joshua D. Guttman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniq...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Concurrency, Graphs and Models
    Concurrency, Graphs and Models
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, w...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. All About Maude - A High-Performance Logical Framework
    All About Maude - A High-Performance Logical Framework
    Manuel Clavel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Current Topics in Artificial Intelligence
    Current Topics in Artificial Intelligence
    Pedro Meseguer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Current Topics in Artificial Intelligence
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Algebraic Methodology and Software Technology
    Algebraic Methodology and Software Technology
    José Meseguer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Specification, Algebra, and Software
    Specification, Algebra, and Software
    Shusaku Iida
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futats...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
<%--for search--%>