語系
Kreowski, Hans-Jorg.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Transhumanism = the proper guide to a posthuman condition or a dangerous idea? /
by:
Hofkirchner, Wolfgang.; Kreowski, Hans-Jorg.; SpringerLink (Online service)
(書目-電子資源)
Dynamics in logistics = econd International Conference, LDIC 2009, Bremen, Germany, August 2009 : proceedings /
by:
Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.; Thoben, Klaus-Dieter.; SpringerLink (Online service)
(書目-電子資源)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
Mossakowski, Till.; Kreowski, Hans-Jorg.; SpringerLink (Online service)
(書目-電子資源)
Dynamics in Logistics = First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings /
by:
Haasis, Hans-Dietrich.; Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
Kreowski, Hans-Jorg.; 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.
Computation by Abstract Devices.
Production/Logistics.
Philosophy of Mind.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Compressibility (Physics)
Computer science- Mathematics
Technology- Philosophy.
Engineering Economics, Organization, Logistics, Marketing.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Fluid dynamics- Data processing
Engineering.
Logistics
Computer software- Development
Computer software.
Computer systems- Design.
Artificial intelligence.