*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 581
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*SubjectEDS*
conferences & conventions
23
software engineering
20
programming languages
18
computer science
17
algorithms
15
associations, institutions, etc.
14
*more* ...
model checking
14
computer software
13
computer programming
12
java programming language
12
logics and meanings of programs
11
mathematical logic and formal languages
10
semantics
10
software verification
10
technology
10
computer software development
9
artificial intelligence (incl. robotics)
8
embedded computer systems
7
programming languages, compilers, interpreters
7
systems design
7
ecology & evolutionary biology
6
electronic data processing
6
java
6
mathematics
6
asthma
5
automation
5
automobile industry
5
biological sciences
5
compilers (computer programs)
5
epilepsy
5
*less* ...
*Published in*
respirology
37
aplar journal of rheumatology
31
epilepsia (series 4)
17
software & systems modeling
16
acm transactions on programming languages & systems
14
international journal on software tools for technology transfer
10
*more* ...
federal register (national archives & records service, office of the federal register)
7
geophysical research abstracts
7
journal of automated reasoning
7
theory & practice of logic programming
7
african chiroptera report
6
aroq - just-auto
6
basic & clinical pharmacology & toxicology
6
influenza & other respiratory viruses
6
acm computing surveys
5
automated software engineering
4
fundamenta informaticae
4
ieee transactions on software engineering
4
international journal of web services research
2
international journal on semantic web and information systems
2
journal of biomedical semantics
2
journal of vascular research
2
lecture notes in computer science
2
web services research for emerging applications : discoveries and trends
2
acm transactions on database systems
1
britannica concise encyclopedia
1
burger's medicinal chemistry and drug discovery
1
burlesques
1
comprehensive medicinal chemistry ii
1
computer aided verification
1
*less* ...
*Publisher*
wiley-blackwell
151
springer nature
147
association for computing machinery
31
ieee
30
oxford university press / usa
15
sage publications / books
12
*more* ...
sage publications inc.
12
cambridge university press
10
igi global
9
princeton university press
7
the mit press
6
university of california press
6
elsevier, inc
4
anu e press
2
berghahn books
2
cornell university press
2
harvard university press
2
it governance publishing
2
john wiley & sons, inc
2
sheshunoff information services, inc.
2
springer
2
yale university press
2
amacom
1
american psychological association
1
association for computing machinery, inc.
1
biomed central ltd.
1
columbia university press
1
digital information research foundation
1
encyclopaedia britannica, inc
1
gale, cengage learning
1
*less* ...
*Language*
*Geography*
*CollectionLibrary*
*SourceEDS*
*adv_search_year*
*Filter*