Top 713 pa eda PDF Book Page 26
Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings
James Cheney, Simona Perri
·2022
·19.748 MB
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings
Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)
·687 Pages
·2004
·12.301 MB
Learning Theory: 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings
Luc Devroye (auth.), Gábor Lugosi, Hans Ulrich Simon (eds.)
·666 Pages
·2006
·8.152 MB
Xilinx FPGA权威设计指南:Vivado 2014集成开发环境 (电子系统EDA新技术丛书)
何宾
·14.1294 MB
Xilinx FPGA权威设计指南:Vivado 2014集成开发环境 (电子系统EDA新技术丛书)
何宾 & chenjin5.com
·2015
·50.2647 MB
Xilinx FPGA权威设计指南:Vivado 2014集成开发环境 (电子系统EDA新技术丛书)
何宾
·2015
·46.9055 MB
Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, ... Programming and Software Engineering)
Raffaela Mirandola, Ian Gorton, Christine Hofmeister
·221 Pages
·2009
·5.472 MB
Ontology Engineering: 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers
Valentina Tamma, Mauro Dragoni, Rafael Gonçalves, Agnieszka Ławrynowicz (eds.)
·192 Pages
·2016
·11.01 MB
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
John Harrison (auth.), David McAllester (eds.)
·530 Pages
·2000
·7.969 MB
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Dominik Birkmeier, Sven Overhage (auth.), Grace A. Lewis, Iman Poernomo, Christine Hofmeister (eds.)
·284 Pages
·2009
·3.989 MB
Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II
Blair Lehman, Sidney D’Mello, Natalie Person (auth.), Vincent Aleven, Judy Kay, Jack Mostow (eds.)
·487 Pages
·2010
·16.576 MB
Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I
Chee-Kit Looi (auth.), Vincent Aleven, Judy Kay, Jack Mostow (eds.)
·463 Pages
·2010
·12.923 MB
Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
·360 Pages
·2019
·14.425 MB
Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Boon Thau Loo, Harjot Gill, Changbin Liu (auth.), Claudio Russo, Neng-Fa Zhou (eds.)
·313 Pages
·2012
·3.575 MB
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
·335 Pages
·2012
·5.947 MB
The Fundamentals of Pa Kua Chang: The Methods of Lu Shui-Tien As Taught by Park Bok Nam
Park Bok Nam
·222 Pages
·1998
·6.572 MB
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Eva K. Lee (auth.), Willem-Jan van Hoeve, John N. Hooker (eds.)
·341 Pages
·2009
·13.764 MB
基于Multisim的电子系统设计、仿真与综合应用(第2版) (EDA技术实用丛书)
郭锁利 & 刘延飞 & 李琪 & 王晓戎 & 张延伟 & chenjin5.com
·2013
·36.9778 MB
