Passer au contenu principal Passer au contenu du pied de page

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

David Pichardie Édition : Mihaela Sighireanu

13 janvier 2021

116,95 $

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 585 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

381

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030654733

Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II

Ji Miky Couverture souple
175,50 $
2 formats offerts
Scalable Information Systems: 5th International Conference, INFOSCALE 2014, Seoul, South Korea, September 25-26, 2014, Revised Selected Papers

Jason J. Jung Couverture souple
65,95 $
2 formats offerts
Artificial Intelligence in Music, Sound, Art and Design: 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Tiago Martins Couverture souple
204,50 $
2 formats offerts
Constructive Side-channel Analysis And Secure Design: 12th International Workshop, Cosade 2021, Lugano, Switzerland, October 25-27, 2021, Proceedings

Shivam Bhasin Couverture souple
131,50 $
2 formats offerts
Swarm, Evolutionary, and Memetic Computing: 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Bijaya Ketan Panigrahi Couverture souple
80,50 $
Secure It Systems: 25th Nordic Conference, Nordsec 2020, Virtual Event, November 23-24, 2020, Proceedings

Mikael Asplund Couverture souple
116,95 $
2 formats offerts
Recommendation Systems In Software Engineering

Martin P. Robillard Couverture souple
248,50 $
3 formats offerts
Graph-Based Representations in Pattern Recognition: 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013, Proceedings

Walter Kropatsch Couverture souple
105,50 $
Databases Theory and Applications: 32nd Australasian Database Conference, ADC 2021, Dunedin, New Zealand, January 29 - February 5, 2021, Proceedings

Miao Qiao Couverture souple
124,50 $
2 formats offerts
Smart Grid and Innovative Frontiers in Telecommunications: 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings

Hongming Yang Couverture souple
160,95 $
2 formats offerts
Case-based Reasoning Research And Development: 29th International Conference, Iccbr 2021, Salamanca, Spain, September 13-16, 2021, Proceedings

Antonio A. Sánchez-ruiz Couverture souple
124,50 $
2 formats offerts
Sustainable Energy For Smart Cities: Third Eai International Conference, Sesc 2021, Virtual Event, November 24-26, 2021, Proceedings

Joao L. Afonso Couverture souple
124,50 $
2 formats offerts
Similarity Search and Applications: 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings

Nora Reyes Couverture souple
124,50 $
2 formats offerts
Computer Games: Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

Tristan Cazenave Couverture souple
80,50 $
2 formats offerts
Network And System Security: 15th International Conference, Nss 2021, Tianjin, China, October 23, 2021, Proceedings

Min Yang Couverture souple
124,50 $
2 formats offerts
Provable And Practical Security: 15th International Conference, Provsec 2021, Guangzhou, China, November 5-8, 2021, Proceedings

Qiong Huang Couverture souple
124,50 $
2 formats offerts
Chatbot Research and Design: 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23-24, 2021, Revised Selected Papers

Asbjorn Folstad Couverture souple
102,50 $
2 formats offerts
Advances in Computational Intelligence: 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

Félix Castro Couverture souple
109,50 $
2 formats offerts
Convolutional Neural Networks In Visual Computing: A Concise Guide

Ragav Venkatesan Couverture souple
143,95 $
3 formats offerts
Trends in Computer Aided Innovation: Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA

Noel León-Rovira Couverture souple
160,95 $
2 formats offerts

Évaluation éditoriale

mihaela sighireanu

Auteur

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
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin Couverture souple
80,50 $
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav Couverture souple
80,50 $
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Couverture souple
80,50 $
2 formats offerts
Computational Data And Social Networks: 10th International Conference, Csonet 2021, Virtual Event, November 15-17, 2021, Proceedings

David Mohaisen Couverture souple
124,50 $
2 formats offerts
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt Couverture souple
80,50 $
Practical Aspects Of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

José F. Morales Couverture souple
80,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
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Ian P. Gent Couverture souple
160,95 $
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

Alfons Laarman Couverture souple
80,50 $
2 formats offerts
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Alfredo Cuzzocrea Couverture souple
80,50 $
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Couverture souple
131,50 $
2 formats offerts
Evolutionary Computation in Combinatorial Optimization: 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings

Christine Zarges Couverture souple
80,50 $
2 formats offerts
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

T. C. Nicholas Graham Couverture rigide
80,50 $
Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski Couverture souple
80,50 $
2 formats offerts
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Couverture souple
80,50 $
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Maurizio Gabbrielli Couverture souple
80,50 $
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Antoine Mine Couverture souple
80,50 $
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez Couverture souple
80,50 $