本文に飛ぶ

年 〜
年

検索結果 2,992 件

Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 : Philadelphia, PA, USA, January 22-24, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7148)

Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 : Philadelphia, PA, USA, January 22-24, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7148)
紙図書
Springerc2012.<M17-12-2131>
国立国会図書館
  • 著者標目Association for Computing Machinery.

EuroSys'11 : proceedings of the EuroSys 2011 conference : April 10-April 13, 2011 : Salzburg, Austria : 6th ACM EuroSys conference on computer systems : Apr 2011, Salzburg, Austria.

EuroSys'11 : proceedings of the EuroSys 2011 conference : April 10-April 13, 2011 : Salzburg, Austria : 6th ACM EuroSys conference on computer systems : Apr 2011, Salzburg, Austria.
紙図書
Association for Computing Machineryc2011.<M17-13-863>
国立国会図書館
  • 著者標目EuroSys (Conference) (6th : 2011 : Salzburg, Austria) Association for Computing Machinery.

Motion in games : 4th international conference, MIG 2011 : Edinburgh, UK, November 13-15, 2011 : proceedings : motion in games events : MIG2011 : Nov 2011, Edinburgh, UK. (Lecture Notes in Computer Science ; 7060)

Motion in games : 4th international conference, MIG 2011 : Edinburgh, UK, November 13-15, 2011 : proceedings : motion in games events : MIG2011 : Nov 2011, Edinburgh, UK. (Lecture Notes in Computer Science ; 7060)
紙図書
Springerc2011.<M17-12-1771>
国立国会図書館
  • 著者標目... Petros, 1970- Association for Computing Machinery. ACM SIGGRAPH.

2014 5th workshop on latest advances in scalable algorithms for large-scale systems : (ScalA 2014) : New Orleans, Louisiana, USA : 17 November 2014 : SC14 : international conference for high performance computing, networking, storage and analysis : SC'14 : Nov 2014, Ner Orleans, LA.

2014 5th workshop on latest advances in scalable algorithms for large-scale systems : (ScalA 2014) : New Orleans, Louisiana, USA : 17 November 2014 : SC14 : international conference for high performance computing, networking, storage and analysis : SC'14 : Nov 2014, Ner Orleans, LA.
紙図書
IEEE[2014]<M17-16-1598>
国立国会図書館
  • 著者標目... Orleans, La.) Association for Computing Machinery. Institute of Electrical and ...

16th ACM symposium on virtual reality software and technology 2009 : (VRST 2009) : Kyoto, Japan : 18-20 November 2009. : ACM VRST 2009 conference : Nov 2009, Kyoto, Japan.

16th ACM symposium on virtual reality software and technology 2009 : (VRST 2009) : Kyoto, Japan : 18-20 November 2009. : ACM VRST 2009 conference : Nov 2009, Kyoto, Japan.
紙図書
Association for Computing Machineryc2009.<M17-10-2494>
国立国会図書館
  • 著者標目Association for Computing Machinery. Virtual Reality Society of J...

2nd international conference on information interaction in context 2008 : (IIiX 2008) : London, United Kingdom : 14-17 October 2008. : 2nd IIiX symposium : Oct 2008, London, UK. (ACM International Conference Proceedings Series ; 348)

2nd international conference on information interaction in context 2008 : (IIiX 2008) : London, United Kingdom : 14-17 October 2008. : 2nd IIiX symposium : Oct 2008, London, UK. (ACM International Conference Proceedings Series ; 348)
紙図書
Association for Computing Machineryc2008.<M17-10-2969>
国立国会図書館
  • 著者標目British Computer Society. Association for Computing Machinery.

6th international joint conference on autonomous agents and multiagent systems : AAMAS 2007 : May 14-18, 2007 : Honolulu, Hawaii, USA. : AAMAS-07 : 5-day AAMAS event : 6th intl. joint conf. on autonomous agents and multi-agent systems : May 2007, Honolulu, HI.

6th international joint conference on autonomous agents and multiagent systems : AAMAS 2007 : May 14-18, 2007 : Honolulu, Hawaii, USA. : AAMAS-07 : 5-day AAMAS event : 6th intl. joint conf. on autonomous agents and multi-agent systems : May 2007, Honolulu, HI.
紙図書
c2007.<M17-11-656>
国立国会図書館
  • 著者標目Association for Computing Machinery.

Proceedings of the 24th Asia and South Pacific Design Automation Conference

Proceedings of the 24th Asia and South Pacific Design Automation Conference
デジタル電子書籍・電子雑誌図書
ACM2019
国立国会図書館
  • 著者標目Shibuya, Toshiyuki Association for Computing Machinery-Digital Library.

Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures

Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Association for Computing Machinery-Digital Library.

2010 IEEE workshop on principles of advanced and distributed simulation : (PADS 2010) : Atlanta, Georgia, USA : 17-19 May 2010 : 24th annual workshop on principles of advanced and distributed simulation : 24th ACM/IEEE/SCS workshop on principles of advanced and distributed simulation : PADS conference : May 2010, Atlanta, GA.

2010 IEEE workshop on principles of advanced and distributed simulation : (PADS 2010) : Atlanta, Georgia, USA : 17-19 May 2010 : 24th annual workshop on principles of advanced and distributed simulation : 24th ACM/IEEE/SCS workshop on principles of advanced and distributed simulation : PADS conference : May 2010, Atlanta, GA.
紙図書
IEEEc2010.<M17-12-397>
国立国会図書館
  • 著者標目...ics Engineers. Association for Computing Machinery.

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Society

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Society
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Issarny, Valerie Association for Computing Machinery-Digital Library.

Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering

Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Sharp, Helen Association for Computing Machinery-Digital Library.

Proceedings of the 1st International Workshop on Gender Equality in Software Engineering

Proceedings of the 1st International Workshop on Gender Equality in Software Engineering
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Abraham, Erika Association for Computing Machinery-Digital Library.

Proceedings of the 10th International Workshop on Modelling in Software Engineering

Proceedings of the 10th International Workshop on Modelling in Software Engineering
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Horkoff, Jennifer Association for Computing Machinery-Digital Library.

Proceedings of the 20th System Level Interconnect Prediction Workshop

Proceedings of the 20th System Level Interconnect Prediction Workshop
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Hu, Shiyan Association for Computing Machinery-Digital Library.

Proceedings of the 3rd International Workshop on Metamorphic Testing

Proceedings of the 3rd International Workshop on Metamorphic Testing
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Xie, Xiaoyuan Association for Computing Machinery-Digital Library.

Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain

Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Tonelli, Roberto Association for Computing Machinery-Digital Library.

Proceedings of the International Workshop on Software Engineering in Healthcare Systems

Proceedings of the International Workshop on Software Engineering in Healthcare Systems
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Richardson, Ita Association for Computing Machinery-Digital Library.

Proceedings of the International Conference on Computer-Aided Design

Proceedings of the International Conference on Computer-Aided Design
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Bahar, Iris Association for Computing Machinery-Digital Library.

Proceedings of the 4th International Workshop on Rapid Continuous Software Engineering

Proceedings of the 4th International Workshop on Rapid Continuous Software Engineering
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Bosch, Jan Association for Computing Machinery-Digital Library.
RSS