Search results 2
Paper図書
National Diet Library
- LCCQA76.758
- Subject HeadingSoftware engineering--Congresses. Formal methods (Computer science)--...
- Note (General)An abstract and papers. IEEE cat no CFP10SEF-PRT.
Paper図書
National Diet Library
- RLIN No.CSUGA6267004-B
- Subject HeadingHuman-computer interaction -- Congresses.
- Note (General)Abstracts and papers. "INTERACT is its flagship conference, staged biennially in different countries in ...
Reached to the end of result.