Showing
1 - 3
results of
3
for search '
"Katholieke Universiteit Leuven"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Content Provider:
IFIP Open Digital Library (International Federation for Information Processing)
Reset Filters
Show filters (1)
Content Provider:
IFIP Open Digital Library (International Federation for Information Processing)
Search Results - Open Polar - "Katholieke Universiteit Leuven"
Search Results
Showing
1 - 3
results of
3
for search '
"Katholieke Universiteit Leuven"
'
, query time: 0.11s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Ownership Types for the Join Calculus
by
Patrignani, Marco
,
Clarke, Dave
,
Sangiorgi, Davide
Published 2011
Get access
Get access
Get access
Get access
Conference Object
Select result number 2
2
Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People with Dementia
by
Mahmud, Nasim
,
Vogt, Joël
,
Luyten, Kris
,
Slegers, Karin
,
Bergh, Jan
,
Coninx, Karin
Published 2010
Get access
Get access
Get access
Get access
Conference Object
Select result number 3
3
Annotation Inference for Separation Logic Based Verifiers
by
Vogels, Frédéric
,
Jacobs, Bart
,
Piessens, Frank
,
Smans, Jan
Published 2011
Get access
Get access
Get access
Get access
Conference Object
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
3
Author
Bergh, Jan
1
Clarke, Dave
1
Coninx, Karin
1
Jacobs, Bart
1
Luyten, Kris
1
Mahmud, Nasim
1
Patrignani, Marco
1
Piessens, Frank
1
Sangiorgi, Davide
1
Slegers, Karin
1
Smans, Jan
1
Vogels, Frédéric
1
Vogt, Joël
1
see all ...
Topic
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
2
[INFO]Computer Science [cs]
2
[INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]
1
Content Provider
IFIP Open Digital Library (International Federation for Information Processing)
Language
English
3
Open Polar Keyword
Iceland
3
Loading...