Languages
Kreowski, Hans-Jorg.
Overview
Works: | 2 works in 4 publications in 1 languages |
---|
Titles
Dynamics in Logistics = First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings /
by:
Haasis, Hans-Dietrich.; SpringerLink (Online service); Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.
(Electronic resources)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
Kreowski, Hans-Jorg.; Mossakowski, Till.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Dynamics in logistics = econd International Conference, LDIC 2009, Bremen, Germany, August 2009 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Kreowski, Hans-Jorg.; Scholz-Reiter, Bernd.; Thoben, Klaus-Dieter.
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer software.
Computer software- Development
Engineering.
Computer systems- Design.
Theory of Computation.
Computer science- Mathematics
Engineering Economics, Organization, Logistics, Marketing.
Compressibility (Physics)
Mathematics of Computing.
Production/Logistics.
Discrete Mathematics in Computer Science.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Logistics
Fluid dynamics- Data processing