Minho - PDFSEARCH.IO - Document Search Engine

Minho
Results: 210

#	Item
61	Universidade do Minho Departamento de Matemática Matemática na Astronomia Trabalho de Projecto Add to Reading List Source URL: w3.math.uminho.pt Language: Portuguese - Date: 2007-05-31 12:01:48
62	Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:42 Logic Mathematical logic Mathematics Abstraction Model theory Relational model Alloy Z notation First-order logic Structure Finitary relation Relational
63	Rui Carlos A. Gonçalves Curriculum Vitae Personal Information Name Mobile Phone Personal E-Mail Add to Reading List Source URL: rcgoncalves.pt Language: English - Date: 2015-09-10 09:22:15 Software Computing Parallel computing Integrated development environments Cross-platform software Mathematical software Numerical software Eclipse Wolfram Mathematica University of Minho Architect Model-driven engineering
64	Universidade do Minho Escola de Engenharia Nuno Filipe Moreira Macedo A Relational Approach to Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-12-02 05:50:04
65	Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, and Alcino Cunha HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:24
66	Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011 Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:18
67	hotel minho * * * * SPA Hotel Minho Add to Reading List Source URL: hotelminho.com Language: English - Date: 2015-06-29 13:55:04 Sauna Human behavior Swimming pool Leisure Health Vila Nova de Cerveira Municipality Spa Bathing Finnish culture Rooms
68	ICEHO Bulletin 1 July 2014 Second World Congress of Environmental History, Guimarães, Portugal 8-12 July 2014 Add to Reading List Source URL: www.aeaeh.org Language: English - Date: 2014-07-21 00:59:03 University of Minho Earth Environmental social science Environmental history American Society for Environmental History
69	Universidade do Minho Reitoria despacho RT Add to Reading List Source URL: cp.eng.uminho.pt Language: Portuguese - Date: 2014-07-15 09:58:35
70	ESTUDO DA REABILITAÇÃO ESTRUTURAL DE UMA CAMADA DRENANTE TERESA DIAS AENOR – AUTO-ESTRADAS DO NORTE PAULO PEREIRA PROFESSOR CATEDRÁTICO, DEP. ENG. CIVIL DA UNIVERSIDADE DO MINHO Add to Reading List Source URL: www.crp.pt - Date: 2011-07-28 06:37:38

UPDATE