Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2012.<M17-12-2131>
National Diet Library
  • Author HeadingAssociation 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.
Paper図書
Association for Computing Machineryc2011.<M17-13-863>
National Diet Library
  • Author HeadingEuroSys (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)
Paper図書
Springerc2011.<M17-12-1771>
National Diet Library
  • Author Heading... 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.
Paper図書
IEEE[2014]<M17-16-1598>
National Diet Library
  • Author Heading... 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.
Paper図書
Association for Computing Machineryc2009.<M17-10-2494>
National Diet Library
  • Author HeadingAssociation 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)
Paper図書
Association for Computing Machineryc2008.<M17-10-2969>
National Diet Library
  • Author HeadingBritish 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.
Paper図書
c2007.<M17-11-656>
National Diet Library
  • Author HeadingAssociation 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
Digital電子書籍・電子雑誌図書
ACM2019
National Diet Library
  • Author HeadingShibuya, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingAssociation 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.
Paper図書
IEEEc2010.<M17-12-397>
National Diet Library
  • Author Heading...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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingIssarny, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingSharp, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingAbraham, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingHorkoff, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingHu, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingXie, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingTonelli, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingRichardson, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingBahar, 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
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingBosch, Jan Association for Computing Machinery-Digital Library.
RSS