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.624
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
java
155
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
42
programming techniques
40
formal verification
39
objektorientierte programmierung
39
concurrency
38
logics and meanings of programs
38
compiler
35
programming languages, compilers, interpreters
34
[info.info-se]computer science [cs]/software engineering [cs.se]
30
programmierungssprache
30
software-werkzeug
30
static analysis
30
programmiersprache
29
programmverifikation
28
software-entwicklung
28
logics and meanings of programs.
27
mathematical logic and formal languages
27
programming languages, compilers, interpreters.
26
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: formal techniques for java-like programs
10
international journal on software tools for technology transfer
9
mehr ...
proceedings of the 12th workshop: 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
proceedings of the 26th acm international workshop on formal techniques for java-like programs
8
departmental technical reports (cs
6
proceedings of the 13th workshop on formal techniques for java-like programs ; page 1-6
6
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
ecoop, european conference on object-oriented programming, 30, ftfjp, workshop on formal techniques for java-like programs, 18
3
ecoop, european conference on object-oriented programming, 33, ftfjp, workshop on formal techniques for java-like programs, 21
3
formal methods for open object-based distributed systems (9783540729198)
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
universidade de sao paulo
3
weniger ...
Verlag
acm
163
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
Complementary Index
93
IEEE Xplore Digital Library
86
Harvard Library Bibliographic Dataset
72
Networked Digital Library of Theses & Dissertations
52
mehr ...
Supplemental Index
44
wiso
43
Academic Search Index
29
GBV Online Contents
25
arXiv
19
MathSciNet via EBSCOhost
18
ACM Full-Text Collection
15
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
ERIC
1
APA PsycInfo
1
Library, Information Science & Technology Abstracts
1
Emerald Insight
1
SPORTDiscus
1
JSTOR Journals
1
weniger ...
Erscheinungsjahr
Filter