Home Advanced Search
Advanced Search - Page 1
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
- English
- Year: 2023
- Author: Akash Lal, Stefano Tonetta
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
- EPUB
- English
- Year: 2023
- Author: Akash Lal; Stefano Tonetta
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022 Trento, Italy, October 17–18, 2022 Revised Selected Papers
- English
- Year: 2023
- Author: Akash Lal, Stefano Tonetta
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
- English
- Year: 2015
- Author: Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)
Emotional Habits: The 7 Things Resilient People Do Differently (And How They Can Help You Succeed in Business and Life)
- EPUB
- English
- Author: Akash Karia
The Fabulous Body: Build lean muscle, shed body fat and optimize your health
- EPUB
- English
- Author: Akash Sehrawat
The Habit Project: 9 Steps to Build Habits that Stick (And Supercharge Your Productivity, Health, Wealth and Happiness)
- EPUB
- English
- Year: 2016
- Author: Akash Karia
Better to Have Gone: Love, Death, and the Quest for Utopia in Auroville
- EPUB
- English
- Year: 2021
- Author: Akash Kapur
How to Design TED Worthy Presentation Slides: Presentation Design Principles from the Best TED Talks (How to Give a TED Talk)
- EPUB
- English
- Year: 2013
- Author: Akash Karia
