Top 515 renato portugal auth PDF Book Page 22

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Brijesh Dongol, Luigia Petre, Graeme Smith

·253 Pages

·2019

·10.098 MB

Yutaka Abe (auth.), Thomas Lee (eds.) - Mathematical Computation with Maple V_ Ideas and Applications_ Proceedings of the Maple Summer Workshop and Symposium, University of Michigan, Ann Arbor, June 2

['Cordy Jourvel Itoua-Tsele']

·201 Pages

·2020

(Ebook) Biomolecular Simulations: Methods and Protocols by Mikael P. Johansson, Ville R. I. Kaila, Dage Sundholm (auth.), Luca Monticelli, Emppu Salonen (eds.) ISBN 9781627030168, 9781627030175, 1627030166, 1627030174 download pdf

['ohartenevjol']

·71 Pages

·2025

A Treatise on the Defence of Portugal, to which is added a sketch of the manners and customs of the inhabitants and principal events of the campaigns under Lord Wellington

William Granville Eliot

·392 Pages

·1811

·183.86 MB

Technological Innovation for Smart Systems: 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings

Luis M. Camarinha-Matos, Mafalda Parreira-Rocha, Javaneh Ramezani (eds.)

·485 Pages

·2017

·40.869 MB

Gamarra invisible : el principal emporio del país desde la perspectiva de sus trabajadores / Francisco Amézquita ... [et al.] ; entrevistados, Juan Chacaltana, Julio Gamero, Eduardo Zapata ; fotografías, Adrián Portugal ; Moisés K. Rojas, editor.

284 Pages

·5.95 MB

Technological Innovation for Cyber-Physical Systems: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, April 11-13, 2016, Proceedings

Luis M. Camarinha-Matos, António J. Falcão, Nazanin Vafaei, Shirin Najdi (eds.)

·556 Pages

·2016

·55.659 MB

(Lecture Notes in Applied Mechanics 6) Klaus Knothe, Karl Popp (Auth.), Professor Dr.-Ing Karl Popp, Professor Dr.-Ing Werner Schiehlen (Eds.) - System Dynamics and Long-Term Behaviour of Railway Vehi

['elfego buendia']

·502 Pages

·2024

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

·755 Pages

·2007

·8.6 MB

Web Intelligence Research and Development First Asia-Pacific Conference, WI 2001 Maebashi City, Japan, October 23–26, 2001 Proceedings by Y. Y. Yao, Ning Zhong, Jiming Liu, Setsuo Ohsuga (auth.), Ning (z-lib.org)

['EliasHigueraAcosta']

·630 Pages

·2022

Tensors in image processing and computer vision L. Cammoun, C.A. Castaño-Moraga, E. Muñoz-Moreno, D. Sosa-Cabrera, B. Acar (auth.), Assoc.Prof. Santiago Aja-Fernández, Assoc.Prof. Rodrigo de Luis García, Dr. Dacheng Tao, Dr. Xuelong Li (eds.)

by L. Cammoun

·978 Pages

·2009

·10.89 MB

…