Sortiert nach
NASA Formal Methods, p.411-430
Link zum Volltext
ECOOP 2006 – Object-Oriented Programming, 2006, p.28-49
2006
Link zum Volltext
Formal Methods, p.571-583
Link zum Volltext
Proceedings of the 16th ACM SIGPLAN International Conference on generative programming: concepts and experiences, 2017, p.117-130
2017
Link zum Volltext
Experimental and Efficient Algorithms, 2004, p.383-398
2004
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.335-354
Link zum Volltext
Software Language Engineering, p.238-248
Link zum Volltext
Compiler Construction, p.104-123
Link zum Volltext
2013 22nd Australian Software Engineering Conference, 2013, p.181-190
2013
- Link zum Volltext
Computer Performance Evaluation: Modelling Techniques and Tools, 2002, Vol.2324, p.220-226
2002
Link zum Volltext
Field Programmable Logic and Application, 2004, p.364-373
2004
Link zum Volltext
Aspect-oriented software development: Proceedings of the 5th international conference on Aspect-oriented software development; 20-24 Mar. 2006, 2006, p.75-86
2006
Link zum Volltext
Integrated Formal Methods, p.69-84
Link zum Volltext
Engineering Trustworthy Software Systems, 2019, Vol.11430, p.1-37
2019
Link zum Volltext
SIGPLAN notices, 2017, Vol.52 (12), p.117-130
2017
Link zum Volltext
Objects, Models, Components, Patterns, p.61-78
Link zum Volltext
2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015, p.26-33
2015
Link zum Volltext
Runtime Verification, p.292-307
Link zum Volltext
Formal Techniques for Safety-Critical Systems, 2014, Vol.419, p.142-159
2014
Link zum Volltext
Proceedings of the 15th Workshop on formal techniques for java-like programs, 2013, p.1-7
2013
Link zum Volltext
Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, 2004, p.37-42
2004
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Economics
- Environmental Economics
- Sustainable Development
- Business & Economics
- Engineering
- Social Sciences
- Computer Science, Software Engineering
- Physical Sciences
- Valuation
- Archaeology
- Life Sciences & Biomedicine
- History Of The Americas
- Computer Science, Artificial Intelligence
- Environmental Sciences & Ecology
- Environmental Studies
- Water
Kollektion
- Taylor & Francis Online
- IngentaConnect Journals
- Taylor & Francis
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- Springer Books
- Jstor Complete Legacy
- IEEE/IET Electronic Library (IEL)
- ACM Digital Library【キャンパス外アクセス可】
- Wiley Online Library - AutoHoldings Journals
- EBSCOhost Business Source Ultimate
- Edward Elgar Books
- Wiley Online Library All Obooks
- Wiley Online Library Full Collection 2018
- PAIS Index
- De Gruyter eBooks
- Taylor & Francis eBooks A-Z
- EZB Electronic Journals Library
Zeitschrift / Serie
- International Journal Of Environmental Studies
- The Journal Of Imperial And Commonwealth History
- Australian Academic & Research Libraries
- Journal Of Environmental Planning And Management
- Social Work In Health Care
- The Economic Journal
- Third World Quarterly
- Communication Booknotes
- Development In Practice
- Development Policy Review