खोजी परिणाम
-
Internationalism, Imperialism and the Formation of the Contemporary World
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 geogra... थप
Language: ENGप्रतिलिपि अधिकार 2018 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis 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 Verifica... थप
Language: ENGप्रतिलिपि अधिकार 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis 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 Verifica... थप
Language: ENGप्रतिलिपि अधिकार 2020 -
Political Thought in Portugal and its Empire, c.1500–1800: Volume 1 (Cambridge Texts in the History of Political Thought)
Showcasing texts by Portuguese and Luso-Brazilian authors, this volume demonstrates the wealth of the political thought of early modern Portugal and its empire. Gathering together important texts on social order, government, and politics by authors who made a significant contribution to the developm... थप
Language: ENGप्रतिलिपि अधिकार 2021 -
Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11536)
by Jânio Monteiro • João M. Rodrigues • Valeria V. Krzhizhanovskaya • Roberto Lam • Michael H. Lees • Jack J. Dongarra • Pedro J. Cardoso • Peter M.A. SlootThe five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully revi... थप
Language: ENGप्रतिलिपि अधिकार 2019 -
Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11537)
by Jânio Monteiro • João M. Rodrigues • Valeria V. Krzhizhanovskaya • Roberto Lam • Michael H. Lees • Jack J. Dongarra • Pedro J. Cardoso • Peter M.A. SlootThe five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully revie... थप
Language: ENGप्रतिलिपि अधिकार 2019 -
Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV (Lecture Notes in Computer Science #11539)
by Jânio Monteiro • João M. Rodrigues • Valeria V. Krzhizhanovskaya • Roberto Lam • Michael H. Lees • Jack J. Dongarra • Pedro J. Cardoso • Peter M.A. SlootThe five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully revie... थप
Language: ENGप्रतिलिपि अधिकार 2019 -
Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V (Lecture Notes in Computer Science #11540)
by João M. F. Rodrigues • Jânio Monteiro • Valeria V. Krzhizhanovskaya • Pedro J. S. Cardoso • Roberto Lam • Michael H. Lees • Jack J. Dongarra • Peter M. A. SlootThe five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019. The total of 65 full papers and 168 workshop papers presented in this book set were carefully re... थप
Language: ENGप्रतिलिपि अधिकार 2019 -
Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11538)
by Jânio Monteiro • João M. Rodrigues • Valeria V. Krzhizhanovskaya • Roberto Lam • Michael H. Lees • Jack J. Dongarra • Pedro J. Cardoso • Peter M.A. SlootThe five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully revie... थप
Language: ENGप्रतिलिपि अधिकार 2019