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...International journal on software tools for technology transfer, 2020-08, Vol.22 (4), p.477-496
2020
Volltextzugriff (PDF)
Autonomous agents and multi-agent systems, 2021, Vol.35 (2), p.47-47, Article 47
2021
Volltextzugriff (PDF)
Information and computation, 2019-10, Vol.268, p.104457, Article 104457
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-12, Vol.25 (5-6), p.765-784
2023
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, Vol.11665 LNCS, p.152-169
2019
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2019-12, Vol.109, p.100487, Article 100487
2019
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.1-20
2018
Volltextzugriff (PDF)
International Symposium on Leveraging Applications of Formal Methods, 2018
2018
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.1-18
2016
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2014, Vol.8663, p.21-41
2014
Volltextzugriff (PDF)
Science of computer programming, 2020-06, Vol.192 (June), p.102428, Article 102428
2020
Volltextzugriff (PDF)
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems, 2020, p.7-15
2020
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022
2022
Volltextzugriff (PDF)
2021 American Control Conference (ACC), 2021, p.4892-4899
2021
Volltextzugriff (PDF)
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, p.1840-1845
2015
Volltextzugriff (PDF)
Lecture Notes in Computer Science book series (LNCS,volume 13703), 2022, p.373-389
2022
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, p.539-553
2016
Volltextzugriff (PDF)
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, p.1518-1520
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2022, 2022, Vol.13572, p.42-59
2022
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, p.288-303
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Datavetenskap
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Semantics
- Agent Theories And Models
- Attribute-Based Communication
- Process Calculi
- Process Calculus
- Software Engineering
- Software Engineering/programming And Operating Systems
- Verification Of Multi-Agent Systems
- Attribute-Based Interaction
- Automation & Control Systems
- Collective-Adaptive Systems
- Computer Programming / Software Development
- Logic
- Logics For Agent Reasoning
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Springer Nature - Complete Springer Journals
- Free E-Journal (出版社公開部分のみ）
- IEEE Electronic Library Online
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Autonomous Agents And Multi-Agent Systems
- Information And Computation
- Journal Of Logical And Algebraic Methods In Programming
- Science Of Computer Programming
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming