All Categories → Computers & Technology

Listing 0 Free Ebooks at Amazon

Book Avg Rating Num Ratings Last Verified
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Armin Biere and David Parker 4.3 3 Jul 13
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran 4.0 2 May 16
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran 4.0 2 May 16
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran 4.0 2 May 16
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak 4.3 27 Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak 4.3 27 Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak 4.3 27 Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak 4.3 27 Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak 4.3 27 Jul 24
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Boo by Lujo Bauer and Ralf Küsters 4.5 7 Jul 24
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Boo by Lujo Bauer and Ralf Küsters 4.5 7 Jul 24
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Boo by Lujo Bauer and Ralf Küsters 4.5 7 Jul 24
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei 0.0 0 Aug 8
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei 0.0 0 Aug 8
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei 0.0 0 Aug 8
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei 0.0 0 Aug 8
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 Jun 15
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 Jun 15
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 Jun 15
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 Jun 15
Amazon WorkMail: User Guide by Amazon Web Services 4.7 7 Feb 6
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot 4.0 4 Jul 24
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot 4.0 4 Jul 24
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot 4.0 4 Jul 24
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot 4.0 4 Jul 24
Sort by: Avg Rating | Num Ratings | Last Verified
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book by Armin Biere and David Parker
Avg 4.3 of 3 ratings - Last Verified Jul 13
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran
Avg 4.0 of 2 ratings - Last Verified May 16
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran
Avg 4.0 of 2 ratings - Last Verified May 16
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 1156 by Isil Dillig and Serdar Tasiran
Avg 4.0 of 2 ratings - Last Verified May 16
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak
Avg 4.3 of 27 ratings - Last Verified Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak
Avg 4.3 of 27 ratings - Last Verified Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak
Avg 4.3 of 27 ratings - Last Verified Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak
Avg 4.3 of 27 ratings - Last Verified Jul 24
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (Lecture Notes in Computer Science Book 10099) by Andrea Bondavalli, Sara Bouchenak
Avg 4.3 of 27 ratings - Last Verified Jul 24
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Boo by Lujo Bauer and Ralf Küsters
Avg 4.5 of 7 ratings - Last Verified Jul 24
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Boo by Lujo Bauer and Ralf Küsters
Avg 4.5 of 7 ratings - Last Verified Jul 24
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ... Notes in Computer Science Boo by Lujo Bauer and Ralf Küsters
Avg 4.5 of 7 ratings - Last Verified Jul 24
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei
Avg 0.0 of 0 ratings - Last Verified Aug 8
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei
Avg 0.0 of 0 ratings - Last Verified Aug 8
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei
Avg 0.0 of 0 ratings - Last Verified Aug 8
Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools (Lecture Notes in Computer Science Book 10768) by Ivan Ganchev, R. D. van der Mei
Avg 0.0 of 0 ratings - Last Verified Aug 8
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
Avg 4.3 of 5 ratings - Last Verified Jun 15
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
Avg 4.3 of 5 ratings - Last Verified Jun 15
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
Avg 4.3 of 5 ratings - Last Verified Jun 15
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
Avg 4.3 of 5 ratings - Last Verified Jun 15
Amazon WorkMail: User Guide by Amazon Web Services
Avg 4.7 of 7 ratings - Last Verified Feb 6
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot
Avg 4.0 of 4 ratings - Last Verified Jul 24
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot
Avg 4.0 of 4 ratings - Last Verified Jul 24
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot
Avg 4.0 of 4 ratings - Last Verified Jul 24
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... Science and General Issues Book 1207 by Heike Wehrheim and Jordi Cabot
Avg 4.0 of 4 ratings - Last Verified Jul 24