Sortiert nach
1, 2013
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.63-78
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.79-94
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-03, Vol.206 (Proc. FMSPLE 2016), p.61-75
2016
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-04, Vol.182 (Proc. FMSPLE 2015), p.14-30
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-07, Vol.58 (Proc. FOCLASA 2011), p.65-79
2011
Link zum Volltext
Electronic proceedings in theoretical computer science, 2023-09, Vol.387, p.42-58
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.1-18
2011
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.20-38
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-09, Vol.67
2011
Link zum Volltext
Electronic proceedings in theoretical computer science, 2009-10, Vol.6
2009
Link zum Volltext
Electronic notes in theoretical computer science, 2013-03, Vol.293, p.1-2
2013
Link zum Volltext
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.98-115
2022
Link zum Volltext
Proceedings of the 18th International Software Product Line Conference - Volume 1, 2014, p.353-353
2014
Link zum Volltext
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014, p.31-37
2014
Link zum Volltext
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012, p.1510-1515
2012
Link zum Volltext
Proceedings of the 21st International Systems and Software Product Line Conference - Volume B, 2017, p.13-16
2017
Link zum Volltext
Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, 2014, p.78-85
2014
Link zum Volltext
Electronic notes in theoretical computer science, 2006-05, Vol.157 (3), p.27-41
2006
Link zum Volltext
Electronic notes in theoretical computer science, 2003-07, Vol.82 (1), p.57-75
2003
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Artificial Intelligence
- Computation By Abstract Devices
- Computational Biology/bioinformatics
- Simulation And Modeling
- Algorithm Analysis And Problem Complexity
- Bioinformatics
- Bisimulation
- Computers
- Electronic Brains
- Machine Theory
- Probability And Statistics In Computer Science
- Ai
- Artificial Thinking
- Automatic Computers
- Automatic Data Processors
- Bio-Informatics
Kollektion
Zeitschrift / Serie
Neu hinzugefügt