本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2012.<M17-12-2131>
国立国会図書館
  • 著者標目Association 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.
紙図書
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. (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)
紙図書
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.

2014 5th workshop on latest advances in scalable algorithms for large-scale systems : (ScalA 2014) : New Orleans, Louisiana, USA : 17 November 2014.
紙図書
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.

16th ACM symposium on virtual reality software and technology 2009 : (VRST 2009) : Kyoto, Japan : 18-20 November 2009.
紙図書
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. (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)
紙図書
Association for Computing Machineryc2008.<M17-10-2969>
国立国会図書館全国の図書館
  • 著者標目British Computer Society. 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.

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.
紙図書
c2007.<M17-11-656>
国立国会図書館
  • 著者標目Association for Computing Machinery.

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.

2010 IEEE workshop on principles of advanced and distributed simulation : (PADS 2010) : Atlanta, Georgia, USA : 17-19 May 2010.
紙図書
IEEEc2010.<M17-12-397>
国立国会図書館
  • 著者標目...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
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Bainomugisha, Engineer 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 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 40th International Conference on Software Engineering: Software Engineering in Practice

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

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Bures, Tomas Association for Computing Machinery-Digital Library.

Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks

Proceedings of the 17th ACM/IEEE International Conference on Information Processing in Sensor Networks
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Mottola, Luca Association for Computing Machinery-Digital Library.

Proceedings of the 6th International Workshop on Green and Sustainable Software

Proceedings of the 6th International Workshop on Green and Sustainable Software
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Malavolta, Ivano 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
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Ciccozzi, 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
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Mirakhorli, 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
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Stolle, Reinhard Association for Computing Machinery-Digital Library.
RSS