Service restrictions from February 12-22, 2026—more information on the University Library website
The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 294
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Resource Type
Subject
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
more ...
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
less ...
Published 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
more ...
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
less ...
Publisher
springer
21
acm
16
association for computing machinery (acm)
16
elsevier b.v.
10
kth, teoretisk datalogi, tcs
9
springer nature
8
more ...
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
less ...
Geography
Content Provider
BASE
102
OpenAIRE
67
OAIster
35
PASCAL Archive
18
Complementary Index
9
arXiv
8
more ...
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
less ...
Year of Publication
Filter