Es ist ein Fehler in der Kommunikation mit einem externen System aufgetreten. Bitte versuchen Sie Ihre letzte Aktion erneut. Sollte der Fehler bestehen bleiben, setzen Sie sich bitte mit dem Informationszentrum der Bibliothek in Verbindung oder versuchen Sie es später erneut.
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...Interactive Theorem Proving, 2013, p.19-34
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021-07, Vol.337
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 1
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-01, Vol.53 (Proc. TYPES 2009), p.1-15
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-10, Vol.167, p.2-3
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-01, Vol.53 (Proc. TYPES 2009), p.16-29
2011
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
Mathematical structures in computer science, 2019-09, Vol.29 (8), p.1125-1150
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.125-137
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.125-137
2018
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2008-01, Vol.1 (1), p.51-89
2008
Volltextzugriff (PDF)
Interactive Theorem Proving, 2013, p.163-179
2013
Volltextzugriff (PDF)
Interactive Theorem Proving, 2015, p.51-66
2015
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-05
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
Journal of instrumentation, 2024-02, Vol.19 (2), p.C02062
- Rignanese, Luigi Pio
- Agrawaal, Neelima
- Alexeev, Maxim
- Antonioli, Pietro
- Baldanza, Casimiro
- Barion, Luca
- Bufalino, Stefania
- Capua, Marcella
- Contalbrigo, Marco
- Cossio, Fabio
- Chiosso, Michela
- Da Rocha Rolo, Manuel
- De Caro, Annalisa
- De Gruttola, Daniele
- Dellacasa, Giulio
- Dello Stritto, Luigi
- Falchieri, Davide
- Fazio, Salvatore
- Funicello, Nicola
- Giacalone, Marco
- Garbini, Marco
- Malaguti, Roberto
- Mignone, Marco
- Paladino, Antonio
- Preghenella, Roberto
- Panzieri, Daniele
- Ripoli, Cristina
- Rubini, Nicola
- Ruspa, Marta
- Tassi, Enrico
- Tuvè, Cristina
- Vallarino, Simone
2024
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017-03, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017-03, Vol.1819 (1)
2017
Volltextzugriff (PDF)
AIP conference proceedings, 2017-03, Vol.1819 (1)
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- Publisher or Other Site
- American Institute of Physics (AIP) Journals
- IngentaConnect
- EZB Electronic Journals Library
- IEEE/IET Electronic Library (IEL)
- MEDLINE
- Journals@Ovid Complete
- IngentaConnect Journals
- SpringerLink Series
- Springer Nature - Complete Springer Journals
- Wiley Online Library - AutoHoldings Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Full Collection 2018
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- Reference Global
- Taylor & Francis Current Content Access
Zeitschrift / Serie
Neu hinzugefügt