Home Advanced Search
Advanced Search - Page 1
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I
- EPUB
- English
- Year: 2023
- Author: Sriram Sankaranarayanan; Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II
- EPUB
- English
- Year: 2023
- Author: Sriram Sankaranarayanan; Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part II
- English
- Year: 2023
- Author: Sriram Sankaranarayanan, Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part I
- English
- Year: 2023
- Author: Sriram Sankaranarayanan, Natasha Sharygina
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
- English
- Year: 2013
- Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)
- English
- Year: 2022
- Author: Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha Sharygina (editor)
La Raza Cosmética: Beauty, Identity, and Settler Colonialism in Postrevolutionary Mexico (Critical Issues in Indigenous Studies)
- English
- Author: Natasha Varner
Mae + Harvey No Ordinary Juice Book: Over 100 recipes for juices, smoothies, nut milks and so much more
- EPUB
- English
- Author: Natasha Mae
Southern Keto: Beyond the Basics: More of the Easy Comfort Food You Love
- EPUB
- English
- Author: Natasha Newton
Drink Lightly: A Lighter Take on Serious Cocktails, with 100+ Recipes for Low- and No-Alcohol Drinks: A Cocktail Recipe Book
- EPUB
- English
- Author: Natasha David