Topic
Programming & scripting languages: general
26 books
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Isil Dillig, Serdar Tasiran
Data Parallel C++: Mastering Programming of Accelerated Systems Using C++ with SYCL
James Reinders, John Pennycook, Ben Ashbaugh, James Brodman, Michael Kinsner
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
Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ...
Wil van der Aalst, Reiner Hähnle
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Peter Müller
Pro TBB: C++ Parallel Programming with Threading Building Blocks
Rafael Asenjo, James Reinders, Michael Voss
Spring Persistence with Hibernate
Brian D. Murphy, Paul Fisher
10 PRINT CHR$(205.5+RND(1));: GOTO 10
Patsy Baudoin, Nick Montfort, Jeremy Douglass, Ian Bogost, Bell, John
Rethinking Productivity in Software Engineering
Thomas Zimmermann, Caitlin Sadowski
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 26 books