大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Huth 的图书(共4本)

Organizing Cross-Functional New Product Development Projects [electronic resource] : The Phase-Specific Effects of Organizational Antecedents

0
索取号：
作者：Huth、 Tobias.、SpringerLink (Online service)、
出版社：Wiesbaden : Gabler, 2008.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑系统建模与推理

0
索取号：TP301/E991.2-2
作者：Huth、 Michael、 1962-、Ryan、 Mark、 1962-、
出版社：北京 : China Machine Press, 2005.

Logic in computer science : modelling and reasoning about systems

0
索取号：TP301/E991
作者：Huth、 Michael、 1962-、Ryan、 Mark、 1962-、
出版社：New York : Cambridge University Press, 1999.