Previous
Next
Journal
- lecture notes in computer science20
- ad-hoc, mobile, and wireless networks : 4th international conference, adhoc-now 2005, cancun, mexico, october 6-8, 2005. proceedings1
- advances in computer science - asian 2004. higher-level decision making : 9th asian computing science conference. dedicated to jean-louis lassez on the occasion of his 5th birthday. chiang mai, thailand, december 8-10, 2004. proceedings1
- advances in computing science - asian 2002 : internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing 7th asian computing science conference hanoi, vietnam, december 4-6, 2002 proceedings1
- algorithms and computation : 20th international symposium, isaac 2009, honolulu, hawaii, usa, december 16-18, 2009. proceedings1
- artificial intelligence, automated reasoning, and symbolic computation1
- artificial intelligence, automated reasoning, and symbolic computation : joint international conferences aisc 2002 and calculemus 2002 marseille, france, july 1-5, 2002 proceedings1
- automated reasoning : second international joint conference, ijcar 2004, cork, ireland, july 4-8, 2004. proceedings1
- combinatorial optimization and applications : third international conference, cocoa 2009, huangshan, china, june 10-12, 2009. proceedings1