Jump to main content

yr 〜
yr

Search results 10

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

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

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
  • Author HeadingIFIP. Technical Committee 10. Hinchey, Michael G. (Michael Gerard) , 1969- TC10 Working Conference on Di...

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
  • Author HeadingHinchey, Michael G. (Michael Gerard) , 1969- Margaria-Steffen, Tiziana, 19...

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
  • Author HeadingSterritt, Roy, 1971- Hinchey, Michael G. (Michael Gerard) , 1969- Bapty, Theodore A. (Theodore ...

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
  • Author Heading...Michael, 1967- Hinchey, Michael G. (Michael Gerard) , 1969- Larrondo-Petrie, María M. Int...

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
  • Author HeadingHinchey, Michael G. (Michael Gerard) , 1969- FAABS 2002 (2002 : Greenbelt,...

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
  • Author HeadingSterritt, Roy, 1971- Hinchey, Michael G. (Michael Gerard) , 1969- Bapty, Theodore A. (Theodore ...

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
  • Author Heading..., Chris, 1960- Hinchey, Michael G. (Michael Gerard) , 1969- International Workshop on Rad...

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
  • Author HeadingAndler, Sten F., 1947- Hinchey, Michael G. (Michael Gerard) , 1969- Offut, Jeff. IEEE Internation...

Reached to the end of result.

RSS