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
Computers & Technology
Computer 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
Pro Git
Scott Chacon
(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
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
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
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 Book 11427)
Tomáš Vojnar, Lijun Zhang
Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings ... Business Information Processing Book 314)
Juan Garbajosa, Xiaofeng Wang, Ademar Aguiar
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10803)
Christel Baier, Ugo Dal Lago
Agile Processes, in Software Engineering, and Extreme Programming: 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings ... Business Information Processing Book 251)
Helen Sharp, Tracy Hall
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues Book 12225)
Shuvendu K. Lahiri, Chao Wang
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 11423)
Luís Caires
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
Platform Embedded Security Technology Revealed: Safeguarding the Future of Computing with Intel Embedded Security and Management Engine
Xiaoyu Ruan
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
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
Woman and the Republic — a Survey of the Woman-Suffrage Movement in the United States and a Discussion of the Claims and Arguments of Its Foremost Advocates
Helen Kendrick Johnson
Campaigns of a Non-Combatant,and His Romaunt Abroad During the War
George Alfred Townsend
The Portent & Other Stories
George MacDonald
The Philippine Islands, 1493-1898 — Volume 08 of 55 1591-1593 Explorations by Early Navigators, Descriptions of the Islands and Their Peoples, Their History ... to the Close of the Nineteenth Century