Mostrando 2,901 - 2,920 Resultados de 3,430 Para Buscar 'Springer International Publishing AG', tiempo de consulta: 0.10s Limitar resultados
  1. 2901
    por Wang, Lusheng, Zhu, Daming
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Computing and combinatorics: 24th international conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, proceedings
  2. 2902
    por Margaria, Tiziana, Steffen, Bernhard
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Leveraging applications of formal methods, verification and validation industrial practice: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part IV
  3. 2903
    por Margaria, Tiziana, Steffen, Bernhard
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Leveraging applications of formal methods, verification and validation modeling: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part I
  4. 2904
    por Margaria, Tiziana, Steffen, Bernhard
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Leveraging applications of formal methods, verification and validation verification: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part II
  5. 2905
    “…Springer International Publishing AG…”
    Enlace del recurso
    PRIMA 2018: 21st international conference, Tokyo, Japan, October 29-November 2, 2018, proceedings
  6. 2906
    por Fioravanti, Fabio, Gallagher, John P
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
  7. 2907
    “…Springer International Publishing AG…”
    Enlace del recurso
    Information systems security: 14th international conference, ICISS 2018, Bangalore, India, December 17-19, 2018, proceedings
  8. 2908
    “…Springer International Publishing AG…”
    Enlace del recurso
    Network and parallel computing: 15th IFIP WG 10. 3 international conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018, proceedings
  9. 2909
    “…Springer International Publishing AG…”
    Enlace del recurso
    Computer science - theory and applications: 13th international computer science symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, proceedings
  10. 2910
    por Chakraborty, Debrup, Iwata, Tetsu
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Progress in cryptology - INDOCRYPT 2018: 19th international conference on cryptology in India, New Delhi, India, December 9-12, 2018, proceedings
  11. 2911
    “…Springer International Publishing AG…”
    Enlace del recurso
    Arithmetic of finite fields: 7th international workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, revised selected papers
  12. 2912
    “…Springer International Publishing AG…”
    Enlace del recurso
    Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
  13. 2913
    “…Springer International Publishing AG…”
    Enlace del recurso
    Rules and reasoning: second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, proceedings
  14. 2914
    “…Springer International Publishing AG…”
    Enlace del recurso
    Security, privacy, and anonymity in computation, communication, and storage: 11th international conference and satellite workshops, SPACCS 2018, Melbourne, NSW, Australia, December 11-13, 2018, proceedings
  15. 2915
    “…Springer International Publishing AG…”
    Enlace del recurso
    Mobile networks and management: 9th international conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, proceedings
  16. 2916
    “…Springer International Publishing AG…”
    Enlace del recurso
    Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis: first international workshop, datra 2018 and third international workshop, PIPPI 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, proceedings
  17. 2917
    por Liu, Joseph K, Samarati, Pierangela
    Publicado 2017
    “…Springer International Publishing AG…”
    Enlace del recurso
    Information security practice and experience: 13th international conference, ISPEC 2017, Melbourne, VIC, Australia, December 13-15, 2017, proceedings
  18. 2918
    por Li, Daoliang, Li, Zhenbo
    Publicado 2016
    “…Springer International Publishing AG…”
    Enlace del recurso
    Computer and computing technologies in agriculture ix: 9th IFIP WG 5. 14 international conference, CCTA 2015, Beijing, China, September 27-30, 2015, revised selected papers, part I
  19. 2919
    por Phan, Raphaël C -W, Yung, Moti
    Publicado 2017
    “…Springer International Publishing AG…”
    Enlace del recurso
    Paradigms in cryptology - MYCRYPT 2016 malicious and exploratory cryptology: second international conference, MYCRYPT 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, revised selected papers
  20. 2920
    “…Springer International Publishing AG…”
    Enlace del recurso
    Trust management IX: 9th IFIP WG 11. 11 international conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, proceedings
Herramientas de búsqueda: RSS