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 Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Auteur 
Bianculli, Domenico. editor. Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Rumpe, Bernhard. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.76 .A65
ISBN (Numéro international normalisé des livres) 
9783662492246
Full Text Available From Springer Nature Computer Science 2015 Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de Transactions on Computational Science XXIII Special Issue on Cyberworlds
Transactions on Computational Science XXIII Special Issue on Cyberworlds
Transactions on Computational Science XXIII Special Issue on Cyberworlds
Auteur 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Mao, Xiaoyang. editor. Hong, Lichan. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783662437902
Full Text Available From Springer Nature Computer Science 2014 Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Grid Resource Management State of the Art and Future Trends
Grid Resource Management State of the Art and Future Trends
Grid Resource Management State of the Art and Future Trends
Auteur 
Nabrzyski, Jarek. editor. Schopf, Jennifer M. editor. Weglarz, Jan. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
T57.6 -.97
ISBN (Numéro international normalisé des livres) 
9781461505099
Full Text Available From Springer Nature Business and Economics Archive Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Artificial Intelligence in Music, Sound, Art and Design 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings
Artificial Intelligence in Music, Sound, Art and Design 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings
Artificial Intelligence in Music, Sound, Art and Design 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings
Auteur 
Romero, Juan. editor. (orcid)0000-0001-5566-5382 Ekárt, Anikó. editor. Martins, Tiago. editor. (orcid)0000-0003-2638-237X Correia, João. editor. (orcid)0000-0002-3613-5420 SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783030438593
Full Text Available From Springer Nature Computer Science 2020 Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Computational Methods in Transport: Verification and Validation
Computational Methods in Transport: Verification and Validation
Computational Methods in Transport: Verification and Validation
Auteur 
Graziani, Frank. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q1 -390
ISBN (Numéro international normalisé des livres) 
9783540773627
Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
Auteur 
Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. (orcid)0000-0001-7044-9805 SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.9 .A43
ISBN (Numéro international normalisé des livres) 
9783319503493
Full Text Available From Springer Nature Computer Science 2016 Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Multiobjective Optimization Interactive and Evolutionary Approaches
Multiobjective Optimization Interactive and Evolutionary Approaches
Multiobjective Optimization Interactive and Evolutionary Approaches
Auteur 
Branke, Jürgen. editor. Deb, Kalyanmoy. editor. Miettinen, Kaisa. editor. Slowiński, Roman. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.6 -76.66
ISBN (Numéro international normalisé des livres) 
9783540889083
Full Text Available From Springer Nature Computer Science 2008 Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Auteur 
Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.6 -76.66
ISBN (Numéro international normalisé des livres) 
9783642020940
Full Text Available From Springer Nature Computer Science 2009 Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation
Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation
Studies in Complexity and Cryptography Miscellanea on the Interplay between Randomness and Computation
Auteur 
Goldreich, Oded. author. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783642226700
Full Text Available From Springer Nature Computer Science 2011 Packages
Format : 
Ressources électroniques
Disponible:
11. 
Image de couverture de Authoring Tools for Advanced Technology Learning Environments Toward Cost-Effective Adaptive, Interactive and Intelligent Educational Software
Authoring Tools for Advanced Technology Learning Environments Toward Cost-Effective Adaptive, Interactive and Intelligent Educational Software
Authoring Tools for Advanced Technology Learning Environments Toward Cost-Effective Adaptive, Interactive and Intelligent Educational Software
Auteur 
Murray, T. editor. Blessing, S. editor. Ainsworth, S. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
LB1028.3
ISBN (Numéro international normalisé des livres) 
9789401708197
Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages
Format : 
Ressources électroniques
Disponible:
12. 
Image de couverture de Computer Aided Learning and Instruction in Science and Engineering Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings
Computer Aided Learning and Instruction in Science and Engineering Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings
Computer Aided Learning and Instruction in Science and Engineering Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings
Auteur 
Diaz de Ilarraza Sanchez, Arantza. editor. Fernandez de Castro, Isabel. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
LB1028.3
ISBN (Numéro international normalisé des livres) 
9783540686750
Full Text Available From Springer Nature Computer Science Archive 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
SpringerLink (Online service)
(16)
Branke, Jürgen. editor.
(3)
Cagnoni, Stefano. editor.
(3)
Machado, Penousal. editor.
(3)
Rothlauf, Franz. editor.
(3)
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
Computer science.
(16)
Computer science -- Mathematics.
(7)
Computer Communication Networks.
(6)
Computer networks .
(6)
Algorithms.
(5)
Type de document
Emplacement
Bibliothèque