Showing
1 - 20
results of
99
for search '
"programming languages"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Open Polar Keyword:
Iceland
Reset Filters
Show filters (1)
Open Polar Keyword:
Iceland
Search Results - Open Polar - "programming languages"
Search Results
Showing
1 - 20
results of
99
for search '
"programming languages"
'
, query time: 0.16s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Query-based Verification of Biochemical Oscillations through Probabilistic Model...
Get access
Get access
Proceedings First International Workshop on Process Algebra and Coordination
Get access
Get access
Perpetuality for full and safe composition (in a constructive setting)
Get access
Perpetuality for full and safe composition (in a constructive setting)
Get access
Perpetuality for full and safe composition (in a constructive setting)
Get access
On global types and multi-party sessions
Get access
Get access
Get access
Get access
On global types and multi-party sessions
Get access
Get access
Get access
Get access
On global types and multi-party sessions
Get access
Get access
Get access
Get access
A type checking algorithm for qualified session types
Get access
Get access
Get access
Get access
A type checking algorithm for qualified session types
Get access
Get access
Get access
Get access
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik...
Get access
Get access
Proceedings First International Workshop on Process Algebra and Coordination
Get access
Get access
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Ic...
Get access
Get access
Fair Subtyping for Multi-Party Session Types
Get access
Get access
Get access
Get access
Fair Subtyping for Multi-Party Session Types
Get access
Get access
Get access
Get access
Fair Subtyping for Multi-Party Session Types
Get access
Get access
Get access
Get access
Fair Subtyping for Multi-Party Session Types
Get access
Get access
Get access
Get access
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
Get access
Get access
Get access
Get access
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
Get access
Get access
Get access
Get access
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
3
4
5
Next
Last
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
51
Dataset
34
Text
6
Other/Unknown Material
3
Thesis
3
Master Thesis
1
Report
1
see all ...
Author
Basedow, Sünnje Linnéa
34
Pous, Damien
11
Biernacka, Małgorzata
7
Biernacki, Dariusz
7
Lenglet, Sergueï
7
Padovani, Luca
7
Polesiuk, Piotr
7
Schmitt, Alan
7
Cudennec, Loïc
6
Goubier, Thierry
6
Blain Levy, Paul
4
Dal Lago, Ugo
4
Gavazzo, Francesco
4
Hirschowitz, Tom
4
Aotani, Tomoyuki
3
Castagna, Giuseppe
3
Cohen, Albert
3
Consel, Charles
3
Dezani-Ciancaglini, Mariangiola
3
Do, Xuan Khanh
3
Doré, Philippe
3
Dubrulle, Paul
3
Flissi, Areski
3
Jakob, Henner
3
Kesner, Delia
3
Loriant, Nicolas
3
Louise, Stéphane
3
Masuhara, Hidehiko
3
Nielson, Flemming
3
Nielson, Hanne
3
see all ...
Topic
Abundance per volume
34
Biovolume per volume
34
Calculated
34
Chlorophyll total
34
DATE/TIME
34
Laser Optical Plankton Counter with CTD
34
Latitude of event
34
Longitude of event
34
MSM26
34
Maria S. Merian
34
Number
34
Salinity
34
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
29
Basin Scale Analysis
17
Basin Scale Analysis, Synthesis and Integration EURO-BASIN
17
DEPTH
17
DEPTH, water
17
EURO-BASIN
17
LOPC-CTD
17
LOPC-CTD-F (Laser Optical Plankton counter together with CTD and fluorescence sensor)
17
LOPC-CTD-F Laser Optical Plankton counter together with CTD and fluorescence sensor
17
North Atlantic
17
Synthesis and Integration
17
Temperature
17
Temperature, water
17
water
17
[INFO]Computer Science [cs]
13
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
11
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
10
Calculus
7
see all ...
Content Provider
DataCite Metadata Store (German National Library of Science and Technology)
18
PANGAEA - Data Publisher for Earth & Environmental Science
17
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
16
IFIP Open Digital Library (International Federation for Information Processing)
8
Université de Nantes: HAL-UNIV-NANTES
8
DIAL@USL-B (Université Saint-Louis, Bruxelles)
3
Defense Technical Information Center: DTIC Technical Reports database
3
Skemman (Iceland)
3
Université de Paris: Portail HAL
3
Archives ouvertes de Paris-Saclay
2
HAL-CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
2
ArXiv.org (Cornell University Library)
1
Archives ouvertes Hal IMT Atlantique
1
Edinburgh Research Archive (ERA - University of Edinburgh)
1
HAL Lyon 1 (University Claude Bernard Lyon 1)
1
HAL Université Côte d'Azur
1
INSA Rennes HAL (Institut National des Sciences Appliquées)
1
Portail HAL-ANR (Agence Nationale de la Recherche)
1
University of Trento: unitn.it eprints
1
Université Grenoble Alpes: HAL
1
Université Savoie Mont Blanc: HAL
1
Université de Lille 3 - Sciences Humaines et Sociales: HAL
1
Université de Lorraine: HAL
1
Université de Lyon: HAL
1
Université de Rennes 1: Publications scientifiques (HAL)
1
Unknown
1
École Polytechnique, Université Paris-Saclay: HAL
1
see all ...
Geographic location
Canada
37
Royce
34
Tive
7
Akureyri
1
Dais
1
Dalatangi
1
Faroe Islands
1
Greenland
1
Reykjavík
1
Stórhöfði
1
see all ...
Language
English
94
unknown
3
Icelandic
2
Open Polar Keyword
Iceland
North Atlantic
35
Labrador Sea
34
Akureyri
1
Faroe Islands
1
Greenland
1
Reykjavík
1
see all ...
Loading...