Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Software, practice & experience, 2016-06, Vol.46 (6), p.767-788
2016
Link zum Volltext

ACM transactions on programming languages and systems, 2011, Vol.33 (1), p.1-55
2011
Link zum Volltext


ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-38, Article 13
2014
Link zum Volltext

ACM transactions on programming languages and systems, 2008-07, Vol.30 (4), p.1-63
2008
Link zum Volltext


Flow-insensitive type qualifiers
ACM transactions on programming languages and systems, 2006-11, Vol.28 (6), p.1035-1087
2006
Link zum Volltext

Software, practice & experience, 2010-03, Vol.40 (3), p.225-238
2010
Link zum Volltext

Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27
2021
Link zum Volltext


Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1584-1607, Article 171
2023
Link zum Volltext

Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-25
2019
Link zum Volltext

ACM transactions on programming languages and systems, 2011-01, Vol.33 (1)
2011
Link zum Volltext

Journal of engineering education (Washington, D.C.), 2014-01, Vol.103 (1), p.45-76
2014
Link zum Volltext

Angewandte Chemie International Edition, 2018-08, Vol.57 (33), p.10672-10676
International ed. in English, 2018
Link zum Volltext










Aktive Filter
KollektionIngenta
KollektionRCN full-text journals@Ovid
Nur zeigenGeprüft (Peer-Review)
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt