Jump to main content

yr 〜
yr

Search results 28

Software technology : 10 years of innovation in IEEE Computer

Software technology : 10 years of innovation in IEEE Computer
Paper図書
edited by Mike HincheyIEEE Computer Society, Inc.2018<M159-D15>
National Diet Library

Conquering complexity

Conquering complexity
Paper図書
Mike Hinchey, Lorcan Coyle, editors ; foreword by Roger PenroseSpringerc2012
Other Libraries in Japan

Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers

Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers
Paper図書
Michael G. Hinchey ... [et al.] (eds.)Springerc2006
Other Libraries in Japan

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings
Paper図書
Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)Springerc2007
Other Libraries in Japan

Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers

Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
Paper図書
Michael G. Hinchey ... [et al.] (eds.)Springerc2005
Other Libraries in Japan

Formal approaches to agent-based systems : second international workshop, FAABS 2002 : Greenbelt, MD, USA, October 29-31, 2002 : revised papers. : Oct 2002, Greenbelt, MD. (Lecture Notes in Computer Science ; 2699. Lecture Notes in Artificial Intelligence)

Formal approaches to agent-based systems : second international workshop, FAABS 2002 : Greenbelt, MD, USA, October 29-31, 2002 : revised papers. : Oct 2002, Greenbelt, MD. (Lecture Notes in Computer Science ; 2699. Lecture Notes in Artificial Intelligence)
Paper図書
Springer-Verlagc2003.<M17-04-981>
National Diet Library

Software engineering and formal methods : 10th international conference, SEFM 2012 : Thessaloniki, Greece, October 1-5, 2012 : proceedings : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7504)

Software engineering and formal methods : 10th international conference, SEFM 2012 : Thessaloniki, Greece, October 1-5, 2012 : proceedings : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7504)
Paper図書
Springerc2012.<M17-13-663>
National Diet Library

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.
Paper図書
IEEE Computer Societyc2007.<M17-09-1577>
National Diet Library

Formal approaches to agent-based systems : second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers

Formal approaches to agent-based systems : second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
Paper図書
Michael G. Hinchey ... [et al.] (eds.)Springerc2003
Other Libraries in Japan

Fourth IEEE international workshop on engineering of autonomic & autonomous systems : proceedings : March 26-29 2007, Tucson, AZ, USA : EASe third special session on autonomous and autonomic space exploration systems (AA-SES-3) : March 6-8 2007, Baltimore, MD, USA. : Tucson meeting : Mar 2007, Tucson, AZ.

Fourth IEEE international workshop on engineering of autonomic & autonomous systems : proceedings : March 26-29 2007, Tucson, AZ, USA : EASe third special session on autonomous and autonomic space exploration systems (AA-SES-3) : March 6-8 2007, Baltimore, MD, USA. : Tucson meeting : Mar 2007, Tucson, AZ.
Paper図書
IEEE Computer Societyc2007.<M17-08-2294>
National Diet Library

Formal methods and software engineering : 9th international conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : proceedings. : Nov 2007, Boca Raton, FL. (Lecture Notes in Computer Science ; 4789)

Formal methods and software engineering : 9th international conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : proceedings. : Nov 2007, Boca Raton, FL. (Lecture Notes in Computer Science ; 4789)
Paper図書
Springerc2007.<M17-08-124>
National Diet Library

Understanding formal methods

Understanding formal methods
Paper図書
written and translated by Jean-François Monin ; translation editor, Michael G. HincheySpringerc2003
Other Libraries in Japan
  • Author HeadingMonin, Jean François Hinchey, Michael G. (...Michael Gerard...)

Distributed, parallel and biologically inspired systems : 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. : 21st IFIP world computer congress : 7th IFIP conference on distributed and parallel embedded systems : 3rd IFIP conference on biologically-inspired collaborative computing : Sep 2010, Brisbane, Australia. (IFIP Advances in Information and Communication Technology ; 329)

Distributed, parallel and biologically inspired systems : 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. : 21st IFIP world computer congress : 7th IFIP conference on distributed and parallel embedded systems : 3rd IFIP conference on biologically-inspired collaborative computing : Sep 2010, Brisbane, Australia. (IFIP Advances in Information and Communication Technology ; 329)
Paper図書
Springerc2010.<M17-11-1325>
National Diet Library

Third IEEE international workshop on engineering of autonomic & autonomous systems : EASe 2006 : proceedings : March 27-30 2006 Potsdam, Germany : April 24-28 2006 Columbia, MD, USA. : Mar 2006, Potsdam, Germany.

Third IEEE international workshop on engineering of autonomic & autonomous systems : EASe 2006 : proceedings : March 27-30 2006 Potsdam, Germany : April 24-28 2006 Columbia, MD, USA. : Mar 2006, Potsdam, Germany.
Paper図書
IEEE Computer Societyc2006.<M17-06-3077>
National Diet Library

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers
Paper図書
James L. Rash ... [et al.] (eds.)Springerc2001
Other Libraries in Japan

Innovative concepts for agent-based systems : first international workshop on radical agent concepts : WRAC 2002 : McLean, VA, USA, January 16-18, 2002 : revised papers. : 1st GSFC/JPL workshop on radical agent concepts : Jan 2002, McLean, VA. (Lecture Notes in Computer Science ; 2564. Lecture Notes in Artificial Intelligence)

Innovative concepts for agent-based systems : first international workshop on radical agent concepts : WRAC 2002 : McLean, VA, USA, January 16-18, 2002 : revised papers. : 1st GSFC/JPL workshop on radical agent concepts : Jan 2002, McLean, VA. (Lecture Notes in Computer Science ; 2564. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-07-820>
National Diet Library

High-integrity system specification and design : pbk

High-integrity system specification and design : pbk
Paper図書
Jonathon P. Bowen and Michael G. HincheySpringerc1999
Other Libraries in Japan

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice
Paper図書
Michael G. Hinchey and Jonathan P. Bowen, [editors]Springerc1999
Other Libraries in Japan

Seventh IEEE international conference on engineering of complex computer systems : proceedings : Skovde, Sweden June 11-13, 2001. : Jun 2001, Skovde, Sweden.

Seventh IEEE international conference on engineering of complex computer systems : proceedings : Skovde, Sweden June 11-13, 2001. : Jun 2001, Skovde, Sweden.
Paper図書
IEEE Computer Societyc2001.<M17-03-3248>
National Diet Library

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings
Paper図書
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)Springerc1998
Other Libraries in Japan
RSS