Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 294
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
02 engineering and technology
31
software engineering
29
0202 electrical engineering, electronic engineering, information engineering
28
computer science
28
software
19
exact sciences and technology
18
mehr ...
sciences exactes et technologie
18
applied sciences
17
computer science; control theory; systems
17
informatique; automatique theorique; systemes
17
refinement
17
sciences appliquees
17
informatique
16
java language
15
langage java
15
lenguaje java
15
01 natural sciences
14
logiciel
14
methode raffinement
14
metodo afinamiento
14
refinement method
14
fos: computer and information sciences
10
java
10
java programming language
10
verification
10
concurrency
9
formal methods
9
0102 computer and information sciences
8
computer science - programming languages
8
ddc:004
8
weniger ...
Veröffentlicht in
lecture notes in computer science
10
acm sigplan notices
4
electronic notes in theoretical computer science
4
empowerment
4
computer physics communications
3
entcs: electronic notes in theoretical computer science
3
mehr ...
journal of applied crystallography
3
proceedings of the acm on programming languages
3
science of computer programming
3
scientific reports
3
acm transactions on computing education
2
acm transactions on programming languages and systems
2
automated software engineering
2
formal aspects of computing: applicable formal methods
2
international journal of web services research
2
iscience
2
jurnal pajar (pendidikan dan pengajaran); vol 3, no 6 (2019) ; 2614-1337 ; 2580-8435 ; 10.33578/pjr.v3i6
2
molecular vision
2
spectrochimica acta part a: molecular and biomolecular spectroscopy
2
the international journal of high performance computing applications
2
zeitschrift fur kristallographie - crystalline materials
2
acm transactions on programming languages and systems : acm toplas
1
arxiv
1
bioinformatics oxford england
1
computer aided verification (9783540374060)
1
contraception
1
discover mental health
1
drug design development and therapy
1
drug design, development and therapy
1
fm 2006: formal methods
1
weniger ...
Verlag
springer
21
acm
16
association for computing machinery (acm)
16
elsevier b.v.
10
kth, teoretisk datalogi, tcs
9
springer nature
8
mehr ...
association for computing machinery
6
ccsd
6
elsevier bv
6
institutionen for datavetenskap
6
kemisk fysik
6
stockholm
6
tekniska hogskolan
6
arxiv
5
ieee
5
escholarship, university of california
4
springer berlin heidelberg
4
stkip siliwangi
4
elsevier
3
massachusetts institute of technology
3
packt publishing
3
archive ouverte unige
2
hal ccsd
2
igi global, inc.
2
korea information processing society
2
oxford university press
2
program studi pendidikan guru sekolah dasar fkip universitas riau
2
springer science and business media llc
2
springer-verlag
2
universitas bumigora
2
weniger ...
Geographischer Bezug
Treffer aus
BASE
102
OpenAIRE
67
OAIster
35
PASCAL Archive
18
Complementary Index
9
arXiv
8
mehr ...
MEDLINE
8
ScienceDirect
6
Springer Nature Journals
6
Academic Search Index
5
Supplemental Index
4
GBV Online Contents
3
ERIC
3
Directory of Open Access Journals
2
wiso
2
OpenDissertations
2
HAL
2
De Gruyter Brill Online
1
BioOne Complete
1
APA PsycInfo
1
Business Source Premier
1
dblp computer science bibliography
1
Library, Information Science & Technology Abstracts
1
Education Research Complete
1
Science Citation Index Expanded
1
NASA Technical Reports
1
eScholarship
1
Europeana
1
RCAAP
1
weniger ...
Erscheinungsjahr
Filter