2 659 Notices bibliographiques

Votre Recherche

    Notices liées en tant que sujet construit.
    • Informatique
Détail des sujets
  • Génie logiciel
Localisation
  • Ressource électronique acquise
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

CHES Atelier (17e ; 2015 ; Saint-Malo, France)

Cryptographic hardware and embedded systems -- CHES 2015 : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / Tim Güneysu, Helena Handschuh (eds.)
Springer
Livres

2 2015

Transactions on Petri Nets and Other Models of Concurrency X / edited by Maciej Koutny, Jörg Desel, Serge Haddad
1st ed. 2015
Springer Berlin Heidelberg
Livres

3 1996

Godefroid, Patrice

Partial-Order Methods for the Verification of Concurrent Systems : an Approach to the State-Explosion Problem / edited by Patrice Godefroid
Springer-Verlag
Livres

4 1994

Ishida, Toru (1953-....)

Parallel, Distributed and Multiagent Production Systems / by Toru Ishida
Springer-Verlag
Livres

5 1998

Knoop, Jens

Optimal Interprocedural Program Optimization : a New Framework and Its Application / by Jens Knoop
Springer-Verlag Berlin Heidelberg
Livres

6 1998

Rüthing, Oliver

Interacting code motion transformations : their impact and their complexity / Oliver Rüthing
Springer
Livres

7 1996

Ito, Takayasu

Parallel Symbolic Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2-4, 1995 Proceedings / edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec
Springer-Verlag
Livres

8 1998

Caromel, Denis

Computing in Object-Oriented Parallel Environments : Second International Symposium, ISCOPE 98 Santa Fe, NM, USA, December 8-11, 1998 Proceedings / edited by Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn
Springer-Verlag
Livres

9 1999

Haeberer, Armando M.

Algebraic Methodology and Software Technology : 7th International Conference, AMAST'98 Amazonia, Brazil, January 4-8, 1999 Proceedings / edited by Armando M. Haeberer
Springer-Verlag Berlin Heidelberg
Livres

10 2008

GPC 2008 (2008 ; Kunming, Chine)

Advances in grid and pervasive computing : third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings / Song Wu, Laurence T. Yang, Tony Li Xu (eds.)
Springer
Livres

Récupérer les notices

(0)
(2 659)

autres Ressources