Service restrictions from February 12-22, 2026—more information on the University Library website
The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 153
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
computer software
20
java program
18
java programming language
14
[info]computer science [cs]
10
02 engineering and technology
9
0202 electrical engineering, electronic engineering, information engineering
9
more ...
software
8
01 natural sciences
6
algorithms
6
benchmarking
6
c (programming language)
6
canada
6
competition
6
international competitions
6
monitoring
6
online monitoring
6
partial discharges
6
run-time verification
6
toronto
6
verification
6
abstract domains
5
automata theory
5
computer programs
5
forestry
5
integer programming
5
model checking
5
robots
5
software testing
5
statistic test
5
test case
5
less ...
Published in
issn: 1433-2779
4
science of computer programming
4
softwarex
4
computational ecology and software
3
international journal on software tools for technology transfer
3
journal of computational and applied mathematics
3
more ...
network biology
3
agricultural systems
2
electronic notes in theoretical computer science
2
transgenic research
2
2012 ieee fifth international conference on software testing, verification and validation
1
acm sigplan notices ; issn: 0362-1340
1
acm transactions on programming languages and systems
1
behavior research methods
1
behavior research methods & instrumentation
1
behavior research methods, instruments & computers
1
bmc bioinformatics
1
bulletin of kharkov national automobile and highway university
1
ciaa 2013 - 18th international conference on implementation and application of automata
1
computer physics communications
1
enterprise information systems
1
environmental progress & sustainable energy
1
ieee transactions on software engineering
1
information processing letters
1
international journal of innovations in engineering research and technology
1
international journal of innovations in engineering research and technology; 2018: nitet
1
international journal of intelligent systems and applications in engineering
1
journal of educational and behavioral statistics
1
journal of systems and software
1
proceedings of the 12th international conference on enterprise information systems
1
less ...
Publisher
vysoke uceni technicke v brne. fakulta elektrotechniky a komunikacnich technologii
15
novateur publication, india
9
ccsd
7
springer
7
elsevier bv
6
international academy of ecology and environmental sciences
6
more ...
springer verlag
6
elsevier b.v.
4
kth, skolan for elektroteknik och datavetenskap (eecs)
4
sveuciliste u zagrebu. fakultet elektrotehnike i racunarstva.
4
zenodo
4
elsevier
3
elsevier science bv
3
national aviation university
3
association for computing machinery
2
ceur workshop proceedings
2
hal ccsd
2
ieee computer society
2
springer berlin heidelberg
2
springer science and business media llc
2
technical university of nuremberg georg simon ohm
2
technische hochschule nurnberg georg simon ohm
2
the science and information (sai) organization
2
university of zagreb. faculty of electrical engineering and computing.
2
πανεπιστημιο πειραιωσ
2
amer educational research assoc
1
assoc computing machinery
1
association for computing machinery (acm)
1
country:che
1
country:usa
1
less ...
Language
Geography
Content Provider
Year of Publication
Filter