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
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
Introduction to Scientific Programming with Python
Joakim Sundnes
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
Web Programming with PHP and MySQL: A Practical Guide
Max Bramer
Pro TBB: C++ Parallel Programming with Threading Building Blocks
Rafael Asenjo, James Reinders, Michael Voss
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
Showing 10 of 25 books