Skip to main content
Search Button
United States 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 - 5 of 5 results for “pedro monteiro”
Skip side bar filters

  • Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

    Edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Read more

    $49.49 USD

  • Proceedings of the 2nd International Conference on Water Energy Food and Sustainability (ICoWEFS 2022)

    Edited by Paulo Sérgio Duque de Brito, João Rafael da Costa Sanches Galvão, Pedro Monteiro, Roberta Panizio, Luís Calado, Ana Carolina Assis, Filipe dos Santos Neves, Flávio Craveiro, Henrique de Amorim Almeida, Joel Oliveira Correia Vasco, Ricardo de Jesus Gomes, Sandra de Jesus Martins Mourato, Vânia Sofia Santos Ribeiro ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book publishes some papers presented at The International Conference on Water Energy Food and Sustainability (ICoWEFS 2023), a major forum to foster innovation and exchange knowledge in the water-energy-food nexus. The topics covered embrace the Sustainable Development Goals (SDGs) of the United Nations, including Future trends in Water Security, Smart Technologies in Sustainable Energy ... Read more

    $170.09 USD

  • The Internationalisation of the ‘Native Labour' Question in Portuguese Late Colonialism, 1945–1962

    by José Pedro Monteiro ...
    Series series History (R0)
    This volume addresses the ways the ‘native labour’ question in the Portuguese late colonial empire in Africa became a recurrent topic of international and transnational debate and regulation after the Second World War. As other European colonial empires were tentatively transforming their labour and social policies in the aftermath of the war, the Portuguese Empire in Africa resisted significant ... Read more

    $98.09 USD

  • Internationalism, Imperialism and the Formation of the Contemporary World

    The Pasts of the Present

    Edited by Miguel Bandeira Jerónimo, José Pedro Monteiro ...
    Series series History (R0)
    This volume offers innovative insights into and approaches to the multiple historical intersections between distinct modalities of internationalism and imperialism during the twentieth century, across a range of contexts. Bringing together scholars from diverse theoretical, methodological and geographical backgrounds, the book explores an array of fundamental actors, institutions and processes ... Read more

    $71.99 USD

  • Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

    Edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Read more

    $49.49 USD