Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 16.059
Sie haben nicht gefunden, wonach Sie gesucht haben? Wenden Sie sich an Kontakt such_da.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
program verification
8.142
verification programme
4.967
exact sciences and technology
4.965
sciences exactes et technologie
4.965
applied sciences
4.647
sciences appliquees
4.647
mehr ...
informatique
4.642
verificacion programa
4.624
computer science
4.544
computer science; control theory; systems
4.480
informatique; automatique theorique; systemes
4.480
software
3.627
logiciel
3.435
software engineering
2.948
genie logiciel
2.206
computer program verification
1.857
programmverifikation
1.832
model checking
1.638
computer programming and software
1.615
informatique theorique
1.254
theoretical computing
1.249
verification modele
1.146
verificacion modelo
897
modelisation
839
modeling
827
modelizacion
825
software development
783
program analysis
761
static analysis
758
developpement logiciel
741
weniger ...
Veröffentlicht in
lecture notes in computer science
2.416
dtic and ntis
1.629
acm sigplan notices
259
ieee transactions on software engineering
240
acm transactions on programming languages and systems
237
theoretical computer science
106
mehr ...
journal of automated reasoning
97
communications of the acm
89
proceedings of the acm on programming languages
83
ieee software
76
science of computer programming
70
formal aspects of computing
65
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng.
54
electronic notes in theoretical computer science
49
international journal on software tools for technology transfer
46
information processing letters
45
information and software technology
40
information and computation
31
formal methods in system design
30
journal of logical and algebraic methods in programming
30
journal of the acm
29
acm computing surveys
25
computer languages
20
journal of symbolic computation
18
acm transactions on software engineering and methodology
17
acta informatica
16
journal of computer science and technology
15
journal of computer and system sciences
14
ieee access
11
international journal on software tools for technology transfer : sttt
10
weniger ...
Verlag
springer
3.034
acm
615
ccsd
534
hal ccsd
400
ieee
397
association for computing machinery
347
mehr ...
elsevier
320
schloss dagstuhl - leibniz-zentrum fur informatik
278
springer berlin heidelberg
237
ieee computer society
177
ieee computer society press
155
springer international publishing
153
ieee comput. soc. press
138
association for computing machinery (acm)
116
ieee operations center
111
elsevier bv
109
springer nature switzerland
104
assoc computing machinery
78
elsevier b.v.
77
acm press
73
springer-verlag
68
schloss dagstuhl - leibniz-zentrum fuer informatik
63
elsevier science bv
50
uppsala universitet, datorteknik
50
wiley
47
ieee computer soc
43
springer us
37
institute of electrical and electronics engineers (ieee)
35
springer netherlands
30
kluwer academic publishers
22
weniger ...
Sprache
Geographie
AuthorUniversity
Datenbank
PASCAL Archive
4.960
BASE
4.529
OAIster
2.059
TEMA
1.968
OpenAIRE
986
Science Citation Index Expanded
375
mehr ...
ACM Full-Text Collection
286
Springer Nature eBooks
245
IEEE Xplore Digital Library
233
Springer Nature Journals
132
ScienceDirect
122
GBV Online Contents
77
OpenDissertations
19
Directory of Open Access Journals
18
FRANCIS Archive
10
MEDLINE
7
Complementary Index
6
Business Source Elite
5
arXiv
4
Supplemental Index
4
Arts & Humanities Citation Index
3
Social Sciences Citation Index
3
wiso
2
Directory of Open Access Books
2
OAPEN Library
2
JSTOR Journals
1
Library, Information Science & Technology Abstracts
1
weniger ...
Erscheinungsjahr
Filter