Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
Title: Languages and Compilers for Parallel Computing: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers, Author: James Brodman
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / Edition 1, Author: Alan Mycroft
Title: Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back, Author: Carlos Martin-Vide
Title: Learning Go: An Idiomatic Approach to Real-World Go Programming, Author: Jon Bodner
Title: Command-Line Rust: A Project-Based Primer for Writing Rust CLIs, Author: Ken Youens-Clark
Title: Functional and Concurrent Programming: Core Concepts and Features, Author: Michel Charpentier
Title: Domain-Specific Languages, Author: Martin Fowler
Explore Series
Title: Murach's C# (8th Edition), Author: Joel Murach
Title: Murach's C# (7th Edition), Author: Joel Murach
Title: Scala for the Impatient / Edition 2, Author: Cay Horstmann
Title: F# in Action, Author: Isaac Abraham
Title: API Development: A Practical Guide for Business Implementation Success, Author: Sascha Preibisch
Title: Modern X86 Assembly Language Programming: Covers x86 64-bit, AVX, AVX2, and AVX-512, Author: Daniel Kusswurm
Title: Computer Programming in C for Beginners, Author: Avelino J. Gonzalez
Title: C++20 Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library, Author: Mikael Olsson
Title: Testing and Tuning Market Trading Systems: Algorithms in C++, Author: Timothy Masters
Title: Go by Example: Programmer's guide to idiomatic and testable code, Author: Inanc Gumus Pre-Order Now
Title: Testing and Tuning Market Trading Systems: Algorithms in C++, Author: Timothy Masters
Title: Computer Programming in C for Beginners, Author: Avelino J. Gonzalez

Pagination Links