Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Software and systems modeling, 2021-10, Vol.20 (5), p.1553-1586
2021
Volltextzugriff (PDF)
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE), 2024, p.1-12
2024
Volltextzugriff (PDF)
Software and systems modeling, 2018-07, Vol.17 (3), p.753-777
2018
Volltextzugriff (PDF)
Acta informatica, 2020-04, Vol.57 (1-2), p.37-79
2020
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2023, p.13-18
2023
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.729-741
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-02, Vol.202 (Proc. SYNT 2015), p.58-72
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-11, Vol.260 (Proc. SYNT 2017), p.62-80
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-11, Vol.229 (Proc. SYNT 2016), p.35-54
2016
Volltextzugriff (PDF)
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, p.1016-1026
2019
Volltextzugriff (PDF)
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.320-321
2021
Volltextzugriff (PDF)
2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE), 2018, p.17-22
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-11, Vol.260, p.2-2
2017
Volltextzugriff (PDF)
Formal Methods, p.364-382
Volltextzugriff (PDF)
Proceedings of the Institution of Civil Engineers. Smart infrastructure and construction, 2023-12, Vol.176 (4), p.183-193
2023
Volltextzugriff (PDF)
Proceedings of the 14th international conference on Model driven engineering languages and systems, 2011, p.592-607
2011
Volltextzugriff (PDF)
Proceedings of the 36th International Conference on Software Engineering, 2014, p.95-105
2014
Volltextzugriff (PDF)
Proceedings of the 25th European conference on Object-oriented programming, 2011, p.230-254
2011
Volltextzugriff (PDF)
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015, p.96-106
2015
Volltextzugriff (PDF)
Formal Methods, p.163-181
Volltextzugriff (PDF)
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2015, p.1793-1798
2015
Volltextzugriff (PDF)
Journal of object technology, 2023, Vol.22 (2), p.2
2023
Volltextzugriff (PDF)
Computer Aided Verification, p.353-374
Volltextzugriff (PDF)
Model Driven Engineering Languages and Systems, p.592-607
Volltextzugriff (PDF)
Proceedings of the 14th international conference on Model driven engineering languages and systems, 2011, p.153-167
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software Engineering
- Synthesis
- Reactive Synthesis
- Class Diagram
- Semantics
- Specifications
- Component And Connector Models
- Computer Science, Artificial Intelligence
- Computer Science, Hardware & Architecture
- Software Engineering/programming And Operating Systems
- Theory Of Computation
- Computer Science, Information Systems
- Concrete
- Engineering
- Engineering, Electrical & Electronic
Kollektion
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Softwaretechnik-Trends
- Journal Of Object Technology
- Software And Systems Modeling
- Acta Informatica
- Communications Of The Acm
- Computer Science
- Proceedings Of The Institution Of Civil Engineers. Smart Infrastructure And Construction
- Sigplan Notices
Neu hinzugefügt