WorldCat Identities

Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku

Overview
Works: 94 works in 132 publications in 2 languages and 1,788 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Organizer of meeting
Publication Timeline
.
Most widely held works about Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku
 
Most widely held works by Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku
International Symposium on Parallel Architectures, Algorithms, and Networks : [proceedings] by Algorithms, and Networks International Symposium on Parallel Architectures( )

in English and held by 262 WorldCat member libraries worldwide

International Symposium on Principles of Software Evolution : proceedings, Kanazawa, Japan, November 1-2, 2000 by Takuya Katayama( )

5 editions published in 2000 in English and held by 246 WorldCat member libraries worldwide

This collection of 39 papers from the November 2000 symposium discusses reactive systems, design patterns, dynamic adaptability, constraint management, source code handling, language support for object evolution, and operating systems support. Some of the topics are simulating the impact of business process management agents and human factors, speed and scale up software reengineering with abstraction patterns and rules, dynamic compilation of a reflective language using run-time specialization, and a meta-model for language independent refactoring. Other topics include an evolution tableau method for temporal logic specifications, programmable environment calculus as theory of dynamic software evolution, and verifying formal specifications using fault tree analysis. No subject index. c. Book News Inc
IHMSC 2009 : 2009 International Conference on Intelligent Human-Machine Systems and Cybernetics : proceedings, 26-27 August 2009, Hangzhou, Zhejiang, China by International Conference on Intelligent Human-Machine Systems and Cybernetics( )

3 editions published in 2009 in English and held by 221 WorldCat member libraries worldwide

SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam by International Conference on Software Engineering and Formal Methods( )

4 editions published in 2009 in English and held by 206 WorldCat member libraries worldwide

Proceedings, 2011 Third International Conference on Intelligent Human-Machine Systems and Cybernetics : IHMSC 2011 : 26-27 August 2011, Hangzhou, Zhejiang, China by International Conference on Intelligent Human-Machine Systems and Cybernetics( )

1 edition published in 2011 in English and held by 202 WorldCat member libraries worldwide

Proceedings of the 1994 International Symposium on Parallel Architectures, Algorithms, and Networks (ISPAN) : December 14-16, 1994, Kanazawa, Japan by Algorithms, and Networks International Symposium on Parallel Architectures( )

2 editions published in 1994 in English and held by 198 WorldCat member libraries worldwide

IHMSC 2010 : 2010 Second International Conference on Intelligent Human-Machine Systems and Cybernetics : proceedings, 26-28 August 2010, Nanjing, Jiangsu, China by International Conference on Intelligent Human-Machine Systems and Cybernetics( )

2 editions published in 2010 in English and held by 182 WorldCat member libraries worldwide

International Symposium on Parallel Architectures, Algorithms, and Networks (ISPAN) : proceedings of the 1994, December 14-16, 1994, Kanazawa, Japan by Algorithms, and Networks International Symposium on Parallel Architectures( Book )

6 editions published between 1994 and 2001 in English and held by 62 WorldCat member libraries worldwide

Heterogeneous Ziegler-Natta catalysts : selected contributions from the conference in JAIST, Ishikawa (Japan), March 18-21, 2007 by International Workshop on Heterogenous Ziegler-Natta Catalysts( Book )

6 editions published in 2007 in English and held by 30 WorldCat member libraries worldwide

Proceedings by International Conference on Intelligent Human-Machine Systems and Cybernetics( )

in English and held by 28 WorldCat member libraries worldwide

2015 IEEE International Conference on Knowledge and Systems Engineering : proceedings : 8-10 October, Ho Chi Minh City, Vietnam by International Conference on Knowledge and Systems Engineering( )

1 edition published in 2015 in English and held by 17 WorldCat member libraries worldwide

Annotation
2014 Sixth International Conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC 2014 : proceedings : Hangzhou, Zhejiang, China, 26-27 August 2014 by International Conference on Intelligent Human-Machine Systems and Cybernetics( )

1 edition published in 2014 in English and held by 16 WorldCat member libraries worldwide

2016 Eighth International Conference on Knowledge and Systems Engineering (KSE) : proceedings : October 6-8, 2016, Hanoi, Vietnam by International Conference on Knowledge and Systems Engineering( )

1 edition published in 2016 in English and held by 14 WorldCat member libraries worldwide

The KSE conference is an open international forum for presentation, discussion and exchange of the latest advances and challenges in research of Knowledge and Systems Engineering. The main objective of the conference is to bring together researchers, academics, practitioners and students not only to share research results and practical applications but also to foster collaboration in research and education in KSE. KSE solicits contributions dealing with any aspects of Knowledge and Systems Engineering. The list of main topics includes (but is not limited to) Natural Language Processing Multimedia & Pattern Recognition Evolutionary Learning Information Security Biomedical Information Processing Knowledge Representation and Reasoning Data Mining & Big Data Information System Engineering Knowledge Management System Engineering Software Systems Engineering Web Services Cloud Computing, Computing Models Human Machine Interaction
Proceedings of the 10th International Conference on Narrow Gap Semiconductors and Related Small Energy Phenomena, Physics and Applications : NGS10 : May 27-31, 2001 : Japan Advanced Institute of Science and Technology and Kanazawa Kokusai Hotel, Ishikawa, Japan by International Conference on Narrow-Gap Semiconductors and Related Materials( Book )

1 edition published in 2001 in English and held by 5 WorldCat member libraries worldwide

Sangyō no sābisuka ron eno apurōchi( Book )

2 editions published in 2010 in Japanese and held by 4 WorldCat member libraries worldwide

Kagaku gijutsu no furontia o hiraku gakujutsu no mori( Book )

3 editions published between 2006 and 2007 in Japanese and held by 3 WorldCat member libraries worldwide

Nano technology 2005( )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

International Symposium on Nanotechnology held at JAIST, 2003 : [Second Nano Technology International Conference (JAISTNT 2003) at Hokuriku area in Japan] by International Symposium on Nanotechnology( Book )

2 editions published in 2004 in English and held by 2 WorldCat member libraries worldwide

JAIST international symposium on nano technology 2004( )

1 edition published in 2005 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.50 for Proceeding ... to 0.98 for Welcome to ...)

International Symposium on Principles of Software Evolution : proceedings, Kanazawa, Japan, November 1-2, 2000
Covers
Alternative Names
collège doctoral de sciences et techniques de Hokuriku

Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku

JAIST

JAIST (Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku)

JAIST. School of Knowledge Science

Japan Advanced Institute of Science and Technology

Japan Advanced Institute of Science and Technology, Hokuriku

Japan Advanced Institute of Science and Technology. School Knowledge Science

Sefydliad Gwyddoniaeth a Thechnoleg Uwch Japan

호쿠리쿠 첨단과학기술대학원대학

ホクリク センタン カガク ギジュツ ダイガクイン ダイガク

ホクリク センタン カガク ギジュツ ダイガクイン ダイガク チシキ カガク ケンキュウカ

北陸先端科学技術大学院大学

北陸先端科学技術大学院大学. 知識科学研究科

日本北陆先端科学技术大学院大学

Languages