Ribeiro, Pedro.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Unifying theories of programming7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
by:
(1998 :); Hoare, C. A. R. (1934-); Ribeiro, Pedro.; Sampaio, Augusto.; SpringerLink (Online service)
(書目-電子資源)
Network science7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 8-11, 2022 : proceedings /
by:
(1998 :); Ribeiro, Pedro.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer and Information Systems Applications.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Application in Social and Behavioral Sciences.
Computer Engineering and Networks.
Computer Systems Organization and Communication Networks.
Computer networks