Skip to main content
Toggle navigation
Login
Contact Us
For Authors
Home
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
Home
Software Development
Software Development
Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems
Guillermo Payá-Vayá, Holger Blume
Behavioural Types: From Theory to Tools
Simon Gay, António Ravara
Ry's Git Tutorial
Ryan Hodson
Python Programming For Beginners: Learn The Basics Of Python Programming (Python Crash Course, Programming for Dummies)
James Tudor
Creating Mobile Apps with Xamarin.Forms Preview Edition 2 (Developer Reference)
Charles Petzold
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
How NOT To Write an App
Rodney D. Cambridge
Absolute Beginner (Part 1) Selenium WebDriver for Functional Automation Testing: Your Beginners Guide
Rex Allen Jones II
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
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
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: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10806)
Dirk Beyer, Marieke Huisman
Rhetorical Code Studies: Discovering Arguments in and around Code (Sweetland Digital Rhetoric Collaborative)
Kevin Brock
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 11562)
Isil Dillig, Serdar Tasiran
Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings (Lecture ... Business Information Processing Book 364)
Rashina Hoda
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings (Communications in Computer and Information Science Book 659)
Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
Subject-Oriented Business Process Management
Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger
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 10981)
Hana Chockler, Georg Weissenbacher
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 10805)
Dirk Beyer, Marieke Huisman
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
1
2
3
next ›
last »
Featured Books
Romance: 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
CLIENT MAGNETS: HOW TO ATTRACT AND WIN MORE CLIENTS: Simple Strategies to Grow your Creative, Design or Freelance Business
Stephen Mayall
The Academic Book of the Future
Re: Coming Out to Play: Readers Respond to Robbie's Story
The Ultimate Guide to Remote Work: How to Grow, Manage and Work with Remote Teams (Zapier App Guides Book 3)
Wade Foster, Danny Schreiber, Alison Groves, Matthew Guay, Jeremy DuVall, Belle Cooper