Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 61 - 80
von 170
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
webassembly
46
rust
32
programming languages
20
wasm
12
02 engineering and technology
9
0202 electrical engineering, electronic engineering, information engineering
9
mehr ...
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
weniger ...
Veröffentlicht 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
mehr ...
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
weniger ...
Verlag
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
mehr ...
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
weniger ...
Sprache
Geographischer Bezug
Treffer aus
Erscheinungsjahr
Filter