2 241 Notices bibliographiques

Votre Recherche

Recherche simple :

Date de publication
  • 2000-2099
Localisation
  • Bibliothèque du Haut-de-jardin
Sujets
  • Informatique
Détail des sujets
  • Génie logiciel
Sauvegarder votre recherche

Affiner

Nature de document

  • Ajouter un filtre

  • Ajouter un filtre

Détail des sujets

  • Ajouter un filtre

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

1 2015

Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / edited by Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland
1st ed. 2015
Springer International Publishing
Livres

2 2015

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
1st ed. 2015
Springer International Publishing
Livres

3 2015

Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / edited by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen
1st ed. 2015
Springer International Publishing
Livres

4 2015

Mobile Web and Intelligent Information Systems : 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedings / edited by Muhammad Younas, Irfan Awan, Massimo Mecella
1st ed. 2015
Springer International Publishing
Livres

5 2015

Algorithms and Architectures for Parallel Processing : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez Perez, Kenli Li.
1st ed. 2015
Springer International Publishing
Livres

6 2015

Web Information Systems Engineering - WISE 2015 : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I / edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang
Springer International Publishing
Livres

7 2012

Arnoldus, Jeroen (19..-....)

Code generation with templates / by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef
Atlantis Press
Livres

8 2014

Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / edited by Borzoo Bonakdarpour, Scott A. Smolka
Springer International Publishing
Livres

9 2014

SAFECOMP Conférence (33e ; 2014 ; Florence, Italie)

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings / Andrea Bondavalli, Felicita Di Giandomenico (Eds.)
Springer
Livres

10 2010

Innovations in computing sciences and software engineering / Tarek Sobh, Khaled Elleithy, editors
Springer
Livres

Récupérer les notices

(0)
(2 241)

autres Ressources