Sortiert nach
Frontiers in neuroinformatics, 2021-02, Vol.15, p.560050-560050
2021
Volltextzugriff (PDF)
Journal of data mining and digital humanities, 2023-03, Vol.2023
2023
Volltextzugriff (PDF)
Frontiers in physiology, 2022-04, Vol.13, p.795303-795303
2022
Volltextzugriff (PDF)
SN computer science, 2024-02, Vol.5 (2), p.268, Article 268
2024
Volltextzugriff (PDF)
Fundamentals of Software Engineering, p.194-209
Volltextzugriff (PDF)
Science of computer programming, 2016-01, Vol.115-116, p.1-2
2016
Volltextzugriff (PDF)
Science of computer programming, 2021-03, Vol.203, p.102578, Article 102578
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.19-35
2011
Volltextzugriff (PDF)
Research data journal for the humanities and social sciences, 2024-04, p.1-21
2024
Volltextzugriff (PDF)
Formal aspects of computing, 2012-03, Vol.24 (2), p.187-216
2012
Volltextzugriff (PDF)
Science of computer programming, 2016-01, Vol.115-116, p.147-148
2016
Volltextzugriff (PDF)
IEEE transactions on services computing, 2013-04, Vol.6 (2), p.186-200
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-08, Vol.91
2012
Volltextzugriff (PDF)
Procedia computer science, 2015, Vol.63, p.308-316
2015
Volltextzugriff (PDF)
Formal aspects of computing, 2012-03, Vol.24 (2), p.187-216
2012
Volltextzugriff (PDF)
Formal Methods for Components and Objects, p.21-41
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation, p.108-123
Volltextzugriff (PDF)
Advances in Intelligent Data Analysis XIII, p.72-83
Volltextzugriff (PDF)
IEEE software, 2007-11, Vol.24 (6), p.47-54
2007
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.106-121
Volltextzugriff (PDF)
CPT: pharmacometrics and systems pharmacology, 2017-10, Vol.6 (10), p.647-650
- Smith, Mike K.
- Moodie, Stuart L.
- Bizzotto, Roberto
- Blaudez, Eric
- Borella, Elisa
- Carrara, Letizia
- Chan, Phylinda
- Chenel, Marylore
- Comets, Emmanuelle
- Gieschke, Ronald
- Harling, Kajsa
- Harnisch, Lutz
- Hartung, Niklas
- Hooker, Andrew C.
- Karlsson, Mats O.
- Kaye, Richard
- Kloft, Charlotte
- Kokash, Natallia
- Lavielle, Marc
- Lestini, Giulia
- Magni, Paolo
- Mari, Andrea
- Mentré, France
- Muselle, Chris
- Nordgren, Rikard
- Nyberg, Henrik B.
- Parra‐Guillén, Zinnia P.
- Pasotti, Lorenzo
- Rode‐Kristensen, Niels
- Sardu, Maria L.
- Smith, Gareth R.
- Swat, Maciej J.
- Terranova, Nadia
- Yngman, Gunnar
- Yvon, Florent
- Holford, Nick
2017
Volltextzugriff (PDF)
Business Information Systems, p.95-107
Volltextzugriff (PDF)
Business Information Systems, p.180-194
Volltextzugriff (PDF)
Web Engineering, p.563-568
Volltextzugriff (PDF)
IEEE software, 2007, Vol.24 (6), p.47-54
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Software
- Computation
- Computer Science, Artificial Intelligence
- Constraints
- Knowledge Management
- Knowledge Representation
- Life Sciences & Biomedicine
- Recommendation Systems
- Semantics
- Service Composition
- Anatomy
- Applied Sciences
- Automation
- Behavior
Kollektion
- Ingenta
- Free E-Journal (出版社公開部分のみ）
- Springer Book Series
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Blackwell Single Titles
- Ebook Central Perpetual and DDA
- Brill Online Journals
- 2022 Brill Journal Collection
- 2023 Brill Journal Collection
- eBooks on EBSCOhost
- Journals@Ovid Full Text
Zeitschrift / Serie
- Science Of Computer Programming
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- Ieee Software
- Arxiv
- Cpt: Pharmacometrics & Systems Pharmacology
- Cpt: Pharmacometrics And Systems Pharmacology
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Frontiers In Neuroinformatics