Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Computers and education, 2020-06, Vol.150, p.103838, Article 103838
2020
Volltextzugriff (PDF)
IEEE transactions on human-machine systems, 2017-12, Vol.47 (6), p.834-846
2017
Volltextzugriff (PDF)
Journal of biomedical informatics, 2015-02, Vol.53, p.330-341
2015
Volltextzugriff (PDF)
1. Aufl. 2018 edition., 2018
Volltextzugriff (PDF)
Behaviour & information technology, 2015-07, Vol.34 (7), p.725-740
2015
Volltextzugriff (PDF)
1. Aufl., 2007
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2015-06, Vol.11 (2), p.113-130
2015
Volltextzugriff (PDF)
Software Engineering in Health Care, 2017, Vol.9062, p.113-128
2017
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2015-06, Vol.11 (2), p.73-93
2015
Volltextzugriff (PDF)
Formal aspects of computing, 2007-11, Vol.19 (4), p.513-550
2007
Volltextzugriff (PDF)
Formal aspects of computing, 2014-09, Vol.26 (5), p.1033-1076
2014
Volltextzugriff (PDF)
Formal aspects of computing, 2009-12, Vol.21 (6), p.541-569, Article s00165-008-0102-7
2009
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2008-06, Vol.4 (2), p.123-123
2008
Volltextzugriff (PDF)
Computer Aided Verification, p.470-478
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.200-214
Volltextzugriff (PDF)
Software Engineering in Health Care, 2017, Vol.9062, p.214-221
2017
Volltextzugriff (PDF)
NASA Formal Methods, p.209-214
Volltextzugriff (PDF)
Informatics in Schools. Contributing to 21st Century Education, p.71-81
Volltextzugriff (PDF)
International journal of human-computer studies, 2004-02, Vol.60 (2), p.149-200
2004
Volltextzugriff (PDF)
Formal aspects of computing, 2009, Vol.21 (6)
2009
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2008-06, Vol.4 (2), p.143-160
2008
Volltextzugriff (PDF)
Interacting with computers, 2005-12, Vol.17 (6), p.660-671
2005
Volltextzugriff (PDF)
Integrated Formal Methods, 2004, p.461-480
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.34-41
2004
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Interdisciplinary Applications
- Computer Science, Theory & Methods
- Formal Verification
- Engineering
- Human Error
- Model Checking
- Software Engineering
- Computer Science, Cybernetics
- Computer Science, Information Systems
- Applied Sciences
- Computer Science, Hardware & Architecture
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Medical Devices
- Artificial Intelligence
- Ergonomics
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Journals - AutoHoldings
- ACM Digital Library Complete
- EZB Electronic Journals Library
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals Current Collection
- IngentaConnect Journals
- Journals@Ovid Full Text
- Taylor & Francis:Master (3349 titles)
- Business Source Ultimate
- MEDLINE
- Psychology and Behavioral Sciences Collection
- ProQuest Dissertations & Theses A&I
- Oxford Journals 2020 Humanities
Zeitschrift / Serie
- Formal Aspects Of Computing
- Innovations In Systems And Software Engineering
- Formal Methods In System Design
- Behaviour & Information Technology
- Computer Journal
- Computers And Education
- Computers And Education/computers & Education
- Ieee Transactions On Human-Machine Systems
- Interacting With Computers
- International Journal Of Human-Computer Studies