Kreowski, Hans-Jorg.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
Transhumanismthe proper guide to a posthuman condition or a dangerous idea? /
by:
Hofkirchner, Wolfgang.; Kreowski, Hans-Jorg.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.