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