Top 385 porto editora PDF Book Page 13
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
·880 Pages
·2009
·35.097 MB
O porto e a cidade: o Rio de Janeiro entre 1565 e 1910
Cláudio Figueiredo, Maria Isabel Ribeiro Lenzi, Nubia Melhem Santos
·241 Pages
·99.699 MB
O imaginário da cidade: visões literárias do urbano - Paris, Rio de Janeiro, Porto Alegre
Sandra Pesavento
·400 Pages
·2002
·57.276 MB
Biomedical Engineering Systems and Technologies: International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
Maciej Ogorzałek, Grzegorz Surówka, Leszek Nowak, Christian Merkwirth (auth.), Ana Fred, Joaquim Filipe, Hugo Gamboa (eds.)
·415 Pages
·2010
·9.771 MB
The Non-Sleeping Universe: Proceedings of two conferences on: ‘Stars and the ISM’ held from 24–26 November 1997 and on: ‘From Galaxies to the Horizon’ held from 27–29 November, 1997 at the Centre for Astrophysics of the University of Porto, Portugal
Jørgen Christensen-Dalsgaard (auth.)
·379 Pages
·1999
·26.04 MB
Pouvoir ouvrier à Porto Marghera: Du comité d'usine à l'assemblée régionale (Vénétie, 1960-80)
Devi Sacchetto; Gianni Sbrogiò; Manuela Pellarin
·420 Pages
·2012
·6.635 MB
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Bor-Yuh Evan Chang
·484 Pages
·2019
·19.691 MB
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Bernd Finkbeiner, Leonardo Mariani
·424 Pages
·2019
·18.288 MB
Groupware: Design, Implementation, and Use: 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005. Proceedings
Gerry Stahl (auth.), Hugo Fukś, Stephan Lukosch, Ana Carolina Salgado (eds.)
·387 Pages
·2005
·6.812 MB
Traffic Management and Traffic Engineering for the Future Internet: First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers
Zlatka Avramova, Danny De Vleeschauwer, Kathleen Spaey, Sabine Wittevrongel (auth.), Rui Valadas, Paulo Salvador (eds.)
·240 Pages
·2009
·7.719 MB
Machine Learning: ECML 2005: 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings
Michael R. Berthold (auth.), João Gama, Rui Camacho, Pavel B. Brazdil, Alípio Mário Jorge, Luís Torgo (eds.)
·787 Pages
·2005
·13.507 MB
11th Conference on Waves and Stability in Continuous Media, Porto Ercole (Grosseto), Italy, 3-9 June 2001: WASCOM 2001: proceedings
Roberto Monaco,Miriam Pandolfi Bianchi,Salvatore Rionero
·615 Pages
·2002
·18.66 MB
A Revolução Portugueza: O 31 de Janeiro (Porto 1891) by Francisco Jorge de Abreu
Abreu, Francisco Jorge de, 1878-1932
·2009
·3.39 MB
Wireless Sensor Networks: 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings
Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar (eds.)
·319 Pages
·2015
·17.376 MB
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Pedro Ribeiro, Augusto Sampaio
·224 Pages
·2019
·7.514 MB
Genetic Programming: 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim (eds.)
·320 Pages
·2016
·17.38 MB
Combinatorial Image Analysis: 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings
Reneta P. Barneva, Valentin E. Brimkov, João Manuel R.S. Tavares
·246 Pages
·2018
·33.666 MB
Euro-Par 2014 Parallel Processing: 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings
Fernando Silva, Inês Dutra, Vítor Santos Costa (eds.)
·867 Pages
·2014
·30.503 MB
Exploring Services Science: 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
Henriqueta Nóvoa, Monica Drăgoicea (eds.)
·364 Pages
·2015
·31.305 MB
Image Analysis and Recognition: International Conference ICIAR 2004, Porto, Portugal, September 29- October 1, 2004, Proceedings, Part I
Andrei C. Jalba, Michael H. F. Wilkinson, Jos B. T. M. Roerdink (auth.), Aurélio Campilho, Mohamed Kamel (eds.)
·904 Pages
·2004
·27.867 MB
Advances in Bioinformatics and Computational Biology: 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009, Proceedings
Katia S. Guimarães, Anna Panchenko, Teresa Przytycka
·179 Pages
·2009
·2.882 MB
Smart Cities, Green Technologies, and Intelligent Transport Systems: 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers
Brian Donnellan, Cornel Klein, Markus Helfert, Oleg Gusikhin, António Pascoal
·363 Pages
·2019
·37.259 MB
Knowledge Discovery in Databases: PKDD 2005: 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal,
Alípio Jorge, Luís Torgo, Pavel Brazdil
·737 Pages
·2005
·14.776 MB
