Sortiert nach
Theoretical computer science, 2017-03, Vol.669, p.33-58
2017
Link zum Volltext
Formal aspects of computing, 2017-09, Vol.29 (5), p.877-910
2017
Link zum Volltext
2020
Link zum Volltext
Link zum Volltext
Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Link zum Volltext
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Link zum Volltext
Formal Techniques for Distributed Systems, p.50-65
Link zum Volltext
Electronic proceedings in theoretical computer science, 2021-10, Vol.347
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-08, Vol.162 (Proc. BEAT 2014), p.19-26
2014
Link zum Volltext
1st ed. 2020., 2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-12, Vol.137 (Proc. PLACES 2013), p.53-62
2013
Link zum Volltext
Formal aspects of computing, 2011-07, Vol.23 (4), p.433-463
2011
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-07, Vol.59 (Proc. ICE 2011), p.111-129
2011
Link zum Volltext
Logical methods in computer science, 2020-09, Vol.16, Issue 3
2020
Link zum Volltext
Mathematical structures in computer science, 2015-03, Vol.25 (3), p.619-665
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-01, Vol.16 (Proc. FAVO 2009), p.26-40
2010
Link zum Volltext
Coordination Models and Languages, p.214-231
Link zum Volltext
Journal of logical and algebraic methods in programming, 2019-12, Vol.109, p.100488, Article 100488
2019
Link zum Volltext
Coordination Models and Languages, p.140-158
Link zum Volltext
CONCUR 2010 - Concurrency Theory, p.162-176
Link zum Volltext
Electronic proceedings in theoretical computer science, 2018-10, Vol.279
2018
Link zum Volltext
Service oriented computing and applications, 2015-09, Vol.9 (3-4), p.213-227
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-11, Vol.261
2017
Link zum Volltext
CONCUR 2014 – Concurrency Theory, p.419-434
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Humans
- Neurosciences & Neurology
- Computer Science, Software Engineering
- Male
- Neurosciences
- Female
- Adult
- Memory
- Navigation Behavior
- Psychology
- Social Sciences
- Cognitive Ability
- Science & Technology - Other Topics
- Applied Sciences
- Biomedical And Life Sciences
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Springer Books
- SpringerLink Series
- MEDLINE
- Journals@Ovid Complete
- IngentaConnect Journals
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Single Journals
- ACM Digital Library (Association for Computing Machinery)
- Wiley Online Library Journals Frontfile Complete
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis E-Journals
- Nature Journals
- SAGE Complete
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Experimental Brain Research
- Brain Sciences
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Electronic Notes In Theoretical Computer Science
- Logical Methods In Computer Science
- Revista Foco
- Applied Neuropsychology. Child
- Blood
Neu hinzugefügt