Search Results
Showing 1 - 20 results of 202 for search '"concrete"', query time: 0.40s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
Elfgren, Lennart
14
Täljsten, Björn
10
Blanksvärd, Thomas
9
Cousin, Agnès
9
Dehouck, Erwin
9
Forni, Olivier
9
Fraeman, Abigael
9
Frydenvang, Jens
9
Gasnault, Olivier
9
Johnson, Jeffrey
9
L'Haridon, Jonas
9
Le Deit, Laetitia
9
Le Mouélic, Stéphane
9
Mangold, Nicolas
9
Maurice, Sylvestre
9
Mclennan, Scott
9
Meslin, Pierre-Yves
9
Newsom, Horton E.
9
Rapin, William
9
Rivera-Hernandez, Frances
9
Salvatore, Mark
9
Schwenzer, Susanne
9
Wiens, Roger
9
Bruel, Jean-Michel
7
Combemale, Benoit
7
Ober, Ileana
7
Raynal, Hélène
7
Sas, Gabriel
7
Bagge, Niklas
6
Benzarti, Karim
6
see all ...
Infrastructure Engineering
19
Infrastrukturteknik
19
[SDU.STU.PL]Sciences of the Universe [physics]/Earth Sciences/Planetology
9
Domain-Specific Modeling Languages
7
Model-Driven Engineering
7
Scientific Computing
7
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
7
[INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]
7
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
7
[INFO]Computer Science [cs]
7
BARRE
6
BETON RENFORCE
6
Dependent types
6
Refiner
6
Subtyping
6
Type checker
6
Union types
6
2012 ACM Subject Classification Theory of computation → Lambda calculus
5
Theory of computation → Proof theory Keywords and phrases Intersection types
5
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
5
∆-Framework
5
Adaptation
4
Assessment
4
Cement
4
Context of use
4
Mineralogy
4
Model Driven Engineering
4
Natural and Accelerated Carbonation
4
Representativeness
4
User Interface
4
see all ...
Luleå University of Technology Publications (DiVA)
23
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
17
Université de Nantes: HAL-UNIV-NANTES
12
DataCite Metadata Store (German National Library of Science and Technology)
10
HAL Univ-Eiffel (Université Gustave Eiffel)
4
Zenodo
4
Alfred Wegener Institute for Polar- and Marine Research (AWI): ePIC (electronic Publication Information Center)
3
IEEE Publications (via Crossref)
3
IFIP Open Digital Library (International Federation for Information Processing)
3
IRIS Università degli Studi di Bologna (CRIS - Current Research Information System)
3
PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)
3
Technical University of Denmark: DTU Orbit
3
University of Tasmania: UTas ePrints
3
Ural Federal University (URFU): ELAR
3
Aalborg University's Research Portal
2
Digital.CSIC (Spanish National Research Council)
2
EconStor (German National Library of Economics, ZBW)
2
German Aerospace Center: elib - DLR electronic library
2
Henry - Hydraulic Engineering Repository
2
Norwegian Geotechnical Institute (NGI) Digital Archive
2
OATAO (Open Archive Toulouse Archive Ouverte - Université de Toulouse)
2
Padua Research Archive (IRIS - Università degli Studi di Padova)
2
Repositório Cientifico do LNEC (Laboratório Nacional de Engenharia Civil)
2
Royal Institute of Technology, Stockholm: KTHs Publication Database DiVA
2
Tomsk Polytechnic University (TPU): Electronic Archive
2
Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
2
University of Liège: ORBi (Open Repository and Bibliography)
2
Université Grenoble Alpes: HAL
2
Université Toulouse III - Paul Sabatier: HAL-UPS
2
Université de Paris: Portail HAL
2
see all ...
Arctic
25
Kiruna
11
Rubin
9
Yellowknife
9
Yellowknife Bay
9
Canada
6
Lambda
6
Norway
5
Agata
4
Bak
4
Antarctic
3
Greenland
3
Reykjavík
3
Sorpresa
3
Uis
3
Arctic Ocean
2
Esrange
2
Etna
2
Kalix
2
Narvik
2
Newfoundland
2
The Antarctic
2
Abisko
1
Antarctic Peninsula
1
Bianchi
1
Cape Crozier
1
Chechen
1
Cherry-Garrard
1
Chevalier
1
Colosseum
1
see all ...
Iceland
41
Arctic
40
Northern Sweden
12
Kiruna
11
Yellowknife
9
Luleå
8
Reykjavík
8
permafrost
8
Beluga
6
Beluga*
6
Alaska
5
Greenland
5
North Atlantic
5
Ocean acidification
5
Sea ice
5
sami
5
Antarc*
4
Climate change
4
narval
4
Antarctic
3
Islanda
3
Victoria Island
3
artiche
3
Саха
3
Якути*
3
Якутия
3
Arctic Ocean
2
ArcticNet
2
Canis lupus
2
DML
2
see all ...