Title: 'C' Programming in an Open Source Paradigm, Author: K. S. Oza
Title: Behavioural Types: From Theory to Tools, Author: Simon Gay
Title: Datacenter Connectivity Technologies: Principles and Practice, Author: Frank Chang
Title: Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems, Author: Guillermo Payá-Vayá
Title: Flutter App Development: How to Write for iOS and Android at Once, Author: Rap Payne
Title: Tomorrow's Systems Engineering: Commentaries on the Profession, Author: Howard Eisner
Title: Change Request Impacts in Software Maintenance, Author: Madapuri Rudra Kumar
Title: AI-Powered Developer: Build great software with ChatGPT and Copilot, Author: Nathan B. Crocker
Title: Technical Program Manager's Handbook - Second Edition: Unlock your TPM potential by leading technical projects successfully and elevating your career path, Author: Joshua Alan Teter
Title: The Stress Equation: Reduce Burnout, Increase Happiness and Productivity, Author: Marcus Lagre
Title: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Author: André Platzer
Title: Tech Leadership Playbook: Building and Sustaining High-Impact Technology Teams, Author: Alexsandro Souza
Title: Understanding the Digital World: Modeling with HERAKLIT, Author: Peter Fettke
Title: AI-Assisted Programming for Web and Machine Learning: Improve your development workflow with ChatGPT and GitHub Copilot, Author: Christoffer Noring
Title: Tech Startup Toolkit: How to launch strong and exit big, Author: Jothy Rosenberg
Title: Think Like a Software Engineering Manager, Author: Akanksha Gupta
Title: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers, Author: Alessandro Aldini
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, Author: Arie Gurfinkel
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I, Author: Arie Gurfinkel
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, Author: Arie Gurfinkel

Pagination Links