語系
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
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