本文に飛ぶ

年 〜
年

検索結果 331 件

2022 IEEE 29th Annual Software Technology Conference (STC)

2022 IEEE 29th Annual Software Technology Conference (STC)
デジタル電子書籍・電子雑誌図書
2022
国立国会図書館

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

2022 Third International Conference on Information Systems and Software Technologies (ICI2ST)
デジタル電子書籍・電子雑誌図書
2022
国立国会図書館

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

2021 Second International Conference on Information Systems and Software Technologies (ICI2ST)
デジタル電子書籍・電子雑誌図書
2021
国立国会図書館

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

2019 International Conference on Information Systems and Software Technologies (ICI2ST)
デジタル電子書籍・電子雑誌図書
2019
国立国会図書館

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

C言語による標準アルゴリズム事典 改訂新版 (Software Technology ; 13)
紙図書
奥村晴彦 著技術評論社2018.5<M159-L1447>
国立国会図書館全国の図書館
  • 関連情報Software technology
  • 掲載誌Software technology

Software technology : 10 years of innovation in IEEE Computer

Software technology : 10 years of innovation in IEEE Computer
紙図書
edited by Mike HincheyIEEE Computer Society, Inc.2018<M159-D15>
国立国会図書館

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
紙図書
Mitsuhia Sato, editor.Springer[2019]<M159-B169>
国立国会図書館

2017 IEEE 28th Annual Software Technology Conference (STC)

2017 IEEE 28th Annual Software Technology Conference (STC)
デジタル電子書籍・電子雑誌図書
2017
国立国会図書館

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)
紙図書
Springer[2015]<M17-16-371>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-752>
国立国会図書館

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)
紙図書
Springerc2013.<M17-13-3343>
国立国会図書館

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

2015 10th International Joint Conference on Software Technologies (ICSOFT)
デジタル電子書籍・電子雑誌図書
2015
国立国会図書館

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)
紙図書
Springerc2012.<M17-12-4090>
国立国会図書館

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)
紙図書
Springerc2011.<M17-12-15>
国立国会図書館

2010 2nd International Conference on Software Technology and Engineering

2010 2nd International Conference on Software Technology and Engineering
デジタル電子書籍・電子雑誌図書
2010
国立国会図書館
  • その他のタイトル（略タイトル）SOFTWARE 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.
紙図書
ASME Pressc2012.<M17-14-367>
国立国会図書館
  • その他のタイトル... conference on software technology and engineering : Phuket, Tha...
  • 著者標目International 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)
紙図書
Springerc2010.<M17-10-3346>
国立国会図書館

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)
紙図書
Springer[2015]<M17-16-412>
国立国会図書館

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)
紙図書
Springerc2013.<M17-13-3387>
国立国会図書館

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)
紙図書
Springer[2014]<M17-15-1251>
国立国会図書館
RSS