Résultats de rechercheBases de données
16 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
000000000000DEFAULT
Imprimer
1. 
Image de couverture de Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Auteur 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783662454893
Full Text Available From Springer Nature Computer Science 2014 Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Auteur 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.9 .A43
ISBN (Numéro international normalisé des livres) 
9783030003593
Full Text Available From Springer Nature Computer Science 2018 Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Auteur 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Numéro de cote topographique requis 
TK7885 -7895
ISBN (Numéro international normalisé des livres) 
9783030350925
Full Text Available From Springer Nature Computer Science 2019 Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Communication in Multiagent Systems Agent Communication Languages and Conversation Policies
Communication in Multiagent Systems Agent Communication Languages and Conversation Policies
Communication in Multiagent Systems Agent Communication Languages and Conversation Policies
Auteur 
Huget, Marc-Phillipe. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783540449720
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning
Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning
Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning
Auteur 
Alonso, Eduardo. editor. Kudenko, Daniel. editor. Kazakov, Dimitar. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783540448266
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Issues in Agent Communication
Issues in Agent Communication
Issues in Agent Communication
Auteur 
Dignum, Frank. editor. Greaves, Mark. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783540400288
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
Auteur 
van Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783540322580
Full Text Available From Springer Nature Computer Science 2005 Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de Object-Oriented Technology. ECOOP 2003 Workshop Reader ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports
Object-Oriented Technology. ECOOP 2003 Workshop Reader ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports
Object-Oriented Technology. ECOOP 2003 Workshop Reader ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports
Auteur 
Buschmann, Frank. editor. Buchmann, Alejandro P. editor. Cilia, Mariano. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.6 -76.66
ISBN (Numéro international normalisé des livres) 
9783540259343
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Interactive Systems: Design, Specification, and Verification 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Interactive Systems: Design, Specification, and Verification 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Interactive Systems: Design, Specification, and Verification 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Auteur 
Paterno, Fabio. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
T385
ISBN (Numéro international normalisé des livres) 
9783642871153
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
11. 
Image de couverture de ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Auteur 
Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143
Numéro de cote topographique requis 
QA76.758
ISBN (Numéro international normalisé des livres) 
9783642357374
Full Text Available From Springer Nature Computer Science 2013 Packages
Format : 
Ressources électroniques
Disponible:
12. 
Image de couverture de Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Auteur 
Lewis, Grace A. editor. (orcid)0000-0001-9128-9863 Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.758
ISBN (Numéro international normalisé des livres) 
9783642024146
Full Text Available From Springer Nature Computer Science 2009 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
16 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
Sujet
Type de document
Emplacement
Bibliothèque