Topic
Computer programming / software development
25 books
Software Testing: An ISEB Foundation
Brian Hambling
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Lijun Zhang, Tomáš Vojnar
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Isil Dillig, Serdar Tasiran
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I
Hana Chockler, Georg Weissenbacher
Pro TBB: C++ Parallel Programming with Threading Building Blocks
Rafael Asenjo, James Reinders, Michael Voss
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Jean Goubault-Larrecq, Barbara König
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...
Bernhard Steffen, Dirk Beyer, Fabrice Kordon, Marieke Huisman
Introduction to Scientific Programming with Python
Joakim Sundnes
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint ...
Mikołaj Bojańczyk, Alex Simpson
Web Programming with PHP and MySQL: A Practical Guide
Max Bramer
Showing 10 of 25 books