Showing
1 - 5
results of
5
for search '
Hierons, Robert
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Hierons, Robert
Showing
1 - 5
results of
5
for search '
Hierons, Robert
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Theoretical Aspects of Computing - ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings /
Published 2019
Other Authors:
“…
Hierons
,
Robert
Mark…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Testing of Communicating Systems 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. Proceedings /
Published 2004
Other Authors:
“…
Hierons
,
Robert
M.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
Published 2018
Other Authors:
“…
Hierons
,
Robert
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Published 2013
Other Authors:
“…
Hierons
,
Robert
M.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
Published 2008
Other Authors:
“…
Hierons
,
Robert
M.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer logic
Logics and Meanings of Programs
Software Engineering
Software engineering
Computer Science
Computer science
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Computer Communication Networks
Computer communication systems
Mathematical Logic and Formal Languages
Mathematical logic
Artificial Intelligence
Artificial intelligence
Computer Systems Organization and Communication Networks
Computer organization
Computer programming
Image Processing and Computer Vision
Machine Learning
Machine learning
Management information systems
Management of Computing and Information Systems
Optical data processing
Programming Techniques
Robotics
Software Engineering/Programming and Operating Systems
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών