Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-5 of 5
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
5-Dec-2006A flexible model for dynamic linking in Java and C#Drossopoulou, S; Lagorio, G; Eisenbach, S
1-Dec-2004Domain theory and differential calculus (functions of one variable)Edalat, A; Lieutier, A
1-Aug-2004An extension of Gleason's theorem for quantum computationEdalat, A
1-Jul-2000Integration in real PCFEdalat, A; Escardo, MH
28-Jul-2002Foundation of a computable solid modellingEdalat, A; Lieutier, A