Languages
Kreowski, Hans-Jorg.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Dynamics in logistics = third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 : proceedings /
by:
SpringerLink (Online service); Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.; Thoben, Klaus-Dieter.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Dynamics in logistics = econd International Conference, LDIC 2009, Bremen, Germany, August 2009 : proceedings /
by:
SpringerLink (Online service); Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.; Thoben, Klaus-Dieter.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Dynamics in Logistics = First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings /
by:
Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.; SpringerLink (Online service); Haasis, Hans-Dietrich.
(Language materials, printed)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
SpringerLink (Online service); Kreowski, Hans-Jorg.
(Language materials, printed)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Mossakowski, Till.; Kreowski, Hans-Jorg.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Mathematical Modeling and Industrial Mathematics.
Computer software.
Theory of Computation.
Compressibility (Physics)
Mathematics of Computing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Mathematical Logic and Foundations.
Logistics
Production/Logistics/Supply Chain Management.
Computer Applications.
Engineering.
Computer systems
Business logistics
Engineering Economics, Organization, Logistics, Marketing.
Fluid dynamics
Discrete Mathematics in Computer Science.
Production/Logistics.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.
Computer software