Sortiert nach
Principles and Practice of Multi-Agent Systems, p.47-59
Link zum Volltext
Computer Aided Verification, 2013, Vol.LNCS 8044, p.1-35
2013
Link zum Volltext
Runtime Verification, p.307-322
Link zum Volltext
Distributed, Ambient and Pervasive Interactions, p.273-286
Link zum Volltext
Linguistische Berichte, 2023-02, Vol.2023 (273), p.43-65
2023
Link zum Volltext
Automated Deduction - CADE-25, p.419-433
Link zum Volltext
Evolutionary Multi-Criterion Optimization, p.491-503
Link zum Volltext
Unconventional Computation and Natural Computation, p.280-292
Link zum Volltext
Automated Reasoning, p.330-345
Link zum Volltext
Runtime Verification, p.31-47
Link zum Volltext
Principles of Security and Trust, p.226-246
Link zum Volltext
Automated Deduction - CADE-25, p.467-481
Link zum Volltext
Document Analysis and Recognition – ICDAR 2021 Workshops, p.141-146
Link zum Volltext
Formal Methods: Foundations and Applications, p.23-36
Link zum Volltext
Computer Aided Verification, p.17-34
Link zum Volltext
Selected Areas in Cryptography – SAC 2023, p.346-366
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Link zum Volltext
Plant breeding, 2023-08, Vol.142 (4), p.500-505
2023
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.113-129
Link zum Volltext
Logic, Language, and Computation, p.51-72
Link zum Volltext
Theoretical Aspects of Computing - ICTAC 2015, p.165-183
Link zum Volltext
Verified Software: Theories, Tools, Experiments, p.1-21
Link zum Volltext
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body, Motion and Behavior, p.320-342
Link zum Volltext
Computer Aided Verification, p.87-105
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.159-176
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Function Symbol
- Exact Sciences And Technology
- Applied Sciences
- Predicate Symbol
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Theoretical Computing
- Computer Science, Software Engineering
- Logic Program
- Artificial Intelligence
- Software
- Input Symbol
- Mathematics
- Computer Science, Information Systems
- Relation Symbol
- Physical Sciences
Kollektion
- SpringerLink Series
- IngentaConnect
- Springer Books
- IngentaConnect Journals
- JSTOR
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Complete Springer Journals
- Journals@Ovid Complete
- Oxford Journals
- Project MUSE - Single Title Subscriptions
- Project MUSE
- Project MUSE
- Electronic Journals Library
- Wiley Online Library Journals Frontfile Complete
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- Wiley Online Library Full Collection 2018
- NUS Single-Journal Subscriptions
- EBSCOhost Business Source Ultimate
- Factiva
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Bioscience
- Contemporary Literature
- Logic For Programming, Artificial Intelligence, And Reasoning
- Logic For Programming, Artificial Intelligence, And Reasoning, Proceedings
- Nexus Network Journal
- Advances In Experimental Medicine And Biology
- Advances In Information Systems
- Advances In Information Systems, Proceedings
- Advances In Multimedia Information Processing - Pcm 2004
Neu hinzugefügt