Top 657 pa PDF Book Page 24
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
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
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
·471 Pages
·2012
·4.887 MB
Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings
Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)
·344 Pages
·2002
·5.681 MB
The Narrators of Barbarian History (A.D. 550-800): Jordanes, Gregory of Tours, Bede, and Pa (ND Publications Medieval Studies)
Walter Goffart
·508 Pages
·1988
·53.973 MB
Research in Computational Molecular Biology: 18th Annual International Conference, RECOMB 2014, Pittsburgh, PA, USA, April 2-5, 2014, Proceedings
Roded Sharan (eds.)
·480 Pages
·2014
·20.368 MB
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
