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...NeuroImage (Orlando, Fla.), 2023-08, Vol.277, p.120246-120246, Article 120246
2023
Volltextzugriff (PDF)
Lecture notes in computer science, 2020, Vol.12076, p.482-501
2020
Volltextzugriff (PDF)
Human brain mapping, 2024-07, Vol.45 (10), p.e26778-n/a
2024
Volltextzugriff (PDF)
Tests and Proofs, p.23-42
Volltextzugriff (PDF)
Tests and Proofs, p.3-22
Volltextzugriff (PDF)
Formal Methods for Open Object-Based Distributed Systems, 2006, p.171-185
2006
Volltextzugriff (PDF)
Tests and Proofs, 2020, Vol.12165, p.122-140
2020
Volltextzugriff (PDF)
Tests and Proofs, p.100-121
Volltextzugriff (PDF)
Tests and Proofs, p.43-58
Volltextzugriff (PDF)
Tests and Proofs, p.80-99
Volltextzugriff (PDF)
Tests and Proofs, p.59-79
Volltextzugriff (PDF)
Tests and Proofs, p.155-166
Volltextzugriff (PDF)
Correct System Design, 2015, p.238-259
2015
Volltextzugriff (PDF)
Correct System Design, p.223-237
Volltextzugriff (PDF)
Correct System Design, p.15-32
Volltextzugriff (PDF)
Correct System Design, p.99-130
Volltextzugriff (PDF)
Formal Methods for Open Object-Based Distributed Systems, 2006, p.63-77
2006
Volltextzugriff (PDF)
Correct System Design, p.65-82
Volltextzugriff (PDF)
Correct System Design, 2015, p.172-188
2015
Volltextzugriff (PDF)
Correct System Design, p.205-220
Volltextzugriff (PDF)
Correct System Design, p.152-171
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2005, p.360-374
2005
Volltextzugriff (PDF)
Tests and Proofs, p.169-179
Volltextzugriff (PDF)
Theoretical computer science, 2005-10, Vol.343 (3), p.509-528
2005
Volltextzugriff (PDF)
Tests and Proofs, p.143-154
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Computer Systems And Distributed Systems. User Interface
- Software Engineering
- Science & Technology - Other Topics
- Logic
- Materials Science
- Humans
- Materials Science, Characterization & Testing
- Model Check
- Temporal Logic
- Theoretical Computing
- Male
Kollektion
- Ingenta E-Journals
- Springer Book Series (Lecture Notes)
- EZB Electronic Journals Library
- MEDLINE
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid Ovid Full Text
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Publisher website
- IEEE Xplore
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Thieme - Connect here FIRST to enable access
- Springer Online Journals
- Wiley Online Library
- PAIS Index
- Wiley Online Library
Zeitschrift / Serie
- Behavioral Neuropsychiatry
- American Journal Of Physiology. Regulatory, Integrative And Comparative Physiology
- Deutsche Medizinische Wochenschrift
- Electronic Notes In Theoretical Computer Science
- The American Journal Of Psychiatry
- Zentralblatt Fur Arbeitsmedizin Und Arbeitsschutz
- Acta Informatica
- Burroughs Clearing House
- Formal Methods In System Design
- Human Brain Mapping