Listing 505 Free Ebooks at Amazon

Book Avg Rating Num Ratings Last Verified
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Science and General Issues Boo by Tomáš Vojnar and Lijun Zhang 4.4 17 Mar 18
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 Mar 18
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561 by Isil Dillig and Serdar Tasiran 3.0 1 Mar 18
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 Mar 18
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561 by Isil Dillig and Serdar Tasiran 3.0 1 Mar 18
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 Mar 18
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 Mar 18
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561 by Isil Dillig and Serdar Tasiran 3.0 1 Mar 18
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU (SpringerBriefs in Global Understanding) by Margaret E. Robertson 3.8 4 Mar 18
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561 by Isil Dillig and Serdar Tasiran 3.0 1 Mar 18
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 Mar 18
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 Mar 18
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561 by Isil Dillig and Serdar Tasiran 3.0 1 Mar 18
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224) by Shuvendu K. Lahiri and Chao Wang 5.0 1 Mar 18
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 Mar 18
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Dirk Beyer and Marieke Huisman 4.3 5 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers (Expert's Voice in Microprocessors) by Rezaur Rahman 4.1 13 Mar 18
Sort by: Avg Rating | Num Ratings | Last Verified