kb.pub

P - Musharof Chy

عرض 1 - 7 من 7 الشركات

Pierce, Benjamin C.

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

893 مشاهدات
٢٥ يناير ٢٠٢٥

Prasad, Sanjiva

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

643 مشاهدات
٢٥ يناير ٢٠٢٥

Pandya, Paritosh K.

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

818 مشاهدات
٢٥ يناير ٢٠٢٥

Phatak, Deepak

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

112 مشاهدات
٢٥ يناير ٢٠٢٥

Perry, Dewayne

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

491 مشاهدات
٢٥ يناير ٢٠٢٥

Paulson, Lawrence C.

University of Cambridge - Interactive theorem proving and its applications.

630 مشاهدات
٢٥ يناير ٢٠٢٥

Pitts, Andrew

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

550 مشاهدات
٢٥ يناير ٢٠٢٥