Sortiert nach
2014
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 2
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-08, Vol.188 (Proc. WWV 2015), p.33-50
2015
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.388-410
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2020-11, Vol.116, p.100579, Article 100579
2020
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2019-01, Vol.45 (1), p.2-33
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-12, Vol.25 (5-6), p.747-764
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-01, Vol.123 (Proc. WWV 2013), p.3-18
2013
Volltextzugriff (PDF)
IEEE wireless communications, 2016-04, Vol.23 (2), p.86-92
2016
Volltextzugriff (PDF)
The Online journal of applied knowledge management, 2022-09, Vol.10 (2), p.1-22
2022
Volltextzugriff (PDF)
Journal of applied logic, 2012-03, Vol.10 (1), p.2-31
2012
Volltextzugriff (PDF)
Software, practice & experience, 2002-11, Vol.32 (14), p.1365-1394
2002
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.236-259
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.16-30
2010
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, p.340-363
2019
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.71-91
Volltextzugriff (PDF)
ACM transactions on autonomous and adaptive systems, 2014-07, Vol.9 (2), p.1-29
2014
Volltextzugriff (PDF)
Blockchain: Research and Applications, 2024-08, p.100226, Article 100226
2024
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.115-135
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.170-190
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, p.487-495
2019
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.437-454
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.45-70
Volltextzugriff (PDF)
Models, Languages, and Tools for Concurrent and Distributed Programming, p.428-434
Volltextzugriff (PDF)
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
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Operational Semantic
- Logic
- Science & Technology - Other Topics
- Formal Methods
- Networking And Internet Architecture
- Theoretical Computing
- Process Calculi
- Software
- Life Sciences & Biomedicine
- Parallel Composition
- Programming Languages
- Computer Science, Information Systems
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- IngentaConnect Journals
- Journals@Ovid Complete
- IEEE Xplore
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Taylor & Francis Journals Auto-Holdings Collection
- Wiley Online Library Journals Frontfile Complete
- Cambridge Journals Online (DEFF)
- Taylor & Francis:Master (3349 titles)
- BSC - Ebsco (Business Source Ultimate)
- Oxford Journals
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Science Of Computer Programming
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Information And Computation
- Applied Computing Review : A Publication Of The Special Interest Group On Applied Computing
- Applied Computing Review/acm Sigapp Applied Computing Review
- Asaio Journal
- Giornale Italiano Di Nefrologia
Neu hinzugefügt