Sortiert nach
Discrete event dynamic systems, 2021-09, Vol.31 (3), p.317-348
2021
Volltextzugriff (PDF)
Theoretical computer science, 2012-11, Vol.458, p.1-28
2012
Volltextzugriff (PDF)
Computer journal, 2014-01, Vol.57 (1), p.73-92
2014
Volltextzugriff (PDF)
Theoretical computer science, 2011-06, Vol.412 (28), p.3045-3071
2011
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2024-02, Vol.69 (2), p.1-8
2024
Volltextzugriff (PDF)
SOFSEM 2015: Theory and Practice of Computer Science, Vol.8939, p.230-241
Volltextzugriff (PDF)
Information and computation, 2005-07, Vol.200 (1), p.107-147
2005
Volltextzugriff (PDF)
Automata, Languages and Programming, 2005, p.1214-1225
2005
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.856-873
Volltextzugriff (PDF)
EFFEMBAC, 2015, p.563-572
2015
Volltextzugriff (PDF)
CONCUR 2005 – Concurrency Theory, 2005, p.308-322
2005
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-02, Vol.18 (Proc. SOS 2009), p.92-107
2010
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.106-120
2010
Volltextzugriff (PDF)
Control engineering practice, 2021-07, Vol.112, p.104830, Article 104830
2021
Volltextzugriff (PDF)
Foundations of Software Science and Computational Structures, 2005, p.47-62
2005
Volltextzugriff (PDF)
Theoretical computer science, 2007-04, Vol.373 (3), p.238-272
2007
Volltextzugriff (PDF)
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006, p.333-344
2006
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-08, Vol.89
2012
Volltextzugriff (PDF)
Science of computer programming, 2012-07, Vol.77 (7-8), p.889-907
2012
Volltextzugriff (PDF)
SOFSEM 2011: Theory and Practice of Computer Science, p.494-505
Volltextzugriff (PDF)
15th IFAC Workshop on Discrete Event Systems, WODES 2020, Rio de Janeiro, Brazil, 2020, Vol.53 (4), p.356-362
2020
Volltextzugriff (PDF)
Information and computation, 2009, Vol.207 (2), p.85-119
2009
Volltextzugriff (PDF)
CONCUR 2008 - Concurrency Theory, 2008, p.447-461
2008
Volltextzugriff (PDF)
15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, Canada, 2019, Vol.2019-August, p.494-501
2019
Volltextzugriff (PDF)
ACM transactions on computational logic, 2012-01, Vol.13 (1), p.1-35
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Automation & Control Systems
- Supervisory Control
- Engineering
- Automata
- Engineering, Electrical & Electronic
- Computer Science, Software Engineering
- Structural Operational Semantics
- Applied Sciences
- Discrete-Event Systems
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Mathematics
- Semantics
- Synthesis
- Theoretical Computing
- Discrete Event Systems
Kollektion
- Ingenta
- IEEE Electronic Library (IEL)
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- eBooks on EBSCOhost
- IngentaConnect Journals
- MEDLINE
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Complete Springer Journals
- ScienceDirect eBooks
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis Current Content Access
- Wiley Online Library Journals Frontfile Complete
- Oxford University Press Journals Current
- Journals@Ovid Complete
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Ifac-Papersonline
- Theoretical Computer Science
- Discrete Event Dynamic Systems
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Ieee Transactions On Automatic Control
- Advanced Robotics
- Information And Computation
- Physics In Medicine & Biology
Neu hinzugefügt