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.
Engineering Economics, Organization, Logistics, Marketing.
Theory of Computation.
Fluid dynamics
Compressibility (Physics)
Discrete Mathematics in Computer Science.
Production/Logistics.
Mathematics of Computing.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Mathematical Logic and Foundations.
Computation by Abstract Devices.
Computer software
Logistics
Production/Logistics/Supply Chain Management.
Computer Applications.
Engineering.
Computer systems
Business logistics