Showing 41 - 60 results of 710 for search '"programming languages"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "programming languages"

Search Results

Showing 41 - 60 results of 710 for search '"programming languages"', query time: 0.39s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 41
41

AWK and GNU Octave Programming Languages Integrated with Generic Mapping Tools for Geomorphological Analysis

by Lemenkova, Polina
Published in GeoScience Engineering (2019)
Subjects: “...programming language...”

Get access
Get access

Article in Journal/Newspaper
Select result number 42
42

AWK and GNU Octave Programming Languages Integrated with Generic Mapping Tools for Geomorphological Analysis

by Lemenkova, Polina
Published 2019
Subjects: “...programming language...”

Get access
Get access

Article in Journal/Newspaper
Select result number 43
43

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle

by El-Korashy, Akram, Tsampas, Stelios, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank
Published 2020
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Article in Journal/Newspaper
Select result number 44
44

Ownership guided C to Rust translation ...

by Zhang, Hanliang, David, Cristina, Yu, Yijun, Wang, Meng
Published 2023
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Article in Journal/Newspaper
Select result number 45
45

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

by Wonnacott, David G., Osera, Peter-Michael
Published 2019
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 46
46

Compiling a synchronous programming language into field programmable gate arrays

by Shen, Ying, 1964-
Published 1999
Subjects: “...Functional programming languages...”

Get access

Thesis
Select result number 47
47

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

by van Sinderen, Marten, Cordeiro, José
Published 2014
Subjects: “...Programming languages (Electronic computers)...”

Get access
Get access

Other/Unknown Material
Select result number 48
48

Fractal surfaces of synthetical DEM generated by GRASS GIS module r.surf.fractal from ETOPO1 raster grid

by Lemenkova, Polina
Published 2020
Subjects: “...80308 Programming Languages...”

Get access
Get access

Text
Select result number 49
49

Fractal surfaces of synthetical DEM generated by GRASS GIS module r.surf.fractal from ETOPO1 raster grid

by Lemenkova, Polina
Published 2020
Subjects: “...80308 Programming Languages...”

Get access
Get access

Text
Select result number 50
50

Proceedings First International Workshop on Process Algebra and Coordination

by Aceto, Luca, Mousavi, Mohammad Reza
Published 2011
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 51
51

The Weak Call-By-Value {\lambda}-Calculus is Reasonable for Both Time and Space

by Forster, Yannick, Kunze, Fabian, Roth, Marc
Published in Proceedings of the ACM on Programming Languages (2019)
Subjects: “...Computer Science - Programming Languages...”

Get access
Get access

Text
Select result number 52
52

Multi-level Contextual Type Theory

by Boespflug, Mathieu, Pientka, Brigitte
Published 2011
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 53
53

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus

by Xi, Hongwei, Ren, Zhiqiang, Wu, Hanwen, Blair, William
Published 2016
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Report
Select result number 54
54

Semi-Automation of Meta-Theoretic Proofs in Beluga ...

by Schwartzentruber, Johanna, Pientka, Brigitte
Published 2023
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 55
55

Recommender Systems for DevOps

by Maddila, C.S. (author)
Published 2022
Subjects: “...Programming Languages...”

Get access
Get access

Doctoral or Postdoctoral Thesis
Select result number 56
56

AWK and GNU Octave programming languages integrated with Generic Mapping Tools (GMT) for geomorphological analysis

by Lemenkova, Poline
Published 2019
Subjects: “...programming language...”

Get access

Article in Journal/Newspaper
Select result number 57
57

IMPLEMENTING Q. B. E.

by Afrati, F, Papadimitriou, C, Papageorgiou, G, Paschos, E
Published 1985
Subjects: “...COMPUTER PROGRAMMING LANGUAGES...”

Get access

Conference Object
Select result number 58
58

Contextual Refinement Types ...

by Gaulin, Antoine, Pientka, Brigitte
Published 2023
Subjects: “...Programming Languages cs.PL...”

Get access
Get access

Text
Select result number 59
59

Wikibooks: Programming Language Concepts Using C and C++/Object-Based Programming

“... of branchless trees. So what with programming languages? Programming languages like natural languages are meant...”

Get access

Book
Select result number 60
60

Wikibooks: Programming Language Concepts Using C and C++/Object-Based Programming

“... of branchless trees. So what with programming languages? Programming languages like natural languages are meant...”

Get access

Book