Jump to main content

yr 〜
yr

Search results 2,757

Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 : Philadelphia, PA, USA, January 22-24, 2012 : proceedings. (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. (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.

EuroSys'11 : proceedings of the EuroSys 2011 conference : April 10-April 13, 2011 : Salzburg, Austria.
Paper図書
Association for Computing Machineryc2011.<M17-13-863>
National Diet LibraryOther Libraries in Japan
  • 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. (Lecture Notes in Computer Science ; 7060)

Motion in games : 4th international conference, MIG 2011 : Edinburgh, UK, November 13-15, 2011 : proceedings. (Lecture Notes in Computer Science ; 7060)
Paper図書
Springerc2011.<M17-12-1771>
National Diet Library
  • Author Heading... Petros, 1970- Association for Computing Machinery. ACM SIGGRAPH.

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

16th ACM symposium on virtual reality software and technology 2009 : (VRST 2009) : Kyoto, Japan : 18-20 November 2009.
Paper図書
Association for Computing Machineryc2009.<M17-10-2494>
National Diet Library
  • Author HeadingAssociation for Computing Machinery. Virtual Reality Society of J...

2014 5th workshop on latest advances in scalable algorithms for large-scale systems : (ScalA 2014) : New Orleans, Louisiana, USA : 17 November 2014.

2014 5th workshop on latest advances in scalable algorithms for large-scale systems : (ScalA 2014) : New Orleans, Louisiana, USA : 17 November 2014.
Paper図書
IEEE[2014]<M17-16-1598>
National Diet Library
  • Author Heading... Orleans, La.) Association for Computing Machinery. Institute of Electrical and ...

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

2nd international conference on information interaction in context 2008 : (IIiX 2008) : London, United Kingdom : 14-17 October 2008. (ACM International Conference Proceedings Series ; 348)
Paper図書
Association for Computing Machineryc2008.<M17-10-2969>
National Diet LibraryOther Libraries in Japan
  • 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.

6th international joint conference on autonomous agents and multiagent systems : AAMAS 2007 : May 14-18, 2007 : Honolulu, Hawaii, USA.
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.

2010 IEEE workshop on principles of advanced and distributed simulation : (PADS 2010) : Atlanta, Georgia, USA : 17-19 May 2010.
Paper図書
IEEEc2010.<M17-12-397>
National Diet Library
  • Author Heading...ics Engineers. Association for Computing Machinery.

Proceedings of the 2018 International Conference on Software Engineering in Africa

Proceedings of the 2018 International Conference on Software Engineering in Africa
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingBainomugisha, Engineer Association for Computing Machinery-Digital Library.

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingCrnkovic, Ivica Association for Computing Machinery-Digital Library.

Proceedings of the 5th International Workshop on Crowd Sourcing in Software Engineering

Proceedings of the 5th International Workshop on Crowd Sourcing in Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingYang, Ye 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 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 Robotics Software Engineering

Proceedings of the 1st International Workshop on Robotics Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingCiccozzi, Federico Association for Computing Machinery-Digital Library.

Proceedings of the 1st International Workshop on Security Awareness from Design to Deployment

Proceedings of the 1st International Workshop on Security Awareness from Design to Deployment
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingMirakhorli, Mehdi Association for Computing Machinery-Digital Library.

Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems

Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingStolle, Reinhard Association for Computing Machinery-Digital Library.

Proceedings of the 3rd International Workshop on Emotion Awareness in Software Engineering

Proceedings of the 3rd International Workshop on Emotion Awareness in Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingBegel, Andrew Association for Computing Machinery-Digital Library.

Proceedings of the 40th International Conference on Software Engineering

Proceedings of the 40th International Conference on Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingCrnkovic, Ivica Association for Computing Machinery-Digital Library.
RSS