Sortiert nach
IEEE software, 2000-05, Vol.17 (3), p.37-43
2000
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-08, Vol.159 (Proc. GRAPHITE 2014), p.58-70
2014
Volltextzugriff (PDF)
NASA Formal Methods, p.267-287
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2003-11, Vol.5 (1), p.78-89
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.75-97
2005
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2004-05, Vol.5 (4), p.308-319
2004
Volltextzugriff (PDF)
Science of computer programming, 2016-11, Vol.130, p.2-23
2016
Volltextzugriff (PDF)
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018, p.568-573
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2011-09, Vol.46 (9), p.346-358
2011
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2020-09, Vol.351, p.51-73
2020
Volltextzugriff (PDF)
Theoretical computer science, 2008-05, Vol.398 (1), p.203-216
2008
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.307-322
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.153-169
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2001, p.496-511
2001
Volltextzugriff (PDF)
Theoretical computer science, 2008, Vol.398 (1-3), p.203-216
2008
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)
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019, p.209-221
2019
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, p.257-271
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.275-290
2005
Volltextzugriff (PDF)
2009 42nd Hawaii International Conference on System Sciences, 2009, p.1-11
2009
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.137-152
2005
Volltextzugriff (PDF)
Foundations of Software Science and Computational Structures, p.109-127
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.89-104
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
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
- Physical Sciences
- Engineering
- Formal Verification
- Language Theory And Syntactical Analysis
- Mathematics, Applied
- Programming Languages
Kollektion
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE Xplore
- ACM Digital Library
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- American Mathematical Society Publications
- SpringerLink (Online service)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ScienceDirect eBooks
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Proceedings Of The American Mathematical Society
- Theoretical Computer Science
- Acm Sigplan Notices
- Acs Nano
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Ieee Software
- Information And Computation