Showing
1 - 3
results of
3
for search '
"programming language"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Content Provider:
Cambridge University Press
Reset Filters
Show filters (1)
Content Provider:
Cambridge University Press
Search Results - Open Polar - "programming language"
Search Results
Showing
1 - 3
results of
3
for search '
"programming language"
'
, query time: 0.06s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Microcomputer-Based Image-Processing System
Get access
Get access
POPLMark reloaded: Mechanizing proofs by logical relations
Get access
Get access
A case study in programming coinductive proofs: Howe’s method
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Article in Journal/Newspaper
3
Author
MOMIGLIANO, ALBERTO
2
PIENTKA, BRIGITTE
2
ABEL, ANDREAS
1
ALLAIS, GUILLAUME
1
HAMEER, ALIYA
1
Hirai, Akira
1
Perovich, Donald K.
1
SCHÄFER, STEVEN
1
STARK, KATHRIN
1
THIBODEAU, DAVID
1
see all ...
Topic
Computer Science Applications
1
Earth-Surface Processes
1
Mathematics (miscellaneous)
1
Content Provider
Cambridge University Press
Geographic location
Lambda
1
Language
English
3
Open Polar Keyword
Beluga
2
Beluga*
2
Journal of Glaciology
1
Sea ice
1
see all ...
Loading...