Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 20
von 1.770
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
java
171
java (programmiersprache)
131
computer science
94
computing and processing
84
formale spezifikation
83
software engineering
81
mehr ...
computer science.
70
spezifikationssprache
66
software-engineering
61
software engineering.
59
java programming language
51
logic design.
49
formal methods
46
concurrency
45
formal verification
45
programming techniques
40
objektorientierte programmierung
39
logics and meanings of programs
38
static analysis
37
compiler
35
programming languages, compilers, interpreters
34
[info.info-se]computer science [cs]/software engineering [cs.se]
30
programmierungssprache
30
software-werkzeug
30
programmiersprache
29
programmverifikation
28
software-entwicklung
28
logics and meanings of programs.
27
mathematical logic and formal languages
27
testing
27
weniger ...
Veröffentlicht in
lecture notes in computer science
43
formal aspects of computing
19
science of computer programming
17
software & systems modeling
11
proceedings of the 11th international workshop on formal techniques for java-like programs
10
proceedings of the 11th international workshop: formal techniques for java-like programs
10
mehr ...
proceedings of the 18th workshop on formal techniques for java-like programs
10
proceedings of the 19th workshop on formal techniques for java-like programs
10
proceedings of the 23rd acm international workshop on formal techniques for java-like programs
10
proceedings of the 25th acm international workshop on formal techniques for java-like programs
10
international journal on software tools for technology transfer
9
proceedings of the 12th workshop on formal techniques for java-like programs
9
proceedings of the 12th workshop: formal techniques for java-like programs
9
proceedings of the 13th workshop on formal techniques for java-like programs
9
proceedings of the 13th workshop: formal techniques for java-like programs
9
acm transactions on programming languages & systems
8
proceedings of the 12th workshop on formal techniques for java-like programs ; page 1-7
8
ecoop, european conference on object-oriented programming, 29, ftfjp, workshop on formal techniques for java-like programs, 17
4
ecoop, european conference on object-oriented programming, 31, ftfjp, workshop on formal techniques for java-like programs, 19
4
electronic theses and dissertations
4
ieee transactions on computers
4
nalar: jurnal peradaban dan pemikiran islam
4
programming languages & systems (9783540297352)
4
second international symposium on leveraging applications of formal methods, verification and validation (isola 2006), leveraging applications of formal methods, verification and validation, 2006. isola 2006. second international symposium on
4
biblioteca digital de teses e dissertacoes da usp
3
iet software (wiley-blackwell)
3
information processing letters
3
information retrieval journal
3
journal of nonformal education
3
journal of universal computer science
3
weniger ...
Verlag
acm
162
ieee
89
springer
86
springer nature
84
association for computing machinery
50
wti-frankfurt-digital gmbh
43
mehr ...
acm - association for computing machinery
29
springer berlin heidelberg
26
ieee computer society press
23
elsevier b.v.
22
ieee operations center
17
wiley
11
ieee computer society
9
stars
8
wiley-blackwell
8
association for computing machinery, inc.
7
ciencia da computacao
7
kth, teoretisk datalogi, tcs
6
springer international publishing
6
br
5
universitas negeri semarang
5
alma mater studiorum - universita di bologna
4
brasil
4
open publishing association
4
biblioteca digitais de teses e dissertacoes da usp
3
national aviation university
3
stockholm
3
taylor & francis ltd
3
universidade de sao paulo
3
universitas negeri malang
3
weniger ...
Sprache
Geographie
Datenbank
BASE
764
TEMA
279
ACM Full-Text Collection
161
Complementary Index
93
IEEE Xplore Digital Library
86
Harvard Library Bibliographic Dataset
72
mehr ...
Networked Digital Library of Theses & Dissertations
52
Supplemental Index
44
wiso
43
Academic Search Index
29
GBV Online Contents
25
arXiv
19
MathSciNet via EBSCOhost
18
ScienceDirect
14
Directory of Open Access Journals
14
Gale Academic OneFile
14
eBook Index
12
Business Source Premier
11
Books at JSTOR
6
Science Citation Index Expanded
4
MEDLINE
2
SciTech Connect
2
JSTOR Journals
1
ERIC
1
Emerald Insight
1
SPORTDiscus
1
APA PsycInfo
1
Library, Information Science & Technology Abstracts
1
weniger ...
Erscheinungsjahr
Filter