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...Critical care (London, England), 2011-01, Vol.15 (2), p.R103-R103, Article R103
2011
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-08, Vol.64 (6), p.1001-1050
2020
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.368-379
- Bernardo, Bruno
- Cauderlier, Raphaël
- Hu, Zhenlei
- Pesin, Basile
- Tesson, Julien
- Oliveira, José N.
- Dongol, Brijesh
- Marmsoler, Diego
- Couto, Luis
- Luckcuck, Matt
- Cerone, Antonio
- Monteiro, Pedro
- Sekerinski, Emil
- Astarte, Troy
- Campos, José
- Kutrib, Martin
- Ratiu, Daniel
- Gonnord, Laure
- Delmas, David
- Farrell, Marie
- Moreira, Nelma
- Guidotti, Riccardo
Volltextzugriff (PDF)
Financial Cryptography and Data Security, p.584-598
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-07, Vol.186 (Proc. PxTP 2015), p.57-73
2015
Volltextzugriff (PDF)
Interactive Theorem Proving, p.131-147
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-07, Vol.186 (Proc. PxTP 2015), p.89-96
2015
Volltextzugriff (PDF)
Interactive Theorem Proving, 2018, Vol.10895, p.142-159
2018
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2016, p.459-468
Volltextzugriff (PDF)
Animal - Science Proceedings, 2023-03, Vol.14 (1), p.235-235
2023
Volltextzugriff (PDF)
Diagnostic and interventional imaging, 2015-10, Vol.96 (10), p.1089-1101
2015
Volltextzugriff (PDF)
Annales de dermatologie et de vénéréologie, 2015-12, Vol.142 (12), p.S655-S655
2015
Volltextzugriff (PDF)
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016, p.1-7
2016
Volltextzugriff (PDF)
Karthago, 2007-12, Vol.27, p.221-230
2007
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Applications, p.60-72
Volltextzugriff (PDF)
Revista española de cardiologia, 2010-06, Vol.63 (6), p.747-748
2010
Volltextzugriff (PDF)
Congenital heart disease, 2013-07, Vol.8 (4), p.E127-E129
2013
Volltextzugriff (PDF)
Morphologie, 2012-10, Vol.96 (314-315), p.106-107
2012
Volltextzugriff (PDF)
Congenital heart disease, 2013-07, Vol.8 (4), p.E127-E129
2013
Volltextzugriff (PDF)
Revista española de cardiologia, 2010-06, Vol.63 (6), p.747
2010
Volltextzugriff (PDF)
Revista española de cardiología (English ed.), 2010, Vol.63 (6), p.747-748
2010
Volltextzugriff (PDF)
Nouvelles de l'archéologie, 2007-05, Vol.107, p.27-29
2007
Volltextzugriff (PDF)
Nouvelles de l'archéologie, 2007-05, Vol.107, p.27-29
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Comptes Rendus Bibliographiques
- Science & Technology
- Humans
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Female
- Nursing
- Life Sciences & Biomedicine
- Logic In Computer Science
- Adult
- Aged
- Blockchains
- Certified Programming
- Male
- Middle Aged
- Notices Bibliographiques
- Programming Languages
- Smart Contracts
- Variétés
Kollektion
- EZB Electronic Journals Library
- JSTOR
- MEDLINE
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- HEAL-Link subscriptions: Springer Book Series
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library
- Ovid
- NUS Single-Journal Subscriptions
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- Project MUSE - single title subscriptions
- ACM Digital Library
- Taylor & Francis Current Content Access
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- Project MUSE Journals
- Oxford Journals
- eBooks on EBSCOhost
Zeitschrift / Serie