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...
Formal aspects of computing, 2015-05, Vol.27 (3), p.573-609
2015
Link zum Volltext


Formal aspects of computing, 2023-09, Vol.35 (3), p.1-35, Article 15
2023
Link zum Volltext

Formal aspects of computing, 2021-12, Vol.33 (6), p.1173-1208
2021
Link zum Volltext

Formal aspects of computing, 2024-03, Vol.36 (1), p.1-46, Article 4
2024
Link zum Volltext

Granular matter, 2017-01, Vol.6 (4), p.267-270
2017
Link zum Volltext

Formal aspects of computing, 2023-03, Vol.35 (1), p.1-17, Article 5
2023
Link zum Volltext

Sadhana (Bangalore), 2019-04, Vol.44 (4), p.1-15, Article 94
2019
Link zum Volltext

Sadhana (Bangalore), 2017-05, Vol.42 (5), p.655-669
2017
Link zum Volltext

Formal aspects of computing, 2021-12, Vol.33 (6), p.1067-1114
2021
Link zum Volltext

Mathematical programming computation, 2022-12, Vol.14 (4), p.781-818
2022
Link zum Volltext

Formal aspects of computing, 2021-12, Vol.33 (6), p.1115-1145
2021
Link zum Volltext




Formal aspects of computing, 2018-11, Vol.30 (6), p.629-657
2018
Link zum Volltext


Biophysical reviews, 2019-02, Vol.11 (1), p.123-125
2019
Link zum Volltext

Formal aspects of computing, 2018, Vol.30 (1), p.3-43
2018
Link zum Volltext

Formal aspects of computing, 2024-03, Vol.36 (1), p.1-37, Article 3
2024
Link zum Volltext

Open Access
Bit-Vector Typestate Analysis
Formal aspects of computing, 2023-09, Vol.35 (3), p.1-36, Article 19
2023
Link zum Volltext

Formal aspects of computing, 2024-03, Vol.36 (1), p.1-38, Article 5
2024
Link zum Volltext



Formal aspects of computing, 2017-11, Vol.29 (6), p.987-1011
2017
Link zum Volltext
Aktive Filter
KollektionTaylor & Francis Journals
SpracheDeutsch
KollektionEZB Electronic Journals Library
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n