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...1st Edition 2018, 2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.282 (Proc. Refine 2018), p.53-67
2018
Volltextzugriff (PDF)
Ecology and evolution, 2022-04, Vol.12 (4), p.e8796-n/a
- Hitchcock, Cynthia J.
- Gallegos, Elizabeth A.
- Backlin, Adam R.
- Barabe, Russell
- Bloom, Peter H.
- Boss, Kimberly
- Brehme, Cheryl S.
- Brown, Christopher W.
- Clark, Denise R.
- Clark, Elizabeth R.
- Cooper, Kevin
- Donnell, Julie
- Ervin, Edward
- Famolaro, Peter
- Guilliam, Kim M.
- Hancock, Jacquelyn J.
- Hess, Nicholas
- Howard, Steven
- Hubbartt, Valerie
- Lieske, Patrick
- Lovich, Robert
- Matsuda, Tritia
- Meyer‐Wilkins, Katherin
- Muri, Kamarul
- Nerhus, Barry
- Nordland, Jeff
- Ortega, Brock
- Packard, Robert
- Ramirez, Ruben
- Stewart, Sam C.
- Sweet, Samuel
- Warburton, Manna
- Wells, Jeffrey
- Winkleman, Ryan
- Winter, Kirsten
- Zitt, Brian
- Fisher, Robert N.
2022
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, p.20-29
2018
Volltextzugriff (PDF)
Formal aspects of computing, 2023-06, Vol.35 (2), p.1-30, Article 8
2023
Volltextzugriff (PDF)
Formal aspects of computing, 2017-11, Vol.29 (6), p.935-950
2017
Volltextzugriff (PDF)
Theoretical computer science, 2015-08, Vol.594, p.120-142
2015
Volltextzugriff (PDF)
Formal Methods, p.292-310
Volltextzugriff (PDF)
Science of computer programming, 2019-10, Vol.184, p.102308, Article 102308
2019
Volltextzugriff (PDF)
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-16
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2020-02, Vol.32 (1), p.1-32
2020
Volltextzugriff (PDF)
Clinical and experimental optometry, 2022-10, Vol.ahead-of-print (ahead-of-print), p.1-3
2022
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, Vol.11023, p.161-171
2018
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.323-341
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, Vol.11023, p.316-325
2018
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, p.246-260
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, p.367-376
2018
Volltextzugriff (PDF)
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
2019
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, Vol.11023, p.377-397
2018
Volltextzugriff (PDF)
Integrated Formal Methods, 2004, p.148-167
2004
Volltextzugriff (PDF)
The Journal of systems and software, 2008-12, Vol.81 (12), p.2163-2182
2008
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, Vol.11023, p.296-315
2018
Volltextzugriff (PDF)
FM 2016: Formal Methods, p.352-369
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, Vol.11023, p.110-129
2018
Volltextzugriff (PDF)
Software, practice & experience, 2011-10, Vol.41 (11), p.1233-1258
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Humans
- Animals
- Model Checking
- Female
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Male
- Behavior Trees
- Biochemistry & Molecular Biology
- Multidisciplinary Sciences
- Science & Technology - Other Topics
Kollektion
- Ingenta E-Journals
- EZB Electronic Journals Library
- MEDLINE
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Springer Book Series
- Elsevier ScienceDirect Journals Complete
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Publisher or Other Site
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Wiley-Blackwell Journals
- SpringerLink
- IEEE/IET Electronic Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Wiley Online Library Full Collection 2018
- Nature Journals
- JSTOR
- Taylor & Francis Journals Auto-Holdings Collection
Zeitschrift / Serie
- Formal Aspects Of Computing
- Plos One
- Bundesgesundheitsblatt, Gesundheitsforschung, Gesundheitsschutz
- Molecular And Biochemical Parasitology
- Zeitschrift Für Medizinische Physik
- Biochemical And Biophysical Research Communications
- Biological Journal Of The Linnean Society
- Blood
- Ecology And Society
- Electronic Notes In Theoretical Computer Science
Neu hinzugefügt