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...Theory and Practice of Model Transformations, p.66-81
Volltextzugriff (PDF)
Information and software technology, 2013-02, Vol.55 (2), p.357-364
2013
Volltextzugriff (PDF)
Formal aspects of computing, 2016-04, Vol.28 (2), p.181-206
2016
Volltextzugriff (PDF)
Information processing letters, 2022-11, Vol.178, p.106285, Article 106285
2022
Volltextzugriff (PDF)
Formal Methods for Web Services, p.42-88
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2013, p.182-196
2013
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.140-161
2006
Volltextzugriff (PDF)
Formal aspects of computing, 2010-01, Vol.22 (1), p.63-81
2010
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-03, Vol.205 (Proc. FESCA 2016), p.16-30
2016
Volltextzugriff (PDF)
The Journal of systems and software, 2024-06, Vol.212, p.112028, Article 112028
2024
Volltextzugriff (PDF)
Formal aspects of computing, 2008-03, Vol.20 (2), p.141-160
2008
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2005, p.390-404
2005
Volltextzugriff (PDF)
2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2020, p.617-621
2020
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, 2005, p.273-288
2005
Volltextzugriff (PDF)
2018 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2018, p.569-578
2018
Volltextzugriff (PDF)
IEEE transactions on services computing, 2012-01, Vol.5 (1), p.72-85
2012
Volltextzugriff (PDF)
Formal aspects of computing, 2010, Vol.22 (1), p.63-81
2010
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.81-95
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, p.121-138
Volltextzugriff (PDF)
Web Services and Formal Methods, p.116-130
Volltextzugriff (PDF)
Foundations of Health Information Engineering and Systems, p.170-187
Volltextzugriff (PDF)
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2023, p.87-88
2023
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.366-386
Volltextzugriff (PDF)
2009 Ninth International Conference on Application of Concurrency to System Design, 2009, p.109-118
2009
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, 2006, p.248-262
2006
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- Computer Science, Information Systems
- Mathematics
- Parallel Composition
- Refinement
- Semantics
- Analytical Models
- Domain Specific Language
- Life Sciences & Biomedicine
- Math Applications In Computer Science
- Mathematical Techniques
Kollektion
- Ingenta Connect
- Springer Book Series
- IEEE Electronic Library (IEL)
- EZB-FREE-00999 freely available EZB journals
- Access via ScienceDirect (Elsevier)
- EZB-NALI2-00462 Springer Archive NL
- Access via Wiley Online Library
- Access via ACM Digital Library
- SpringerNature Journals
- Access via Business Source (EBSCOhost)
- Wiley Online Library Full Collection 2018
- EZB-NALI5-00465 Elsevier Archive NL
- eBooks on EBSCOhost
- IngentaConnect Journals
- PAIS Index
- Ebook Central Perpetual and DDA
- MEDLINE
- ProQuest Dissertations & Theses A&I
- Journals@Ovid
- Single Journals
Zeitschrift / Serie
- Formal Aspects Of Computing
- Kyklos
- Agronomy
- Clinical Neurophysiology
- Clinical Pharmacology And Therapeutics
- Clinical Pharmacology And Therapeutics/clinical Pharmacology & Therapeutics
- Development And Change
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Ieee Transactions On Services Computing