kb.pub

P - Musharof Chy

Mostrando 1 - 7 de 7 Negocios

Pierce, Benjamin C.

University of Pennsylvania. Programming languages, type systems, and distributed programming.

893 vistas
25 ene 2025

Prasad, Sanjiva

Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems

643 vistas
25 ene 2025

Pandya, Paritosh K.

Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal ...

818 vistas
25 ene 2025

Phatak, Deepak

Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance...

112 vistas
25 ene 2025

Perry, Dewayne

University of Texas at Austin - Software engineering, system evolution, large-scale systems.

491 vistas
25 ene 2025

Paulson, Lawrence C.

University of Cambridge - Interactive theorem proving and its applications.

630 vistas
25 ene 2025

Pitts, Andrew

University of Cambridge - Applications of mathematical logic and category theory to computer scienc...

550 vistas
25 ene 2025