Jump to main content

yr 〜
yr

Search results 330

2022 IEEE 29th Annual Software Technology Conference (STC)

2022 IEEE 29th Annual Software Technology Conference (STC)
Digital電子書籍・電子雑誌図書
2022
National Diet Library

2022 Third International Conference on Information Systems and Software Technologies (ICI2ST)

2022 Third International Conference on Information Systems and Software Technologies (ICI2ST)
Digital電子書籍・電子雑誌図書
2022
National Diet Library

2021 Second International Conference on Information Systems and Software Technologies (ICI2ST)

2021 Second International Conference on Information Systems and Software Technologies (ICI2ST)
Digital電子書籍・電子雑誌図書
2021
National Diet Library

2019 International Conference on Information Systems and Software Technologies (ICI2ST)

2019 International Conference on Information Systems and Software Technologies (ICI2ST)
Digital電子書籍・電子雑誌図書
2019
National Diet Library

C言語による標準アルゴリズム事典 改訂新版 (Software Technology ; 13)

C言語による標準アルゴリズム事典 改訂新版 (Software Technology ; 13)
Paper図書
奥村晴彦 著技術評論社2018.5<M159-L1447>
National Diet LibraryOther Libraries in Japan
  • Related MaterialSoftware technology
  • Periodical TitleSoftware technology

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

Advanced software technologies for post-Peta scale computing : the Japanese post-Peta CREST research project

Advanced software technologies for post-Peta scale computing : the Japanese post-Peta CREST research project
Paper図書
Mitsuhia Sato, editor.Springer[2019]<M159-B169>
National Diet Library

2017 IEEE 28th Annual Software Technology Conference (STC)

2017 IEEE 28th Annual Software Technology Conference (STC)
Digital電子書籍・電子雑誌図書
2017
National Diet Library

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)
Paper図書
Springer[2015]<M17-16-371>
National Diet Library

Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 8454)

Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 8454)
Paper図書
Springer[2014]<M17-15-752>
National Diet Library

Reliable software technologies -- Ada Europe 2013 : 18th Ada-Europe international conference on reliable software technologies : Berlin, Germany, June 10-14 2013, proceedings : Jun 2013, Berlin, Germany. (Lecture Notes in Computer Science ; 7896)

Reliable software technologies -- Ada Europe 2013 : 18th Ada-Europe international conference on reliable software technologies : Berlin, Germany, June 10-14 2013, proceedings : Jun 2013, Berlin, Germany. (Lecture Notes in Computer Science ; 7896)
Paper図書
Springerc2013.<M17-13-3343>
National Diet Library

2015 10th International Joint Conference on Software Technologies (ICSOFT)

2015 10th International Joint Conference on Software Technologies (ICSOFT)
Digital電子書籍・電子雑誌図書
2015
National Diet Library

Reliable software technologies -- Ada-Europe 2012 : 17th Ada-Europe international conference on reliable software technologies : Stockholm, Sweden, June 11-15, 2012 : proceedings : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7308)

Reliable software technologies -- Ada-Europe 2012 : 17th Ada-Europe international conference on reliable software technologies : Stockholm, Sweden, June 11-15, 2012 : proceedings : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7308)
Paper図書
Springerc2012.<M17-12-4090>
National Diet Library

Reliable software technologies -- Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies : Edinburgh, UK, June 20-24, 2011 : proceedings : Jun 2011, Edinburgh, UK. (Lecture Notes in Computer Science ; 6652)

Reliable software technologies -- Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies : Edinburgh, UK, June 20-24, 2011 : proceedings : Jun 2011, Edinburgh, UK. (Lecture Notes in Computer Science ; 6652)
Paper図書
Springerc2011.<M17-12-15>
National Diet Library

2010 2nd International Conference on Software Technology and Engineering

2010 2nd International Conference on Software Technology and Engineering
Digital電子書籍・電子雑誌図書
2010
National Diet Library
  • Abbreviated TitleSOFTWARE TECHNOLOGY AND ENGINEERING

4th international conference on software technology and engineering : ICSTE 2012 : Phuket, Thailand : Sep 2012, Phuket, Thailand.

4th international conference on software technology and engineering : ICSTE 2012 : Phuket, Thailand : Sep 2012, Phuket, Thailand.
Paper図書
ASME Pressc2012.<M17-14-367>
National Diet Library
  • Additional Title... conference on software technology and engineering : Phuket, Tha...
  • Author HeadingInternational Conference on Software Technology and Engineering (4th : 2012 :...

Reliable software technologies -- Ada-Europe 2010 : 15th Ada-Europe international conference on reliable software technologies : Valencia, Spain, June 14-18, 2010 : proceedings. : Jun 2010, Valencia, Spain. (Lecture Notes in Computer Science ; 6106)

Reliable software technologies -- Ada-Europe 2010 : 15th Ada-Europe international conference on reliable software technologies : Valencia, Spain, June 14-18, 2010 : proceedings. : Jun 2010, Valencia, Spain. (Lecture Notes in Computer Science ; 6106)
Paper図書
Springerc2010.<M17-10-3346>
National Diet Library

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)
Paper図書
Springer[2015]<M17-16-412>
National Diet Library

Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2014, York, UK. (Lecture Notes in Computer Science ; 8570)

Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2014, York, UK. (Lecture Notes in Computer Science ; 8570)
Paper図書
Springer[2014]<M17-15-1251>
National Diet Library

Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)

Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)
Paper図書
Springerc2013.<M17-13-3387>
National Diet Library
RSS