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...Theoretical Aspects of Computing – ICTAC 2021, 2021, p.152-171
2021
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2020-09, Vol.351, p.51-73
2020
Volltextzugriff (PDF)
EFSA journal, 2020-09, Vol.18 (9), p.e06223-n/a
- Schrenk, Dieter
- Bignami, Margherita
- Bodin, Laurent
- Chipman, James Kevin
- del Mazo, Jesús
- Grasl‐Kraupp, Bettina
- Hogstrand, Christer
- Hoogenboom, Laurentius (Ron)
- Leblanc, Jean‐Charles
- Nebbia, Carlo Stefano
- Nielsen, Elsa
- Ntzani, Evangelia
- Petersen, Annette
- Sand, Salomon
- Vleminckx, Christiane
- Wallace, Heather
- Barregård, Lars
- Ceccatelli, Sandra
- Cravedi, Jean‐Pierre
- Halldorsson, Thorhallur Ingi
- Haug, Line Småstuen
- Johansson, Niklas
- Knutsen, Helle Katrine
- Rose, Martin
- Roudot, Alain‐Claude
- Van Loveren, Henk
- Vollmer, Günter
- Mackay, Karen
- Riolo, Francesca
- Schwerdtle, Tanja
2020
Volltextzugriff (PDF)
NASA Formal Methods, 2020, Vol.12229, p.267-287
2020
Volltextzugriff (PDF)
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019, p.209-221
2019
Volltextzugriff (PDF)
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018, p.568-573
2018
Volltextzugriff (PDF)
Formal Aspects of Component Software, 2018, p.196-215
2018
Volltextzugriff (PDF)
Science of computer programming, 2016-11, Vol.130, p.2-23
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-08, Vol.159 (Proc. GRAPHITE 2014), p.58-70
2014
Volltextzugriff (PDF)
NASA Formal Methods, 2013, p.185-197
2013
Volltextzugriff (PDF)
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems, 2012, p.71-81
2012
Volltextzugriff (PDF)
Interactive Theorem Proving, 2012, p.299-314
2012
Volltextzugriff (PDF)
2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011, p.1817-1824
2011
Volltextzugriff (PDF)
SIGPLAN notices, 2011-09, Vol.46 (9), p.346-358
2011
Volltextzugriff (PDF)
Proceedings of the 2011 International Symposium on Software Testing and Analysis, 2011, p.78-88
2011
Volltextzugriff (PDF)
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, 2011, p.346-358
2011
Volltextzugriff (PDF)
2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011, p.1809-1816
2011
Volltextzugriff (PDF)
2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010, p.31-40
2010
Volltextzugriff (PDF)
Foundations of Software Science and Computational Structures, 2010, p.109-127
2010
Volltextzugriff (PDF)
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009, p.12-20
2009
Volltextzugriff (PDF)
2009 42nd Hawaii International Conference on System Sciences, 2009, p.1-11
2009
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, 2009, Vol.5491, p.257-271
2009
Volltextzugriff (PDF)
Theoretical computer science, 2008-05, Vol.398 (1), p.203-216
2008
Volltextzugriff (PDF)
Theoretical computer science, 2008, Vol.398 (1-3), p.203-216
2008
Volltextzugriff (PDF)
28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007, p.400-412
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Science & Technology
- Computer Science
- Technology
- Software
- Computer Science, Theory & Methods
- Theoretical Computing
- Computer Science, Software Engineering
- Language Processing And Microprogramming
- Algorithmics. Computability. Computer Arithmetics
- Computer Science, Information Systems
- Mathematics
- Engineering
- Formal Verification
- Language Theory And Syntactical Analysis
- Mathematics, Applied
- Physical Sciences
- Programming Languages
Kollektion
- Ingenta
- Springer Book Series
- EZB Electronic Journals Library
- ACM Digital Library Complete
- IEEE Electronic Library Online
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- American Mathematical Society Journals
- SpringerLink Journals - AutoHoldings
- Wiley Online Library
- ScienceDirect eBooks
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Proceedings Of The American Mathematical Society
- Theoretical Computer Science
- Acm Sigplan Notices
- Efsa Journal
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Ieee Software
- Information And Computation