The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 170
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
webassembly
46
rust
32
programming languages
20
wasm
12
02 engineering and technology
9
0202 electrical engineering, electronic engineering, information engineering
9
more ...
symbolic execution
9
c++
8
interpreter
7
javascript
7
node.js
7
computer sciences
6
cross-language
6
monad
6
multi-core
6
parallel
6
bug finding
5
c/c++
5
computer engineering
5
[info.info-pl]computer science [cs]
4
[info.info-pl]computer science [cs]/programming languages [cs.pl]
4
c
4
computer science - programming languages
4
data structures
4
datavetenskap (datalogi)
4
elektroteknik och elektronik
4
free open source software
4
isabelle/hol
4
library
4
open source software
4
less ...
Published in
bmc bioinformatics
6
plos one
4
the art
3
latia
2
latia, issn 3046-403x, no. 2, 2024 (ejemplar dedicado a: latia)
2
proceedings of the asee annual conference & exposition
2
more ...
14th ifip international conference on open source systems (oss)
1
2019 international conference on information and communication technologies for disaster management (ict-dm)
1
2020 ieee 13th international conference on cloud computing (cloud)
1
2024 asee annual conference & exposition proceedings
1
acm sigplan international conference on object oriented programming systems languages and applications, 2019, software for humanity, splash, acm international conference on systems, programming, languages, and applications, 2019
1
bmc bioinformatics ; volume 26, issue 1 ; issn 1471-2105
1
dissertations
1
economy informatics
1
electronics
1
electronics (2079-9292)
1
fm 2021 - formal methods
1
instname:universidad de los andes ; reponame:repositorio institucional seneca
1
international journal on computational science & applications
1
journal of systems & software
1
journal of systems and software
1
latia, issn 3046-403x, no. 2, 2024 (ejemplar dedicado a: latia
1
open source systems: enterprise software and solutions, oss, ifip wg 2.13 international conference on open source systems, 14
1
proceedings of the 21st international conference on security and cryptography
1
proceedings of the 27th international conference on evaluation and assessment in software engineering
1
proceedings of the acm on programming languages
1
the art, science, and engineering of programming
1
the journal of systems & software
1
less ...
Publisher
packt publishing
24
ccsd
9
blekinge tekniska hogskola, institutionen for datavetenskap
8
kth, programvaruteknik och datorsystem, scs
8
kth, skolan for elektroteknik och datavetenskap (eecs)
8
stockholm
7
more ...
hal ccsd
6
springer international publishing
5
aosa, inc.
4
biomed central
4
zenodo
4
acm
3
cold spring harbor laboratory
3
escholarship, university of california
3
pragmatic bookshelf
3
public library of science
3
stockholm : kth royal institute of technology
3
uppsala universitet, natverksbaserade inbyggda system
3
asee
2
association for computing machinery
2
association for computing machinery (acm)
2
ieee
2
journal of scientific and engineering research
2
latvijas universitate
2
mdpi ag
2
packt publishing limited
2
public library of science (plos)
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
st catharines
2
technological university dublin
2
less ...
Language
Geography
Content Provider
Year of Publication
Filter