Sortiert nach
International journal of food science & technology, 2023-05, Vol.58 (5), p.2489-2497
2023
Link zum Volltext
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Link zum Volltext
Theoretical computer science, 2022-01, Vol.897, p.83-113
2022
Link zum Volltext
Acta informatica, 2021-10, Vol.58 (5), p.529-569
2021
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.80-99
Link zum Volltext
Information and computation, 2020-12, Vol.275, p.104603, Article 104603
2020
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2020, p.131-152
2020
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2020, p.153-175
2020
Link zum Volltext
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.14-32
Link zum Volltext
Journal of logical and algebraic methods in programming, 2018-04, Vol.96, p.65-80
2018
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.1-14
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.15-34
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.95-119
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.273-285
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.35-76
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.121-167
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.227-272
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.77-94
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.169-225
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017
2017
Link zum Volltext
Scientific reports, 2016-10, Vol.6 (1), p.36016-36016, Article 36016
2016
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Label Transition System
- Exact Sciences And Technology
- Process Algebra
- Applied Sciences
- Operational Semantic
- Computer Science; Control Theory; Systems
- Software Engineering
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Theoretical Computing
- Computer Communication Networks
- Logics And Meanings Of Programs
- Mathematical Foundations
- Programming Languages, Compilers, Interpreters
- Computer Security
- Computer Networks
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- ACM Digital Library
- SpringerNature Journals
- IEEE Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Cambridge Journals Online (DEFF)
- Ovid Journals
- Wiley Online Library Journals Frontfile Complete
- Taylor & Francis Journals Complete
- MEDLINE
- ScienceDirect eBooks
- Wiley Online Library
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Journal Of Computer Security
- Information And Computation
- Acta Informatica
- Electronic Proceedings In Theoretical Computer Science
- Eurasip Journal On Advances In Signal Processing
- Mathematical Structures In Computer Science
- Acm Computing Surveys
- Acm Transactions On Computational Logic