|
|
DSpace at RU >
Search Results
Results 81-90 of 119.
Item hits:
| Full Text | Issue Date | Title | Author(s) |  | 2006 | Burger moet geen gelabeld vee worden | Jacobs, B.P.F. |
| | 2006 | Freyd is Kleisli, for Arrows | Jacobs, B.P.F.; Hasuo, I.; McBride, C.; Uustalu, T. |
 | 2006 | PVS | Jacobs, B.P.F.; Rushby, J.; Wiedijk, F. |
| | 2006 | Stemcomputer vraagt om fraude | Jacobs, B.P.F. |
| | 2006 | A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages | Jacobs, B.P.F.; Futatsugi, K.; Jouannaud, J.-P.; Meseguer, J. |
| | 2006 | Arrows, like Monads, are Monoids | Heunen, Chris; Jacobs, Bart; Brookes, S.; Mislove, M. |
| | 2006 | E-passports without the big picture | Hoepman, Jaap-Henk; Jacobs, B.P.F. |
| | 2006 | Code-Carrying Theories | Jacobs, B.P.F.; Smetsers, Sjaak; Wichers Schreur, R.J.M. |
 | 2006 | Generic trace theory | Hasuo, I.; Jacobs, B.P.F.; Sokolova, A. |
| | 2006 | Crossing Borders : Security and Privacy Issues of the European e-Passport | Hoepman, Jaap-Henk; Hubbers, E.M.G.M.; Jacobs, B.P.F.; Oostdijk, Martijn; Wichers Schreur, R.J.M.; Yoshiura, Hiroshi |
previous
1
2
3
4
5
6
7
8
9
10
11
12
next
|
