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...International journal on software tools for technology transfer, 2008-03, Vol.10 (2), p.185-203
2008
Volltextzugriff (PDF)
Current directions in biomedical engineering, 2023-09, Vol.9 (1), p.528-531
2023
Volltextzugriff (PDF)
Current directions in biomedical engineering, 2020-09, Vol.6 (1), p.22-25
2020
Volltextzugriff (PDF)
Current directions in biomedical engineering, 2021-08, Vol.7 (1), p.140-144
2021
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-12, Vol.24 (6), p.1043-1077
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-01, Vol.234 (Proc. WLP 2015/'16/WFLP'16), p.73-87
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.320, p.80-94
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.395, p.69-76
2023
Volltextzugriff (PDF)
Science of computer programming, 2018-06, Vol.158, p.41-63
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.93-105
2014
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.147-168
2024
Volltextzugriff (PDF)
Science of computer programming, 2018-06, Vol.158, p.81-99
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.16-29
2014
Volltextzugriff (PDF)
2009 edition., 2009
Volltextzugriff (PDF)
Science of computer programming, 2016-12, Vol.131, p.109-125
2016
Volltextzugriff (PDF)
Integrated Formal Methods, p.237-256
Volltextzugriff (PDF)
2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2021, p.1-5
2021
Volltextzugriff (PDF)
Software and systems modeling, 2017-02, Vol.16 (1), p.25-47
2017
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.59-69
Volltextzugriff (PDF)
Formal aspects of computing, 2016-04, Vol.28 (2), p.295-323
2016
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.193-210
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-12, Vol.169, p.2-2
2014
Volltextzugriff (PDF)
Formal aspects of computing, 2018-09, Vol.30 (5), p.545-569
2018
Volltextzugriff (PDF)
Science of computer programming, 2020-03, Vol.188, p.102378, Article 102378
2020
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Event-B
- Formal Methods
- Model Checking
- B-Method
- Logic Programming
- Software Engineering
- Theory Of Computation
- Animation
- Partial Evaluation
- Software Engineering/programming And Operating Systems
- Verification
- Validation
- Applied Sciences
- B Method
- Computer Science; Control Theory; Systems
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Ingenta.com
- ACM Digital Library
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Wiley-Blackwell Journals
- Wiley Online Library Full Collection 2018
- IEEE/IET Electronic Library (IEL)
- Cambridge Journals Online (DEFF)
- De Gruyter journals
- De Gruyter Open Access Books
- IngentaConnect Journals
- Wiley Online Library All Obooks
Zeitschrift / Serie
- Formal Aspects Of Computing
- Science Of Computer Programming
- International Journal On Software Tools For Technology Transfer
- Theory And Practice Of Logic Programming
- Electronic Proceedings In Theoretical Computer Science
- Acm Computing Surveys
- Current Directions In Biomedical Engineering
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Higher-Order And Symbolic Computation
Neu hinzugefügt