Author books / Книги автора Jayadev Misra » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Jayadev Misra

book Effective Theories in Programming Practice

Effective Theories in Programming Practice

pdf

Author: Jayadev Misra
Language: English
Year: 2022

00

02.03.2024

0

0

book Effective Theories in Programming Practice

Effective Theories in Programming Practice

pdf

Author: Jayadev Misra
Language: English
Year: 2023

00

02.03.2024

0

0

book Effective Theories in Programming Practice

Effective Theories in Programming Practice

epub

Author: Jayadev Misra
Language: English
Year: 2023

00

02.03.2024

0

0

book Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

pdf

Author: Cliff B. Jones Jayadev Misra
Language: English
Year: 2021

00

15.02.2024

0

0

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

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

djvu

Author: Jayadev Misra (auth.) Manfred Broy (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book 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

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

pdf

Author: David Kitchin Adrian Quark William Cook Jayadev Misra (auth.) David Lee Antónia Lopes Arnd Poetzsch-Heffter (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

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

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

pdf

Author: Jayadev Misra (auth.) Jean Pierre Banâtre Daniel Le Métayer (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

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

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

pdf

Author: Jayadev Misra (auth.) Manfred Broy (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book A Discipline of Multiprogramming: Programming Theory for Distributed Applications

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

pdf

Author: Jayadev Misra
Language: English
Year: 2001

00

27.01.2024

0

0

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

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

pdf

Author: Jayadev Misra (auth.) Antonio Cerone Pekka Pihlajasaari (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0