Top 84 tx PDF Book Page 3
Database Systems for Advanced Applications: 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I
Shamkant B. Navathe, Weili Wu, Shashi Shekhar, Xiaoyong Du, X. Sean Wang, Hui Xiong (eds.)
·560 Pages
·2016
·30.695 MB
Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Lawrence Rauchwerger
·313 Pages
·2019
·16.084 MB
Security and Privacy in Communication Networks: 11th International Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015, Revised Selected Papers
Bhavani Thuraisingham, XiaoFeng Wang, Vinod Yegneswaran (eds.)
·742 Pages
·2015
·37.856 MB
OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg
·342 Pages
·2020
·18.799 MB
The Cheerleader and the Speed Trap (The Erotic Chronicles of Smith, TX Book 1)
Will Hunnicutt
·2021
·0.2598 MB
Distributed Computing: 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings
Fabian Kuhn (eds.)
·594 Pages
·2014
·9.339 MB
Database Systems for Advanced Applications: DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings
Hong Gao, Jinho Kim, Yasushi Sakurai (eds.)
·401 Pages
·2016
·20.324 MB
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Kristin Yvonne Rozier, Swarat Chaudhuri
·508 Pages
·2023
·19.464 MB
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
Julia M. Badger, Kristin Yvonne Rozier (eds.)
·381 Pages
·2014
·6.114 MB
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Roope Kaivola (auth.), Ricardo Rocha, John Launchbury (eds.)
·273 Pages
·2011
·3.286 MB
Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings
Paul Hudak (auth.), Bharat Jayaraman (eds.)
·264 Pages
·2004
·2.224 MB
Lone Star Ex-Con: A Reverse Age-Gap/Curvy Girl Romance (Saddle Creek, TX: The Crawfords Book 1)
Kat Baxter
·2022
·0.4573 MB
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Marijn Heule, Sean Weaver (eds.)
·455 Pages
·2015
·24.518 MB
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings
Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
·573 Pages
·2000
·5.43 MB
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
