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

Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

0
索取号：
作者：Eleftherakis、 George.、Hinchey、 Mike.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Distributed, Parallel and Biologically Inspired Systems [electronic resource] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Hinchey、 Mike.、Kleinjohann、 Bernd.、Kleinjohann、 Lisa.、Lindsay、 Peter A.、Rammig、 Franz J.、Timmis、 Jon.、Wolf、 Marilyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

0
索取号：
作者：Butler、 Michael.、Hinchey、 Michael G.、Larrondo-Petrie、 Mar铆a M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

0
索取号：
作者：Hinchey、 Michael G.、Rago、 Patricia.、Rash、 James L.、Rouff、 Christopher A.、Sterritt、 Roy.、Truszkowski、 Walt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

0
索取号：
作者：Hinchey、 Michael G.、Rash、 James L.、Truszkowski、 Walter F.、Rouff、 Christopher A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Agent Technology from a Formal Perspective [electronic resource]

0
索取号：
作者：Rouff、 Christopher A.、Hinchey、 Michael.、Rash、 James.、Truszkowski、 Walter.、Gordon-Spears、 Diana.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems [electronic resource] : With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

0
索取号：
作者：Truszkowski、 Walt.、Hallock、 Harold.、Rouff、 Christopher.、Karlin、 Jay.、Rash、 James.、Hinchey、 Michael.、Sterritt、 Roy.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2010.

Conquering Complexity [electronic resource]

0
索取号：
作者：Hinchey、 Mike.、Coyle、 Lorcan.、SpringerLink (Online service)、
出版社：London : Springer London, 2012.

Experience from the DARPA Urban Challenge [electronic resource]

0
索取号：
作者：Rouff、 Christopher.、Hinchey、 Mike.、SpringerLink (Online service)、
出版社：London : Springer London, 2012.

Biologically-Inspired Collaborative Computing [electronic resource] : IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8鈥鬠2008, Milano, Italy

0
索取号：
作者：Hinchey、 Mike.、Pagnoni、 Anastasia.、Rammig、 Franz J.、Schmeck、 Hartmut.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

0
索取号：TP301.2-532/E991/9
作者：International Conference of Z Users (9th : 1995 : Limerick、 Limerick、 Ireland)、Bowen、 J. P. (Jonathan Peter)、 1956-、Hinchey、 Michael G. (Michael Gerard)、 1969-、
出版社：Berlin ; New York : Springer, c1995.