Jayadev Misra (auth.)

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

1989 · ENGLISH · DJVU

View details →

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2009 · ENGLISH · PDF

View details →

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

1992 · ENGLISH · PDF

View details →

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

1989 · ENGLISH · PDF

View details →

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

2011 · ENGLISH · PDF

View details →

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

2011 · ENGLISH · PDF

View details →

PARLE '91 Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

1991 · ENGLISH · DJVU

View details →

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

1992 · ENGLISH · DJVU

View details →

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2009 · ENGLISH · PDF

View details →