Refine your search
Availability
-
Authors
- 13th FST & TCS Confe...
- 15th FST & TCS Confe...
- 5th International Co...
- Arvind, V., ed
- Bjorner, D., ed
- Bodart, Francois., e...
- Brown, G., ed
- Cauvet, Corine., ed
- Conference on Founda...
- Conference on founda...
- Conference on Founda...
- Conference on Founda...
- Conradi, Reidar., ed
- Diemel, Lionel E., e...
- ed. by D. Bjorner, C...
- European Software En...
- Gaudel, M.-C., ed
- Ghezzi, C. McDevmid,...
- Glowinski, R.,ed
- Hoare, C.A.R., ed
- Institut de Recherch...
- International Confer...
- International Joint ...
- International Sympos...
- International Sympos...
- International Worksh...
- Jouannaud, J.-P., ed
- Kunii, Tosiyasu L.
- Langmaack, H., ed
- Leeser, M., ed
- Lions, J.L.,ed
- Nivat, Maurice., ed
- Nordic Conference CA...
- Raman, V., ed
- Ramanujam, R., ed
- Ramanujan, R., ed
- Ramesh, S., ed
- Rangan, C. Pandu, ed
- Rolland, Coletto., e...
- Shyamasundar, R.K., ...
- Sivakumar, G., ed
- Sommerville, Ian., e...
- Steinholtz, B. Solvb...
- Thiagarajan, P.S., e...
- Wirsing, Martin., ed
- Workshop on Software...
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series