Sortiert nach
1st Edition 2018, 2018
Link zum Volltext
Mathematical structures in computer science, 2016-03, Vol.26 (3), p.367-423
2016
Link zum Volltext
ACM computing surveys, 2016-07, Vol.49 (1), p.1-36
2016
Link zum Volltext
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-30
2021
Link zum Volltext
Theoretical computer science, 2010-12, Vol.411 (51), p.4399-4440
2010
Link zum Volltext
Information and computation, 2014-12, Vol.239, p.254-302
2014
Link zum Volltext
CONCUR 2010 - Concurrency Theory, p.222-236
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-30
2019
Link zum Volltext
Theoretical computer science, 2008-08, Vol.402 (2), p.120-141
2008
Link zum Volltext
Information and computation, 2003-11, Vol.186 (2), p.194-235
2003
Link zum Volltext
1, 2018
Link zum Volltext
Theoretical computer science, 2004-09, Vol.322 (3), p.517-565
2004
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.21-40
2018
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.74-95
2016
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.58-78
2018
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.181-195
2018
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.161-180
2018
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.1-20
2018
Link zum Volltext
Programming Languages and Systems, p.330-349
Link zum Volltext
Foundations of Software Science and Computation Structures, 2004, p.72-89
2004
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.121-140
2018
Link zum Volltext
Programming Languages and Systems, 2017, Vol.10201, p.229-259
2017
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.485-491
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Humans
- Label Transition System
- Networking And Internet Architecture
- Software
- Physical Sciences
- Programming Languages
- Theoretical Computing
- Animals
- Linear Logic
- Mathematics
- Operational Semantic
Kollektion
- Ebook Central Perpetual and DDA
- Springer Books
- IngentaConnect
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Springer Book Series
- IngentaConnect Journals
- ScienceDirect Journals (5 years ago - present)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- IEEE/IET Electronic Library (IEL)
- Nexis
- Journals@Ovid Full Text
- Nature Journals
- Publisher website
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Full Collection
- Worldwide Political Science Abstracts
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
Neu hinzugefügt