Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  • PDF
  • English
  • Year: 1989
  • Author: Jayadev Misra (auth.), Manfred Broy (eds.)
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)
Discipline of multiprogramming: programming theory for distributed applications
  • PDF
  • English
  • Year: 2012
  • Author: Misra, Jayadev
A discipline of multiprogramming: programming theory for distributed applications
  • DJVU
  • English
  • Year: 2001
  • Author: Misra, Jayadev
Effective Theories in Programming Practice
  • EPUB
  • English
  • Year: 2023
  • Author: Jayadev Misra
Effective Theories in Programming Practice
  • PDF
  • English
  • Year: 2023
  • Author: Jayadev Misra
Effective Theories in Programming Practice
  • PDF
  • English
  • Year: 2022
  • Author: Jayadev Misra
search