Refine your search
Availability
-
Authors
- Addy, Rob
- Banatre, J. P.
- Beckert, Bernhard
- Bin, Eyal
- Brim, Lubo
- Brooks, Frederick P.
- Conference on Founda...
- Conference on founda...
- Conference on FST/TC...
- Diehl, Stephan
- Foundation of softwa...
- H hnle, Reiner and
- Haverkort, Boudewijn
- Jones, S. B.
- Krishnamurthi, Shrir...
- Kuznetsov, Sergei O
- Le Metayer Banatre, ...
- Leucker, Martin
- Madhavan, C.E. Veni
- Nori, K.V., ed. Veni...
- Odersky, Martin
- Pieper, Michael
- Proceedings of the s...
- Proceedings of the s...
- Proceedings of the s...
- Raman, V., ed
- Ramanujam, R., ed
- Rangan, C Pandu, ed
- Rangan, C. Pandu, ed
- Schmidt, Stefan
- Schmitt, Peter H
- Stephanidis, Constan...
- Tou, Julius T., ed
- Ur, Shmuel
- Virbitskaite, Irina
- Voronkov, Andrei
- Weippl, Edgar
- Zhang, Liang-Jie
- Ziv, Avi
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series