68 Notices bibliographiques

Votre Recherche

    Notices liées en tant que sujet.
    • Langages de programmation
Pays
  • Grande-Bretagne
Date de publication
  • 2000-2099
Localisation
  • Ressource électronique acquise
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 2005

Abdallah, Ali E.

Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
Springer-Verlag Berlin Heidelberg
Livres

2 2005

Abadi, Martín

CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / edited by Martín Abadi, Luca Alfaro
Springer-Verlag Berlin Heidelberg
Livres

3 2005

Christiansen, Henning

Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / edited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
Springer-Verlag Berlin Heidelberg
Livres

4 2005

Bierman, Gavin

Database Programming Languages : 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers / edited by Gavin Bierman, Christoph Koch
Springer-Verlag Berlin Heidelberg
Livres

5 2005

Leite, João

Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum
Springer-Verlag Berlin Heidelberg
Livres

6 2005

Kutvonen, Lea

Distributed Applications and Interoperable Systems : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Lea Kutvonen, Nancy Alonistioti
Springer-Verlag Berlin Heidelberg
Livres

7 2005

Black, Andrew P.

ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / edited by Andrew P. Black
Springer-Verlag Berlin Heidelberg
Livres

8 2005

Bouyssounouse, Bruno

Embedded Systems Design : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis
Springer-Verlag Berlin Heidelberg
Livres

9 2005

Fitzgerald, John

FM 2005 : Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
Springer-Verlag Berlin Heidelberg
Livres

10 2005

Bernardo, Marco

Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo
Springer-Verlag Berlin Heidelberg
Livres

Récupérer les notices

(0)
(68)

autres Ressources