Skip to main content
Toggle navigation
Contact Us
Log in
For Authors
Category
Arts & Photography
Biographies & Memoirs
Business & Money
Children's eBooks
Comics, Manga & Graphic Novels
Computers & Technology
Cookbooks, Food & Wine
Crafts, Hobbies & Home
Education & Teaching
Engineering & Transportation
Foreign Languages
Health, Fitness & Dieting
History
Humor & Entertainment
Law
LGBTQ+ eBooks
Literature & Fiction
Medical eBooks
Mystery, Thriller & Suspense
Nonfiction
Parenting & Relationships
Politics & Social Sciences
Reference
Religion & Spirituality
Romance
Science & Math
Science Fiction & Fantasy
Self-Help
Sports & Outdoors
Teen & Young Adult
Travel
Search
Software Development
Categories
All categories
Nonfiction
Computers & Technology
Programming
Software Design, Testing & Engineering
Software Development
Behavioural Types: From Theory to Tools
Simon Gay, António Ravara
Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems
Guillermo Payá-Vayá, Holger Blume
Ry's Git Tutorial
Ryan Hodson
Python Programming For Beginners: Learn The Basics Of Python Programming (Python Crash Course, Programming for Dummies)
James Tudor
(Part 1) You Must Learn VBScript for QTP/UFT: Don't Ignore The Language For Functional Automation Testing
Rex Allen Jones II
How NOT To Write an App
Rodney D. Cambridge
What is DevOps?
Mike Loukides
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10982)
Hana Chockler, Georg Weissenbacher
CMMI Implementation Guide
Vishnuvarthanan Moorthy
Absolute Beginner (Part 1) Selenium WebDriver for Functional Automation Testing: Your Beginners Guide
Rex Allen Jones II
Security in Computer and Information Sciences: Second International Symposium, EuroCybersec 2021, Nice, France, October 25–26, 2021, Revised Selected Papers ... Computer and Information Science Book 1596)
Erol Gelenbe, Marija Jankovic, Dionysios Kehagias, Anna Marton, Andras Vilmos
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science Book 13372)
Sharon Shoham, Yakir Vizel
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science Book 13371)
Sharon Shoham, Yakir Vizel
Nordic Artificial Intelligence Research and Development: 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 – June 1, 2022, Revised ... Computer and Information Science Book 1650)
Evi Zouganeli, Anis Yazidi, Gustavo Mello, Pedro Lind
Foundations of Robotics: A Multidisciplinary Approach with Python and ROS
Damith Herath, David St-Onge
Developing Sustainable and Energy-Efficient Software Systems (SpringerBriefs in Computer Science)
Artem Kruglov, Giancarlo Succi
Proceedings of the International Conference on Computer, Information Technology and Intelligent Computing (CITIC 2022) (Atlantis Highlights in Computer Sciences Book 10)
Su-Cheng Haw, Kalaiarasi Sonai Muthu
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 12648)
Nobuko Yoshida
Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 12649)
Esther Guerra, Mariëlle Stoelinga
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13244)
Dana Fisman, Grigore Rosu
Cyber Security: 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20–21, 2021, Revised Selected Papers (Communications in Computer and Information Science Book 1506)
Wei Lu, Yuqing Zhang, Weiping Wen, Hanbing Yan, Chao Li
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13243)
Dana Fisman, Grigore Rosu
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 13241)
Einar Broch Johnsen, Manuel Wimmer
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations
Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12652)
Jan Friso Groote, Kim Guldstrand Larsen
Computer-Driven Instructional Design with INTUITEL
Kevin Fuchs, Peter A. Henning
Engineering Agile Big-Data Systems
Kevin Feeney, Jim Davies, James Welch
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)
Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Deployment and Operation of Complex Software in Heterogeneous Execution Environments: The SODALITE Approach (SpringerBriefs in Applied Sciences and Technology)
Elisabetta Di Nitto, Jesús Gorroñogoitia Cruz, Indika Kumara, Dragan Radolović, Kamil Tokmakov, Zoe Vasileiou
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings (Lecture Notes in Computer Science Book 13214)
Dhabaleswar K. Panda, Michael Sullivan
Platform Embedded Security Technology Revealed: Safeguarding the Future of Computing with Intel Embedded Security and Management Engine
Xiaoyu Ruan
Model-Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach (SpringerBriefs in Applied Sciences and Technology)
Elisabetta Di Nitto, Peter Matthews, Dana Petcu, Arnor Solberg
Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, ... Business Information Processing Book 383)
Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues Book 12224)
Shuvendu K. Lahiri, Chao Wang
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 10802)
Alessandra Russo, Andy Schürr
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)
Isil Dillig, Serdar Tasiran
Are You Sure You Can Manage?: Software Engineering Management from the Software Engineers' Perspective
Marcus Tomlinson
Pro Git
Scott Chacon, Ben Straub
S-BPM in the Production Industry: A Stakeholder Approach
Matthias Neubauer, Christian Stary
Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops
Alexander Supalov, Andrey Semin, Christopher Dahnken, Michael Klemm
1
2
3
next ›
last »
Featured Books
Carpe DiEmily (Part 1)
Riley J. Ford
Romance: Simone: Adventures in Dating (Book 1: The Billionaire) (Simone Series)
Riley J. Ford
The Fifth Vital: A Prelude
Mike Majlak, Riley J. Ford
Free Books For Free
is an author-approved catalog of all the free Ebooks on Amazon. Start reading on your Kindle or tablet now!
Popular Books
The world's great sermons, Volume 03Massillon to Mason
Grenville Kleiser
Australia, The Dairy Country
Dept of External Affairs Australia
International Conference Held at Washington for the Purpose of Fixing a Prime Meridian and a Universal Day. October, 1884. Protocols of the Proceedings
Various
The Census in Moscow
Leo Tolstoy