語系
Montanari, Ugo.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(1998 :); Corradini, Andrea.; Montanari, Ugo.; SpringerLink (Online service)
(書目-電子資源)
Automata, languages and programming27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(1998 :); Montanari, Ugo.; Rolim, Jose D. P.; SpringerLink (Online service); Welzl, Emo.
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Logics and Meanings of Programs.
Machine theory
Software Engineering/Programming and Operating Systems.
Computer software
Computation by Abstract Devices.
Programming languages (Electronic computers)
Computer science
Computer Science.