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 40.686
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
software engineering
5.003
formale spezifikation
3.859
computing and processing
3.597
formal methods
3.381
software-engineering
3.163
[info.info-se]computer science [cs]/software engineering [cs.se]
2.759
mehr ...
spezifikationssprache
2.386
computer science
2.242
software
1.552
formale sprache
1.395
systementwurf
1.161
communication, networking and broadcast technologies
1.138
programmentwicklung
1.074
formal verification
1.054
model checking
1.051
verification
1.034
software-werkzeug
995
software-entwicklung
942
computer software
906
programmiersprache
838
rechnerunterstutzter schaltungsentwurf
783
objektorientierte programmierung
718
components, circuits, devices and systems
714
semantik
670
rechnerunterstuetzter schaltungsentwurf
632
hardware
618
systemanalyse
617
robotics and control systems
607
semantics
607
algorithmus
602
weniger ...
Veröffentlicht in
ieee transactions on software engineering
1.152
lecture notes in computer science
611
information and software technology
321
science of computer programming
210
international journal on software tools for technology transfer
201
ieee software
165
mehr ...
formal aspects of computing
158
software & systems modeling
131
communications of the acm
103
ieee transactions on computers
73
theoretical computer science
67
electronic notes in theoretical computer science
62
automated software engineering
58
ieee access
55
journal of systems architecture
50
formal methods in system design
47
microprocessors and microsystems
47
software and systems modeling
45
requirements engineering
39
ieee transactions on education
34
journal of universal computer science
34
control engineering practice
33
empirical software engineering
31
expert systems with applications
31
fundamenta informaticae
30
acm computing surveys
29
computer languages
29
information processing letters
29
journal of logical and algebraic methods in programming
29
acm transactions on programming languages & systems
28
weniger ...
Verlag
ieee
5.655
ccsd
2.510
springer nature
2.033
springer
1.792
wti-frankfurt-digital gmbh
1.691
springer international publishing
1.094
mehr ...
elsevier b.v.
1.090
springer berlin heidelberg
911
ieee computer society press
557
ieee comput. soc. press
517
acm
471
springer nature switzerland
365
association for computing machinery
356
elsevier
345
springer verlag
267
wiley-blackwell
231
springer-verlag
230
ieee computer society
194
springer, cham
169
wiley
151
ieee computer soc
150
taylor & francis ltd
129
springer heidelberg
103
mdpi
98
sage publications inc.
96
biomed central
63
mdpi ag
60
assoc computing machinery
59
springer us
53
ios press
46
weniger ...
Sprache
english
30.106
unknown
3.124
german
1.615
french
444
japanese
144
undetermined
143
mehr ...
chinese
115
portuguese
67
spanish; castilian
67
russian
48
ukrainian
46
spanish
26
persian
16
lithuanian
11
indonesian
6
polish
6
swedish
6
croatian
5
czech
5
romanian; moldavian; moldovan
5
serbian
5
turkish
4
finnish
3
greek, modern (1453-)
3
italian
3
arabic
2
bosnian
2
catalan; valencian
2
dutch; flemish
2
hungarian
2
weniger ...
Geographie
Datenbank
BASE
12.451
TEMA
10.261
IEEE Xplore Digital Library
3.865
Complementary Index
2.456
wiso
1.704
Academic Search Index
1.424
mehr ...
Supplemental Index
988
Science Citation Index Expanded
867
eBook Index
850
Business Source Premier
770
ScienceDirect
740
arXiv
699
ACM Full-Text Collection
647
Networked Digital Library of Theses & Dissertations
511
MathSciNet via EBSCOhost
478
Harvard Library Bibliographic Dataset
436
Gale Academic OneFile
354
Directory of Open Access Journals
267
GBV Online Contents
267
MEDLINE
188
APA PsycInfo
102
Emerald Insight
43
Books at JSTOR
37
ERIC
37
Library, Information Science & Technology Abstracts
34
Directory of Open Access Books
30
OAPEN Library
26
HathiTrust
21
SciTech Connect
18
SPORTDiscus
17
weniger ...
Erscheinungsjahr
Filter