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...Runtime Verification, p.307-322
Volltextzugriff (PDF)
Human-Computer Interaction. Recognition and Interaction Technologies, p.3-16
Volltextzugriff (PDF)
Runtime Verification, p.31-47
Volltextzugriff (PDF)
Automated Reasoning, p.330-345
Volltextzugriff (PDF)
Principles of Security and Trust, p.226-246
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.467-481
Volltextzugriff (PDF)
Document Analysis and Recognition – ICDAR 2021 Workshops, p.141-146
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.23-36
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Volltextzugriff (PDF)
Runtime Verification, p.59-75
Volltextzugriff (PDF)
Cross-Cultural Design. Methods, Tools and User Experience, p.440-457
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2015, p.165-183
Volltextzugriff (PDF)
Computers Helping People with Special Needs, p.168-175
- Papadopoulos, Konstantinos
- Charitakis, Konstantinos
- Kartasidou, Lefkothea
- Kouroupetroglou, Georgios
- Sakalli Gumus, Suad
- Stylianidis, Efstratios
- Stiefelhagen, Rainer
- Müller, Karin
- Yilmaz, Engin
- Jaworek, Gerhard
- Polimeras, Christos
- Sayin, Utku
- Oikonomidis, Nikolaos
- Lithoxopoulos, Nikolaos
- Penaz, Petr
- Miesenberger, Klaus
- Bühler, Christian
Volltextzugriff (PDF)
Programming Languages and Systems, p.80-94
Volltextzugriff (PDF)
Computer Aided Verification, p.306-320
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7180, p.406-419
2012
Volltextzugriff (PDF)
Haptics: Science, Technology, and Applications, p.623-635
Volltextzugriff (PDF)
Automated Deduction – CADE-23, p.131-146
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.285-294
Volltextzugriff (PDF)
Advances in Ergonomics in Design, p.48-56
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.419-433
Volltextzugriff (PDF)
Static Analysis, p.105-125
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.470-485
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.452-468
Volltextzugriff (PDF)
Artificial Neural Networks and Machine Learning – ICANN 2016, p.339-346
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Function Symbol
- Predicate Symbol
- Computer Science, Software Engineering
- Theoretical Computing
- Software
- Computer Science, Information Systems
- Artificial Intelligence
- Mathematics
- Physical Sciences
- Logic Program
- Input Symbol
- Mathematics, Applied
Kollektion
- SpringerLink Series
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- ACM Digital Library
- Lippincott E Journal Collection
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals
- Oxford Journals Current Collection
- MEDLINE
- JSTOR All Journals
- Wiley Online Library Full Collection 2018
- NUS Single-Journal Subscriptions
- SpringerLink
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Logic For Programming, Artificial Intelligence, And Reasoning
- Logic For Programming, Artificial Intelligence, And Reasoning, Proceedings
- Advances In Information Systems
- Advances In Information Systems, Proceedings
- Advances In Multimedia Information Processing - Pcm 2004
- Computational Science And Its Applications - Iccsa 2004, Pt 1
- Computational Science And Its Applications – Iccsa 2004
- Computing With New Resources
- Implementation And Application Of Automata