Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “javier camara”
Skip side bar filters

  • Software Architecture

    14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings

    Edited by Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L'Aquila, Italy*, in September 2020.The 30 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 72 submissions. Papers presented were accepted into the following tracks and workshops: ... Read more

    $115.99 CAD

  • Formal Aspects of Component Software

    19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

    Edited by Javier Cámara, Sung-Shik Jongmans ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and ... Read more

    $83.99 CAD

  • Institutional Change after the Great Recession

    European Growth Models at the Crossroads

    Edited by Luis Cárdenas del Rey, Javier de Arribas Cámara ...
    Series series Routledge Frontiers of Political Economy
    This book combines demand-led growth models and the institutionalist approach, in order to explain the macroeconomic performance of the main European countries in recent years followed by which a coherent explanation of the institutional change since the Great Recession, including the economic policy response to the economic and financial crisis (2008) and to the debt crisis (2010) is provided.A ... Read more

    $88.99 CAD

  • Software Engineering and Formal Methods

    SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

    Edited by Javier Camara, Martin Steffen ...
    Series series Springer Nature Proceedings Computer Science
    The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:CoSim-CPS 2019 – 3rd ... Read more

    $89.99 CAD

People who read these also enjoyed

  • Fundamental Approaches to Software Engineering

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Edited by Reiner Hähnle, Wil van der Aalst ...
    Series series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

    Free

  • Fundamental Approaches to Software Engineering

    26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

    Edited by Leen Lambers, Sebastián Uchitel ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions ... Read more

    Free

  • The Globalizers

    The IMF, the World Bank, and Their Borrowers

    by Ngaire Woods ...
    Series series Cornell Studies in Money
    The IMF and the World Bank have integrated a large number of countries into the world economy by requiring governments to open up to global trade, investment, and capital. They have not done this out of pure economic zeal. Politics and their own rules and habits explain much of why they have presented globalization as a solution to challenges they have faced in the world economy.—from the ... Read more

    $15.99 CAD

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

    Edited by Tomáš Vojnar, Lijun Zhang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Read more

    Free

  • Managing Development

    Globalization, Economic Restructuring and Social Policy

    Edited by Junji Nakagawa ...
    Series series Routledge Studies in Development Economics
    Globalization in the 1990s provided both opportunities and challenges for developing and transition economies. Though for some, it offered the chance to achieve economic growth through active involvement in the integrated and liberalized world economy, it also increased their vulnerability to external shocks and volatility.As a consequence, stakeholders at every level of the development and ... Read more

    Free

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

    Edited by Sriram Sankaranarayanan, Natasha Sharygina ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

    Free

  • The Welfare State Revisited

    Edited by José Antonio Ocampo, Joseph E. Stiglitz ...
    Series series Initiative for Policy Dialogue at Columbia: Challenges in Development and Globalization
    The welfare state has been under attack for decades, but now more than ever there is a need for strong social protection systems—the best tools we have to combat inequality, support social justice, and even improve economic performance. In this book, José Antonio Ocampo and Joseph E. Stiglitz bring together distinguished contributors to examine the global variations of social programs and make the ... Read more

    $90.99 CAD

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

    Edited by Shuvendu K. Lahiri, Chao Wang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

    Free