語系
Harrison, John.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Metropolitan regions, planning and governance
by:
Galland, Daniel.; Harrison, John.; SpringerLink (Online service); Zimmermann, Karsten.
(書目-電子資源)
Theorem proving in higher order logics13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
by:
(1998 :); Aagaard, Mark.; Harrison, John.; SpringerLink (Online service)
(書目-電子資源)
Computer Science -- Theory and ApplicationsFirst International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /
by:
(1998 :); Grigoriev, Dima.; Harrison, John.; Hirsch, Edward A.; SpringerLink (Online service)
(書目-電子資源)
主題
Computing Methodologies.
Theory of Computation.
Local government.
Bioinformatics.
Mathematics of Computing.
City planning.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Automatic theorem proving
Public Administration.
Metropolitan areas.
Urban Geography / Urbanism (inc. megacities, cities, towns)
Governance and Government.
Computer science
Computer Science.
Urban Studies/Sociology.