38 Notices bibliographiques

Votre Recherche

Recherche simple :

  • Langages de programmation
Sujets
  • Langages de programmation
Détail des sujets
  • Langages de programmation
  • Génie logiciel
Genre ou forme
  • Actes de congrès
Sauvegarder votre recherche

Affiner

Nature de document

  • Ajouter un filtre

  • Ajouter un filtre

Détail des sujets

  • Ajouter un filtre

Voir la sélection (0)
Ajouter à mes références (0)

1 2009

International Static Analysis Symposium (16e ; 2009 ; Los Angeles, Calif)

Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings / Jens Palsberg, Zhendong Su (eds.)
Springer
Livres

2 2011

Asian Symposium on Programming Languages and Systems (9 ; 2011 ; Kenting, Taiwan)

Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / Hongseok Yang (ed.)
Springer
Livres

3 2014

Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / edited by Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju
Springer International Publishing
Livres

4 2009

European Symposium on Programming (18e ; 2009 ; York, Angleterre)

Programming languages and systems : 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings / Giuseppe Castagna (ed.)
Springer
Livres

5 2009

International Workshop on Formal Methods for Industrial Critical Systems (13 ; 2008)

Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : Revised Selected Papers / edited by Darren Cofer, Alessandro Fantechi
Springer
Livres

6 2011

International Static Analysis Symposium (18e ; 2011 ; Venise, Italie)

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / Eran Yahav (ed.)
Springer
Livres

7 2008

Lipari Summer School on Advances in Software Engineering (2007 ; Lipari, Italie : Île)

Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / Egon Börger, Antonio Cisternino (eds.)
Springer
Livres

8 2009

CBSE 2009 (12 ; 2009)

Component-Based Software Engineering : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 : Proceedings / Grace A. Lewis, Iman Poernomo, Christine Hofmeister, (eds.)
Springer Berlin Heidelberg
Livres

9 2009

FOSSACS Conférence (12e ; 2009 ; York, Angleterre)

Foundations of software science and computational structures : 12th International Conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings / Luca de Alfaro (ed.)
Springer
Livres

10 2015

Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
1st ed. 2015
Springer International Publishing
Livres

Récupérer les notices

(0)
(38)

autres Ressources