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...
Lecture notes in computer science, 2004, p.210-225
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.355-377
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.115-129
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.14-29
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.216-230
2004
Link zum Volltext

2014 International Wireless Communications and Mobile Computing Conference (IWCMC), 2014, p.530-535
2014


Lecture notes in computer science, 2004, p.290-297
2004
Link zum Volltext

Formal Proof Sketches
Lecture notes in computer science, 2004, p.378-393
2004
Link zum Volltext


Networks (New York, NY), 2010, Vol.55 (3)
2010
Link zum Volltext


Lecture notes in computer science, 2004, p.147-161
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.201-215
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.231-246
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.175-186
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.262-272
2004
Link zum Volltext

Lecture notes in computer science, 2004, Vol.3085, p.338-354
2004
Link zum Volltext


Lecture notes in computer science, 2004, p.87-98
2004
Link zum Volltext

International Workshop on Types for Proofs and Programs, TYPES 2003, Torino, 2004, Vol.3085, p.1-16
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.66-82
2004
Link zum Volltext


Lecture notes in computer science, 2004, p.298-306
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.130-146
2004
Link zum Volltext
Aktive Filter
KollektionWiley Online Library
PublikationsformTagungsberichte