The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 135
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
artificial intelligence
92
programming language
81
02 engineering and technology
80
fos: mathematics
80
mathematics
80
0202 electrical engineering, electronic engineering, information engineering
67
more ...
theoretical computer science
65
model checking
54
software
54
01 natural sciences
52
algorithm
51
0102 computer and information sciences
46
program analysis and verification techniques
41
engineering
40
fos: computer and information sciences
33
geometry
30
physics
29
7. clean energy
27
discrete mathematics
26
mathematical analysis
26
hardware and architecture
25
distributed computing
24
fos: philosophy, ethics and religion
24
philosophy
24
runtime verification
23
biology
21
logic programming and knowledge representation
21
model-driven engineering in software development
20
16. peace & justice
19
automated software testing techniques
19
less ...
Published in
electronic workshops in computing
11
clei electronic journal
5
ieee access
5
international journal of advanced computer science and applications
5
logical methods in computer science
4
international journal of electrical and computer engineering (ijece)
3
more ...
journal of automated reasoning
3
journal of the brazilian computer society
3
journal of logic and computation
2
journal of logical and algebraic methods in programming
2
2018 design, automation & test in europe conference & exhibition (date)
1
2023 38th annual acm/ieee symposium on logic in computer science (lics)
1
acta informatica
1
advances in mechanical engineering
1
applied computational intelligence and soft computing
1
arxiv: logic in computer science
1
blucher engineering proceedings
1
bmc genomics
1
ciencia digital
1
ciencia y poder aereo
1
complexity
1
computer and information science
1
decision science letters
1
e3s web of conferences
1
eai endorsed transactions on context-aware systems and applications
1
electronic proceedings in theoretical computer science
1
engineering, technology & applied science research
1
epj web of conferences
1
european transport research review
1
gecontec: revista internacional de gestion del conocimiento y la tecnologia
1
less ...
Publisher
springer international publishing
17
springer science and business media llc
14
bcs learning & development
11
openalex
9
wiley
7
elsevier bv
6
more ...
institute of electrical and electronics engineers (ieee)
6
centro latino americano de estudios en informatica
5
springer nature switzerland
5
the science and information organization
5
centre pour la communication scientifique directe (ccsd)
4
institute of advanced engineering and science
4
acm
3
edp sciences
3
ieee
3
oxford university press (oup)
3
hindawi limited
2
springer berlin heidelberg
2
african journals online (ajol)
1
arxiv
1
cambridge university press (cup)
1
canadian center of science and education
1
editora blucher
1
editorial ciencia digital
1
egyptian knowledge bank
1
engineering, technology & applied science research
1
escuela de postgrados de la fac
1
european alliance for innovation n.o.
1
gn1 sistemas e publicacoes ltd.
1
growing science
1
less ...
Language
Content Provider
Year of Publication
Filter