Materias dentro de su búsqueda.
Mostrando 59,281 - 59,300 Resultados de 59,811 Para Buscar 'Springer International Publishing', tiempo de consulta: 0.36s Limitar resultados
  1. 59281
    por Margaria, Tiziana, Steffen, Bernhard
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Leveraging applications of formal methods, verification and validation distributed systems: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part III
  2. 59282
    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
  3. 59283
    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
  4. 59284
    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
  5. 59285
    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
  6. 59286
    “…Springer International Publishing AG…”
    Enlace del recurso
    PRIMA 2018: 21st international conference, Tokyo, Japan, October 29-November 2, 2018, proceedings
  7. 59287
    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
  8. 59288
    “…Springer International Publishing AG…”
    Enlace del recurso
    Information systems security: 14th international conference, ICISS 2018, Bangalore, India, December 17-19, 2018, proceedings
  9. 59289
    “…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
  10. 59290
    “…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
  11. 59291
    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
  12. 59292
    “…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
  13. 59293
    “…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
  14. 59294
    “…Springer International Publishing AG…”
    Enlace del recurso
    Rules and reasoning: second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, proceedings
  15. 59295
    “…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
  16. 59296
    “…Springer International Publishing AG…”
    Enlace del recurso
    Mobile networks and management: 9th international conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, proceedings
  17. 59297
    “…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
  18. 59298
    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
  19. 59299
    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
  20. 59300
    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
Herramientas de búsqueda: RSS