語系
Kreowski, Hans-Jorg.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
主題
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