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...Integrating materials and manufacturing innovation, 2022-12, Vol.11 (4), p.467-478
2022
Volltextzugriff (PDF)
Systems (Basel), 2021-03, Vol.9 (1), p.18
2021
Volltextzugriff (PDF)
International journal of semantic computing, 2013-09, Vol.7 (3), p.215-236
2013
Volltextzugriff (PDF)
Functional and Logic Programming, 2022, p.171-185
2022
Volltextzugriff (PDF)
Computer aided design, 2021-05, Vol.134, p.102990, Article 102990
2021
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2024-03
2024
Volltextzugriff (PDF)
2022 Annual Reliability and Maintainability Symposium (RAMS), 2022, p.1-8
2022
Volltextzugriff (PDF)
MRS bulletin, 2019-07, Vol.44 (7), p.545-558
- Aggour, Kareem S.
- Gupta, Vipul K.
- Ruscitto, Daniel
- Ajdelsztajn, Leonardo
- Bian, Xiao
- Brosnan, Kristen H.
- Chennimalai Kumar, Natarajan
- Dheeradhada, Voramon
- Hanlon, Timothy
- Iyer, Naresh
- Karandikar, Jaydeep
- Li, Peng
- Moitra, Abha
- Reimann, Johan
- Robinson, Dean M.
- Santamaria-Pang, Alberto
- Shen, Chen
- Soare, Monica A.
- Sun, Changjie
- Suzuki, Akane
- Venkataramana, Raju
- Vinciquerra, Joseph
2019
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.101-114
Volltextzugriff (PDF)
AI EDAM, 2019-08, Vol.33 (3), p.289-301
2019
Volltextzugriff (PDF)
Requirements engineering, 2019-09, Vol.24 (3), p.341-364
2019
Volltextzugriff (PDF)
Journal of computing and information science in engineering, 2019-06, Vol.19 (2)
2019
Volltextzugriff (PDF)
2020 Annual Reliability and Maintainability Symposium (RAMS), 2020, p.1-6
2020
Volltextzugriff (PDF)
NASA Formal Methods, p.752-770
Volltextzugriff (PDF)
INCOSE International Symposium, 2021-07, Vol.31 (1), p.80-94
2021
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, p.149-160
Volltextzugriff (PDF)
2014 IEEE International Conference on Semantic Computing, 2014, p.92-95
2014
Volltextzugriff (PDF)
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.88-99
2024
Volltextzugriff (PDF)
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.88-99
2024
Volltextzugriff (PDF)
Formal Techniques in Real-Time and Fault-Tolerant Systems, 2005, p.87-106
2005
Volltextzugriff (PDF)
2022 IEEE 16th International Conference on Semantic Computing (ICSC), 2022, p.173-174
2022
Volltextzugriff (PDF)
Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022, p.3-13
2022
Volltextzugriff (PDF)
Science of computer programming, 1985, Vol.5 (3), p.277-307
1985
Volltextzugriff (PDF)
2010 - MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE, 2010, p.912-917
2010
Volltextzugriff (PDF)
2014 IEEE International Conference on Semantic Computing, 2014, p.x-x
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Engineering
- Computer Science, Theory & Methods
- Software
- Engineering, Electrical & Electronic
- Semantics
- Computer Science, Artificial Intelligence
- Ontology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Semantic Model
- Software Engineering
- Automation
- Certification
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
Kollektion
- Ingenta Connect
- IEEE Electronic Library (IEL)
- Springer Book Series
- Access via ACM Digital Library
- EZB-FREE-00999 freely available EZB journals
- Access via ScienceDirect (Elsevier)
- SpringerNature Journals
- Access via Wiley Online Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- Wiley Online Library Full Collection 2018
- Access via Business Source (EBSCOhost)
- ScienceDirect eBooks
- IngentaConnect Journals
- ASME Transactions Journals (Current)
Zeitschrift / Serie
- Ieee Transactions On Software Engineering
- Science Of Computer Programming
- Software, Practice & Experience
- Acm Transactions On Programming Languages And Systems
- Advances In Computers
- Ai Edam
- Artificial Intelligence For Engineering Design, Analysis And Manufacturing
- Computer Aided Design
- Computer Aided Design/computer-Aided Design
- Ieee Transactions On Aerospace And Electronic Systems
Neu hinzugefügt