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, 2020-06, Vol.22 (3), p.281-296
2020
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.297-311
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.310 (Proc. F-IDE 2019), p.63-69
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.284 (Proc. F-IDE 2018), p.37-52
2018
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2017-07, Vol.43 (7), p.615-640
2017
Volltextzugriff (PDF)
Software and systems modeling, 2016-07, Vol.15 (3), p.783-810
2016
Volltextzugriff (PDF)
F1000 research, 2015, Vol.4, p.181-181
2015
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.365-377
2024
Volltextzugriff (PDF)
Science of computer programming, 2022-08, Vol.220, p.102829, Article 102829
2022
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.861-904
2022
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.303-308
Volltextzugriff (PDF)
Software and systems modeling, 2015-02, Vol.14 (1), p.5-25
2015
Volltextzugriff (PDF)
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, p.7249-7254
2020
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.307-321
Volltextzugriff (PDF)
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.884-887
2018
Volltextzugriff (PDF)
Science of computer programming, 2021-11, Vol.211, p.102690, Article 102690
2021
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.303-320
Volltextzugriff (PDF)
Science of computer programming, 2011-06, Vol.76 (6), p.516-539
2011
Volltextzugriff (PDF)
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016, p.4491-4496
2016
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.288-303
Volltextzugriff (PDF)
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017, p.3855-3860
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-17
2018
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.212-219
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.254-261
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.805
2016
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Alloy
- Software Engineering
- Software
- Computer Science, Artificial Intelligence
- Model Checking
- Engineering
- Humans
- Life Sciences & Biomedicine
- Programming Languages
- Engineering, Electrical & Electronic
- Robotics
- Applied Sciences
- Compilers
- Computational Modeling
- Computer Science; Control Theory; Systems
Kollektion
- IngentaConnect
- Springer Book Series
- EZB Free E-Journals
- IEEE Electronic Library (IEL)
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Wiley-Blackwell Journals
- ProQuest Dissertations & Theses A&I
- Wiley Online Library Full Collection 2018
- Publisher or Other Site
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Science Of Computer Programming
- Acta Cirúrgica Brasileira
- Acta Reumatológica Portuguesa
- Brazilian Journal Of Health Review
- International Journal On Software Tools For Technology Transfer
- Software And Systems Modeling
- Clinical And Experimental Rheumatology
- Clinical Rheumatology
- Current Controlled Trials In Cardiovascular Medicine
Neu hinzugefügt