Jump to main content

yr 〜
yr

Search results 2,762

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 : 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. (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.

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.

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...

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.

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 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.

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 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 2nd International Workshop on Software Engineering Education for Millennials

Proceedings of the 2nd International Workshop on Software Engineering Education for Millennials
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingPéraire, Cécile Association for Computing Machinery-Digital Library.

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingGill, Chris Association for Computing Machinery-Digital Library.

Proceedings of the 13th International Conference on Global Software Engineering

Proceedings of the 13th International Conference on Global Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingPaasivaara, Maria Association for Computing Machinery-Digital Library.

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingShrivastava, Aviral Association for Computing Machinery-Digital Library.

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingAndersson, Jesper 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.

Proceedings of the 13th International Workshop on Automation of Software Test

Proceedings of the 13th International Workshop on Automation of Software Test
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingBai, Xiaoying Association for Computing Machinery-Digital Library.

Proceedings of the Twelfth IEEE/ACM International Symposium on Networks-on-Chip

Proceedings of the Twelfth IEEE/ACM International Symposium on Networks-on-Chip
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingLu, Zhonghai Association for Computing Machinery-Digital Library.
RSS