Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 316
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Veröffentlicht in
formal syntax and semantics of java
11
arxiv
6
arxiv (usa)
6
computer networks
5
acm transactions on programming languages & systems
4
formal aspects of computing
4
mehr ...
software & systems modeling
4
ieee transactions on industrial informatics
3
journal of logical and algebraic methods in programming
3
aachener informatik-berichte, software-engineering
2
acm transactions on programming languages and systems
2
advanced materials research
2
electronic proceedings in theoretical computer science
2
ieee transactions on parallel & distributed systems
2
ieee transactions on software engineering
2
lecture notes in computer science
2
procedia computer science
2
technologies (2227-7080)
2
11th asia-pacific software engineering conference, software engineering conference, 2004. 11th asia-pacific, software engineering conference
1
11th ieee international conference on engineering of complex computer systems (iceccs'06)
1
11th ieee international conference on engineering of complex computer systems (iceccs'06), engineering of complex computer systems, 2006. iceccs 2006. 11th ieee international conference on, engineering of complex computer systems
1
12th ieee international conference on engineering complex computer systems (iceccs 2007), engineering complex computer systems, 2007. 12th ieee international conference on
1
16th ieee international workshop on rapid system prototyping (rsp'05), rapid system prototyping, 2005. (rsp 2005). the 16th ieee international workshop on, rapid system prototyping
1
2009 international symposium on information engineering and electronic commerce
1
2009 international symposium on information engineering and electronic commerce, information engineering and electronic commerce, 2009. ieec '09. international symposium on
1
2014 14th international conference on quality software
1
2014 14th international conference on quality software, quality software (qsic), 2014 14th international conference on
1
2014 ieee seventh international conference on software testing, verification and validation workshops
1
2014 ieee seventh international conference on software testing, verification and validation workshops, software testing, verification and validation workshops (icstw), 2014 ieee seventh international conference on
1
2014 software evolution week - ieee conference on software maintenance, reengineering, and reverse engineering (csmr-wcre), software maintenance, reengineering and reverse engineering (csmr-wcre), 2014 software evolution week - ieee conference on
1
weniger ...
Schlagwort
java
122
programming language semantics
49
formal specification
44
object-oriented programming
31
program compilers
29
software engineering
24
mehr ...
02 engineering and technology
23
0202 electrical engineering, electronic engineering, information engineering
23
computing and processing
23
specification languages
23
program verification
20
programming languages
20
computational linguistics
15
formal verification
15
grammars
15
program diagnostics
15
semantics
14
natural language processing
12
computer science
11
xml
11
01 natural sciences
10
communication, networking and broadcast technologies
10
unified modeling language
10
semantik
9
spezifikationssprache
9
theorem proving
9
0102 computer and information sciences
8
learning (artificial intelligence)
8
objektorientierte programmierung
8
process algebra
8
weniger ...
Verlag
ieee
41
acm
23
springer
10
springer international publishing
10
arxiv
9
elsevier b.v.
9
mehr ...
springer nature
9
ieee comput. soc.
8
springer berlin heidelberg
8
springer-verlag
8
wti-frankfurt-digital gmbh
8
ieee computer society
7
association for computing machinery
5
acm - association for computing machinery
4
kluwer academic publishers
4
springer verlag
4
association for computing machinery (acm)
2
aston university
2
ieee comput. soc
2
ieee computer society press
2
institute of electrical and electronics engineers (ieee)
2
leiden university
2
mdpi
2
open publishing association
2
shaker
2
springer us
2
swansea university
2
universita di pisa
2
university of oxford
2
university of southampton
2
weniger ...
Sprache
Category
computers / software development & engineering / general
3
computers / computer science
2
mathematics / general
2
technology & engineering / general
2
computers / general
1
computers / languages / c#
1
mehr ...
computers / languages / java
1
computers / programming / compilers
1
computers / programming languages / pascal
1
weniger ...
Treffer aus
Inspec
118
OpenAIRE
68
IEEE Xplore Digital Library
23
OAIster
23
TEMA
20
dblp computer science bibliography
11
mehr ...
Complementary Index
10
wiso
8
arXiv
7
British Library EThOS
6
Academic Search Index
5
eBook Index
4
MathSciNet via EBSCOhost
3
Business Source Premier
3
MLA International Bibliography
2
Directory of Open Access Journals
2
Supplemental Index
1
Scopus®
1
RePEc
1
weniger ...
Erscheinungsjahr
Filter