語系
Kreowski, Hans-Jorg.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dynamics in logisticsecond International Conference, LDIC 2009, Bremen, Germany, August 2009 : proceedings /
by:
(1998 :); Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.; SpringerLink (Online service); Thoben, Klaus-Dieter.
(書目-電子資源)
Transhumanismthe proper guide to a posthuman condition or a dangerous idea? /
by:
Hofkirchner, Wolfgang.; Kreowski, Hans-Jorg.; SpringerLink (Online service)
(書目-電子資源)
Formal Methods in Software and Systems ModelingEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
Kreowski, Hans-Jorg.; SpringerLink (Online service)
(書目-電子資源)
Recent trends in algebraic development techniques20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(1998 :); Kreowski, Hans-Jorg.; Mossakowski, Till.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Transhumanism.
Philosophy of mind.
Philosophy.
Philosophy of Technology.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer systems
Computation by Abstract Devices.
Production/Logistics.
Computer software
Technology
Philosophy of Mind.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Engineering Economics, Organization, Logistics, Marketing.
Computer science
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Logistics
Engineering.
Computer software.
Artificial intelligence.