出版者
- Imprint: Springer, (788)
- Palgrave Macmillan, (411)
- Springer, (301)
- Imprint: Palgrave Macmillan, (264)
- Springer-Verlag Berlin Heidelberg, (254)
- Oxford University Press, (242)
- Springer Berlin Heidelberg, (226)
- IGI Global, (220)
- Cambridge University Press, (207)
- Routledge, (189)
|
總筆數:9677
書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
Embedded software:third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings / |
Rajeev Alur, Insup Lee (eds.). |
2003 |
查看
|
回報問題連結 |
Information hiding:4th international workshop, IH 2001,Pittsburgh, PA, USA, April 25-27, 2001 : proceedings / |
Ira S. Moskowitz (ed.). |
2001 |
查看
|
回報問題連結 |
Intelligent virtual agents:10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010, proceedings / |
Jan Allbeck ... [et al.]. |
2010 |
查看
|
回報問題連結 |
Logic, language, information and computation:18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / |
Lev D. Beklemishev, Ruy de Queiroz. |
2011 |
查看
|
回報問題連結 |
Human Interactive Proofs:Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings / |
Henry S. Baird, Daniel P. Lopresti. |
2005 |
查看
|
回報問題連結 |
Automated deduction - CADE-17:17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / |
David McAllester (ed.). |
2000 |
查看
|
回報問題連結 |
Trust and trustworthy computing:4th international conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011 : proceedings / |
Jonathan M. McCune ... [et al.]. |
2011 |
查看
|
回報問題連結 |
Verification, model checking, and abstract:13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / |
Viktor Kuncak, Andrey Rybalchenko. |
2012 |
查看
|
回報問題連結 |
Practical aspects of declarative languages :24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings / |
James Cheney, Simona Perri. |
|
查看
|
回報問題連結 |
New era for robust speech recognition :exploiting deep learning / |
Shinji Watanabe, Marc Delcroix, Florian Metze, John R. Hershey. |
|
查看
|
回報問題連結 |
Hybrid systems:computation and control: 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings / |
Rajeev Alur, George J. Pappas (eds.). |
2004 |
查看
|
回報問題連結 |
Security and privacy in digital rights management:ACM CCS-8 workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001 : revised papers / |
Tomas Sander (ed.). |
2002 |
查看
|
回報問題連結 |
Verified software:theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / |
Rajeev Joshi, Peter Muller, Andreas Podelski. |
2012 |
查看
|
回報問題連結 |
Practical aspects of declarative languages:14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / |
Claudio Russo, Neng-Fa Zhou. |
2012 |
查看
|
回報問題連結 |
Verification, model checking, and abstract interpretation :23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings / |
Bernd Finkbeiner, Thomas Wies. |
|
查看
|
回報問題連結 |
Introduction to devops with Chocolate, LEGO and Scrum game |
Dana Pylayeva. |
2017 |
查看
|
回報問題連結 |
|
|