語系
Kreowski, Hans-Jorg.
概要
| 作品: | 2 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
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.
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Computer software.
Computer software- Development
Computer systems- Design.
Engineering.
Theory of Computation.
Computer science- Mathematics
Engineering Economics, Organization, Logistics, Marketing.
Compressibility (Physics)
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Production/Logistics.
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