Passer au contenu principal Passer au contenu du pied de page

Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Cezara Drägoi Édition : Suvam Mukherjee , Kedar Namjoshi

14 octobre 2021

131,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 658 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

479

Programming and Software Engineering

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030888053

Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Couverture souple
87,95 $
2 formats offerts
Computers Helping People with Special Needs: 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part II

Klaus Miesenberger Couverture souple
124,50 $
2 formats offerts
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Fernando Magno Quintao Pereira Couverture souple
65,95 $
Computers Helping People with Special Needs: 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part I

Klaus Miesenberger Couverture souple
116,95 $
2 formats offerts
Hci International 2019 - Late Breaking Papers: 21st Hci International Conference, Hcii 2019, Orlando, Fl, Usa, July 26-31, 2019, Proceedings

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Javier Esparza Couverture souple
80,50 $
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Artur Czumaj Couverture souple
80,50 $
Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco van der Pol Couverture souple
80,50 $
Computers Helping People with Special Needs: 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II

Klaus Miesenberger Couverture souple
80,50 $
Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings

Fabian Kuhn Couverture souple
80,50 $
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Couverture souple
49,50 $
Object-Based Distributed Programming: ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings

Couverture souple
71,50 $
Algorithms and Computation: 8th International Workshop, Walcom 2014, Chennai, India, February 13-15, 2014, Proceedings

Sudebkumar Prasant Pal Couverture souple
80,50 $
New Trends in Database and Information Systems: ADBIS 2022 Short Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD, MegaData, SWODCH, Turin, Italy, September 5-8, 2022, Proceedings

Silvia Chiusano Couverture souple
175,50 $
2 formats offerts
HCI International 2022 - Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Jessie Y. C. Chen Couverture souple
145,95 $
2 formats offerts
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

John Derrick Couverture souple
80,50 $
Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Paolo Arcaini Couverture souple
58,50 $
Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Erik M. Fredericks Couverture souple
80,50 $
2 formats offerts
Advances in Knowledge Discovery and Data Mining: 18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 13-16, 2014. Proceedings, Part II

Vincent S. Tseng Couverture souple
160,95 $
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Manuel V Hermenegildo Couverture souple
131,50 $
2 formats offerts

Évaluation éditoriale

suvam mukherjee

Auteur

Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski Couverture souple
80,50 $
2 formats offerts
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Couverture souple
116,95 $
2 formats offerts
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Couverture souple
145,95 $
2 formats offerts
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Couverture souple
80,50 $
2 formats offerts
Formal Methods: 24th International Symposium, Fm 2021, Virtual Event, November 20-26, 2021, Proceedings

Marieke Huisman Couverture souple
175,50 $
2 formats offerts
Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Xavier Rival Couverture souple
80,50 $
2 formats offerts
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Couverture souple
72,95 $
2 formats offerts
Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Christian Attiogb Couverture souple
80,50 $
2 formats offerts
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Couverture souple
80,50 $
2 formats offerts
Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Julia M. Badger Couverture souple
109,50 $
2 formats offerts
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Couverture souple
80,50 $
2 formats offerts
Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Couverture souple
87,95 $
2 formats offerts
Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings

Shigeru Yamashita Couverture souple
80,50 $
2 formats offerts
Programming Languages And Systems: 19th Asian Symposium, Aplas 2021, Chicago, Il, Usa, October 17-18, 2021, Proceedings

Hakjoo Oh Couverture souple
124,50 $
2 formats offerts
Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng Couverture souple
124,50 $
2 formats offerts
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese Couverture souple
80,50 $
2 formats offerts
Model And Data Engineering: 9th International Conference, Medi 2019, Toulouse, France, October 28-31, 2019, Proceedings

Klaus-Dieter Schewe Couverture souple
80,50 $
2 formats offerts
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Couverture souple
80,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Couverture souple
124,50 $
2 formats offerts
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Patricia M. Hill Couverture souple
80,50 $