Sampaio, Augusto books & textbook
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, ... Computer Science and General Issues)
Ribeiro, Pedro Sampaio, Augusto
Springer /2019-09-12 Paperback / 232 Pages
isbn-10: 303031037X / isbn-13: 9783030310370
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... (Lecture Notes in Computer Science, 3167)
Cavalcanti, Ana Sampaio, Augusto Woodcock, Jim
Springer /2006-09-27 Paperback / 407 Pages
isbn-10: 3540462538 / isbn-13: 9783540462538
Um Olhar Sobre Villa-Lobos
Marialbi Trisolio Maria Luiza Cameron Henrique Band Teco Cardoso Horacio Schaefer Marco Delestre Marcos Nimrichter Marcelo Martins Marcelo Rodolfo Maria Ang lica Cameron Guto Wirtti Soraya Mancini Landim Fokin Gerson Nonato De Sousa Milton Nascimento Mônica Salmaso Igor Carvalho C sar Augusto Miranda Camila Tamae Yasuda Sampaio Edú Lobo Adrian Viorel Petrutiu Philip Doyle Muiza Adnet Jorge Helder Pedro Paes Paulo Cesar Paschoal Paula Santoro Jurim Moreira Jurema de C ndia Liubov Klevtsova Francisco Ederson Antonia Adnet Aquiles Moraes Armando Mar al Andres Lepage Fernandes Pereira Lev Veksler Anderson Farinelli Leandro Dias Everson Moraes Alexandre Rosa Rodrigo Andrade da Silveira Vladimir Klementiev Ney Vasconcelos DeCarvalho Claudio Henrique D. Torezan Jennifer Campbell Vicente Nucci Joana Adnet Danilo Sinna Wilson Barretto De Menezes Sampaio Yuri Villar Yamandu Costa Davi Graton Mario Adnet Mario Adnet
Audio & Video Labs, Inc /2013-08-27 Audio CD
Cartoons do Ano 2015
António Antunes José Bandeira Rodrigo de Matos Carlos Brito André Carrilho Augusto Cid Cristina Sampaio Vasco Gargalo António Jorge Gonçalves Henrique Monteiro António Maia
Documenta /2016-03-01 Paperback / 128 Pages
isbn-10: 9898834102 / isbn-13: 9789898834102
An Algebraic Approach to Compiler Design
World Scientific Publishing Company /1997-01-15 Hardcover / 188 Pages
isbn-10: 9810223919 / isbn-13: 9789810223915
Cartoons do ano 2009 (Portuguese Edition)
António Antunes André Carrilho Augusto Cid Cristina Sampaio António Jorge Gonçalves António Maia
Assírio & Alvim /2010-02-01 Hardcover / 114 Pages
isbn-10: 9723714787 / isbn-13: 9789723714784
Para Viver Juntos. Geografia. 8º Ano
Fernando dos Santos Sampaio / Vagner Augusto da Silva
SM Didático / Paperback
isbn-10: 8576757478 / isbn-13: 9788576757474
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, ... (Lecture Notes in Computer Science, 6153)
Borba, Paulo Cavalcanti, Ana Sampaio, Augusto Woodcook, Jim
Springer /2010-07-30 Paperback / 322 Pages
isbn-10: 3642143342 / isbn-13: 9783642143342
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (Theoretical Computer Science and General Issues)
Springer /2016-09-22 Paperback / 496 Pages
isbn-10: 3319467492 / isbn-13: 9783319467498
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Lecture Notes in Computer Science)
Foster, Simon Sampaio, Augusto
Springer /2024-08-13 Paperback / 392 Pages
isbn-10: 3031671139 / isbn-13: 9783031671135
