Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings | 978-3-642-25378-2 (3-642-25378-4) | 2011 | Jean-Pierre Jouannaud |
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings | 978-3-540-76636-0 (3-540-76636-7) | 2007 | |
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science, Band 8410) | 978-3-642-54832-1 (3-642-54832-6) | 2014 |
ZHANG SHIHUA · Zhangjie Shi · Zheng Shi · zhong guo shao nian er tong chu ban she · ZHONG GUO SHAO NIAN ER TONG XIN WEN CHU BAN ZONG SHE · ZHONG SHU · Zhongci Shi · Zhongzhi Shi