Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Crafting Interpreters

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Compiler Design

SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

Present and Ulterior Software Engineering

C++ Quick Syntax Reference

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Practical TLA+: Planning Driven Development

Object-Oriented Programming and Java: Edition 2

Innopolis University - From Zero to Hero: Ten Years of Challenges and Victories

Beginning C for Arduino, Second Edition: Learn C Programming for the Arduino, Edition 2

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers

Pro TBB: C++ Parallel Programming with Threading Building Blocks

Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Exploring C++: The Programmer's Introduction to C++

Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018