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...Theorem Proving in Higher Order Logics, p.23-42
Volltextzugriff (PDF)
Journal of materials engineering and performance, 2020-03, Vol.29 (3), p.1479-1487
2020
Volltextzugriff (PDF)
Materials, 2022-02, Vol.15 (4), p.1601
2022
Volltextzugriff (PDF)
Journal of systems architecture, 2019-09, Vol.98, p.468-483
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.692-715, Article 175
2024
Volltextzugriff (PDF)
Cellular immunology, 2014-11, Vol.292 (1-2), p.40-44
2014
Volltextzugriff (PDF)
GetMobile (New York, N.Y.), 2024-07, Vol.28 (2), p.38-43
2024
Volltextzugriff (PDF)
Verified Software: Theories, Tools, Experiments, p.50-65
Volltextzugriff (PDF)
Journal of automated reasoning, 2010-02, Vol.44 (1-2), p.111-144
2010
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.407-414
Volltextzugriff (PDF)
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 2018, p.19-30
2018
Volltextzugriff (PDF)
Automated Deduction – CADE-23, p.177-191
Volltextzugriff (PDF)
Cellular immunology, 2015-08, Vol.296 (2), p.155-155
2015
Volltextzugriff (PDF)
Perspectives of Systems Informatics, p.43-55
- Cohen, Ernie
- Alkassar, Eyad
- Boyarinov, Vladimir
- Dahlweid, Markus
- Degenbaev, Ulan
- Hillebrand, Mark
- Langenstein, Bruno
- Leinenbach, Dirk
- Moskal, Michał
- Obua, Steven
- Paul, Wolfgang
- Pentchev, Hristo
- Petrova, Elena
- Santen, Thomas
- Schirmer, Norbert
- Schmaltz, Sabine
- Schulte, Wolfram
- Shadrin, Andrey
- Tobies, Stephan
- Tsyban, Alexandra
- Tverdyshev, Sergey
- Pnueli, Amir
- Voronkov, Andrei
- Virbitskaite, Irina
Volltextzugriff (PDF)
Computer Aided Verification, p.6-6
Volltextzugriff (PDF)
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 2019, p.7-12
2019
Volltextzugriff (PDF)
Artificial Intelligence in Education, p.257-260
Volltextzugriff (PDF)
Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019, p.105-116
2019
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.486-500
Volltextzugriff (PDF)
Proceedings of the 23rd Annual ACM Interaction Design and Children Conference, 2024, p.355-370
2024
Volltextzugriff (PDF)
Computer Aided Verification, p.480-494
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, p.284-298
Volltextzugriff (PDF)
FM 2014: Formal Methods, p.382-398
Volltextzugriff (PDF)
Compiler Construction, p.218-237
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2009-10, Vol.254, p.85-103
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Physical Sciences
- Physics
- Life Sciences & Biomedicine
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Mathematical & Computational Biology
- Chemistry
- Physics, Nuclear
- Positron Emission Tomography
- Materials Science
- Sensors
- Chemistry, Inorganic & Nuclear
- Energy
- Engineering
- Atoms & Subatomic Particles
- Deuterium
- Efficiency
Kollektion
- Ingenta
- Free E-Journal (出版社公開部分のみ）
- ACM Digital Library
- IngentaConnect Journals
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- De Gruyter journals
- IEEE Electronic Library Online
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- MEDLINE
- Publisher or Other Site
- Science (periodical)
- Wiley-Blackwell Journals
- American Physical Society Journals
- International Bibliography of Art (IBA)
Zeitschrift / Serie
Neu hinzugefügt