Jump to main content

yr 〜
yr

Search results 5

Multi-objective optimization using artificial intelligence techniques [: pbk.]

Multi-objective optimization using artificial intelligence techniques [: pbk.]
Paper図書
Seyedali Mirjalili, Jin Song DongSpringerc2020
Other Libraries in Japan
  • Author HeadingMirjalili, Seyedali Dong, Jin Song

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
Paper図書
Jin Song Dong, Jim Woodcock (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingICFEM Dong, Jin Song Woodcock, James

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)
Paper図書
Springerc2010.<M17-11-2057>
National Diet Library
  • Author Heading...ing Institute. Dong, Jin Song, 1967- Zhu, Huibiao. Internat...

Formal methods and software engineering : 5th international conference on formal engineering methods, ICFEM 2003 : Singapore, November 5-7, 2003 : proceedings. : Nov 2003, Singapore. (Lecture Notes in Computer Science ; 2885)

Formal methods and software engineering : 5th international conference on formal engineering methods, ICFEM 2003 : Singapore, November 5-7, 2003 : proceedings. : Nov 2003, Singapore. (Lecture Notes in Computer Science ; 2885)
Paper図書
Springer-Verlagc2003.<M17-04-2584>
National Diet Library
  • Author Heading...ce Department. Dong, Jin Song, 1967- Woodcock, Jim. Interna...

Heterocycles : an international journal for reviews and communications in heterocyclic chemistry

Heterocycles : an international journal for reviews and communications in heterocyclic chemistry
Paper雑誌雑誌タイトル
Japan Institute of Heterocyclic Chemistry1973-2023<Z53-T62>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS