年 〜
年

検索結果 7 件

Global perspectives on design science research : 5th international conference, DESRIST 2010 : St. Gallen, Switzerland, June 4-5, 2010 : proceedings. : international conference on design science research in information systems and technology : Jun 2010, St. Gallen, Switzerland. (Lecture Notes in Computer Science ; 6105)

Global perspectives on design science research : 5th international conference, DESRIST 2010 : St. Gallen, Switzerland, June 4-5, 2010 : proceedings. : international conference on design science research in information systems and technology : Jun 2010, St. Gallen, Switzerland. (Lecture Notes in Computer Science ; 6105)
紙図書
Springerc2010.<M17-10-3344>
国立国会図書館
  • 件名...-- Congresses. Systementwurf. Informationssystem. Anwendung...

SDL 2009: design for motes and mobiles : 14th international SDL forum : Bochum, Germany, September 22-24, 2009 : proceedings. : Sep 2009, Bochum, Germany. (Lecture Notes in Computer Science ; 5719)

SDL 2009: design for motes and mobiles : 14th international SDL forum : Bochum, Germany, September 22-24, 2009 : proceedings. : Sep 2009, Bochum, Germany. (Lecture Notes in Computer Science ; 5719)
紙図書
Springerc2009.<M17-10-1642>
国立国会図書館
  • 件名...Systemanalyse. Systementwurf. UML. Bochum (2009) Kongress.

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010 : Antwerp, Belgium, September 20-21, 2010 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2010, Antwerp, Belgium. (Lecture Notes in Computer Science ; 6371)

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010 : Antwerp, Belgium, September 20-21, 2010 : proceedings. : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2010, Antwerp, Belgium. (Lecture Notes in Computer Science ; 6371)
紙図書
Springerc2010.<M17-11-7>
国立国会図書館
  • 件名...rmale Methode. Systementwurf. Model Checking. Verifikation....

Creating brain-like intelligence : from basic principles to complex intelligent systems. : international symposium creating brain-like intelligence : Feb 2007, Hohenstein, Germany. (Lecture Notes in Computer Science ; 5436. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)

Creating brain-like intelligence : from basic principles to complex intelligent systems. : international symposium creating brain-like intelligence : Feb 2007, Hohenstein, Germany. (Lecture Notes in Computer Science ; 5436. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)
紙図書
Springerc2009.<M17-10-900>
国立国会図書館

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)
紙図書
Springerc2009.<M17-10-1261>
国立国会図書館

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)
紙図書
Springerc2009.<M17-10-1593>
国立国会図書館

Fuzzy-neuro approach to agent applications : from the AI perspective to modern ontology : with 126 figures

Fuzzy-neuro approach to agent applications : from the AI perspective to modern ontology : with 126 figures
紙図書
Raymond S. T. LeeSpringerc2006
全国の図書館

検索結果は以上です。