Passer au contenu principal Passer au contenu du pied de page

Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings

Édition : Pascal Van Hentenryck

27 août 1997

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

Description

Langue

anglais

Pages

424

Lecture Notes In Computer Science

Publié par: Springer

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

ISBN: 9783540634683

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

Giorgio Ausiello Couverture souple
248,50 $
2 formats offerts
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006: IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile

Couverture souple
142,95 $
2 formats offerts
Public-Key Cryptography - PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings

Jonathan Katz Couverture souple
80,50 $
Dynamics of Information Systems: 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers

Hossein Moosaei Couverture souple
94,95 $
2 formats offerts
Computer Science - Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings

Henning Fernau Couverture souple
80,50 $
2 formats offerts
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav Couverture souple
80,50 $
Biological and Medical Data Analysis: 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings

Nicos Maglaveras Couverture souple
80,50 $
Dynamics of Information Systems: 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers

Hossein Moosaei Couverture souple
58,50 $
Advances in Spatial and Temporal Databases: 8th International Symposium, Sstd 2003, Santorini Island, Greece, July 24 - 27, 2003. Proceedings

Thanasis Hadzilacos Couverture souple
160,95 $
Fast Software Encryption: 23rd International Conference, Fse 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

Thomas Peyrin Couverture souple
145,95 $
2 formats offerts
Symbolic And Quantitative Approaches To Reasoning With Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings

Jiåina Vejnarov Couverture souple
189,95 $
2 formats offerts
Public-Key Cryptography - PKC 2020: 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4-7, 2020, Proceedings, Part II

Aggelos Kiayias Couverture souple
160,95 $
2 formats offerts
Document Analysis Systems: 16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30-31, 2024, Proceedings

Giorgos Sfikas Couverture souple
116,95 $
2 formats offerts
Concept Lattices and Their Applications: Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers

Sadok Ben Yahia Couverture souple
80,50 $
Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, April 4-5, 2013, Proceedings

Dieter Pfoser Couverture souple
80,50 $
Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Evripidis Bampis Couverture souple
145,95 $
2 formats offerts
Distributed Computing: 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings

Couverture souple
71,50 $
Public-Key Cryptography - PKC 2017: 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I

Serge Fehr Couverture souple
80,50 $
2 formats offerts
Advances In Databases And Information Systems: 24th European Conference, Adbis 2020, Lyon, France, August 25-27, 2020, Proceedings

J Darmont Couverture souple
94,95 $
2 formats offerts
Smart Card Research and Advanced Applications: 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers

Sonia Bela Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

pascal van hentenryck

Auteur

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

Couverture souple
71,50 $
Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings

Couverture souple
71,50 $
STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings

Volker Diekert Couverture souple
160,95 $
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Helene Kirchner Couverture souple
80,50 $
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Couverture souple
71,50 $
Software Engineering Environments: International Workshop on Environments, Chinon, France, September 18-20, 1989. Proceedings

Couverture souple
71,50 $
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979

Couverture souple
64,95 $
Mobile Agents for Telecommunication Applications: Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000 Proceedings

Couverture souple
71,50 $
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings

Couverture souple
71,50 $
Pattern Recognition: 24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings

Luc Van Gool Couverture souple
160,95 $
Logical Aspects of Computational Linguistics: 6th International Conference, Lacl 2011, Montpellier, France, June 29 - July 1, 2011. Proceedings

Sylvain Pogodalla Couverture souple
80,50 $
Reliable Software Technologies - Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Jean-Pierre Rosen Couverture souple
80,50 $
Metainformatics: International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers

David L. Hicks Couverture souple
80,50 $
Data Integration in the Life Sciences: 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings

Patrick Lambrix Couverture souple
80,50 $
ECOOP 2006 - Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings

Dave Thomas Couverture souple
80,50 $
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings

Nicolas Behr Couverture souple
87,95 $
2 formats offerts
Computer Music Modeling and Retrieval: International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003, Revised Papers

Uffe K. Wiil Couverture rigide
160,95 $
Computer Vision Systems: Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings

Bernt Schiele Couverture souple
80,50 $
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Nils Jansen Couverture souple
109,50 $
2 formats offerts