Natal - PDFSEARCH.IO - Document Search Engine

Natal
Results: 1435

#	Item
121	Summarizing and Measuring Development Activity Christoph Treude, Fernando Figueira Filho, Uirá Kulesza Departamento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte Natal, RN, Brazil Add to Reading List Source URL: ctreude.files.wordpress.com Language: English
122	Carta Geotécnica de Suscetibilidade e Risco Potencial a Movimentos de Massa e Inundações na Região Urbana do Município de Natal - RN Melquisedec Medeiros Moreira Ministério da Ciência, Tecnologia e Inovação – Add to Reading List Source URL: www.geopro.crn2.inpe.br Language: Portuguese - Date: 2015-09-18 07:16:38
123	KwaZulu-Natal Dept of Sports and Recreation selects Nashua as printing partner The challenges: Modernising dated devices Add to Reading List Source URL: www.nashua.co.za Language: English - Date: 2016-05-24 09:41:45
124	Tipologia textual: Crónica Texto vencedor do 12º ano Autora: Carolina Adame Acabaram há pouco tempo as férias do Natal. Add to Reading List Source URL: campodeflores.com Language: Portuguese - Date: 2016-03-15 06:10:49
125	Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil Add to Reading List Source URL: www.verit-solver.org Language: English - Date: 2015-06-10 09:33:21
126	veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2009-07-30 08:28:54
127	Quantier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil Add to Reading List Source URL: www.verit-solver.org Language: English - Date: 2015-06-10 09:33:21
128	Quantier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2011-07-11 06:21:04
129	Integration of SMT-Solvers in B and Event-B Development Environments David D´eharbe Universidade Federal do Rio Grande do Norte Departamento de Inform´atica e Matem´atica Aplicada Natal, RN, Brazil Add to Reading List Source URL: www.verit-solver.org Language: English - Date: 2015-06-10 09:33:21
130	Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil Add to Reading List Source URL: www.verit-solver.org Language: English - Date: 2015-06-10 09:33:21

UPDATE