Materias dentro de su búsqueda.
Mostrando 59,401 - 59,420 Resultados de 59,811 Para Buscar 'Springer International Publishing', tiempo de consulta: 0.64s Limitar resultados
  1. 59401
    por Feng, Xinyu, Park, Sungwoo
    Publicado 2015
    “…Springer International Publishing AG…”
    Enlace del recurso
    Programming languages and systems: 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings
  2. 59402
    “…Springer International Publishing AG…”
    Enlace del recurso
    Architecture of computing systems - ARCS 2018: 31st international conference, Braunschweig, Germany, April 9-12, 2018, proceedings
  3. 59403
    por Hasuo, Ichiro
    Publicado 2016
    “…Springer International Publishing AG…”
    Enlace del recurso
    Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
  4. 59404
    “…Springer International Publishing AG…”
    Enlace del recurso
    NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
  5. 59405
    “…Springer International Publishing AG…”
    Enlace del recurso
    Conformal and probabilistic prediction with applications: 5th international symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, proceedings
  6. 59406
    por Jansen, David N, Prabhakar, Pavithra
    Publicado 2018
    “…Springer International Publishing AG…”
    Enlace del recurso
    Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
  7. 59407
    por Poovendran, Radha, Saad, Walid
    Publicado 2014
    “…Springer International Publishing AG…”
    Enlace del recurso
    Decision and game theory for security: 5th international conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, proceedings
  8. 59408
    por Brodman, James, Tu, Peng
    Publicado 2015
    “…Springer International Publishing AG…”
    Enlace del recurso
    Languages and compilers for parallel computing: 27th international workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, revised selected papers
  9. 59409
    por Lahiri, Shuvendu, Reger, Giles
    Publicado 2017
    “…Springer International Publishing AG…”
    Enlace del recurso
    Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
  10. 59410
    por Hodicky, Jan
    Publicado 2015
    “…Springer International Publishing AG…”
    Enlace del recurso
    Modelling and simulation for autonomous systems: second international workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, revised selected papers
  11. 59411
    “…Springer International Publishing AG…”
    Enlace del recurso
    The semantic web: ESWC 2015 satellite events, Portoroz, Slovenia, May 31 - June 4, 2015, revised selected papers
  12. 59412
    “…Springer International Publishing AG…”
    Enlace del recurso
    Conceptual modeling: 33rd international conference, ER 2014, Atlanta, GA, USA, October 27-29,2014 proceedings
  13. 59413
    “…Springer International Publishing AG…”
    Enlace del recurso
    Simulated evolution and learning: 11th international conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, proceedings
  14. 59414
    por Rahman, M Sohel, Tomita, Etsuji
    Publicado 2015
    “…Springer International Publishing AG…”
    Enlace del recurso
    WALCOM: 9th international workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, proceedings
  15. 59415
    “…Springer International Publishing AG…”
    Enlace del recurso
    Intelligent cloud computing: first international conference, ICC 2014, Muscat, Oman, February 24-26, 2014, revised selected papers
  16. 59416
    “…Springer International Publishing AG…”
    Enlace del recurso
    Learning and intelligent optimization: 9th international conference, LION 9, Lille, France, January 12-15, 2015 revised selected papers
  17. 59417
    por Cavalheiro, Simone, Fiadeiro, José
    Publicado 2017
    “…Springer International Publishing AG…”
    Enlace del recurso
    Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
  18. 59418
    “…Springer International Publishing AG…”
    Enlace del recurso
    Intelligent computer mathematics: 11th international conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings
  19. 59419
    “…Springer International Publishing AG…”
    Enlace del recurso
    Applications of computational intelligence: first IEEE Colombian conference, COLCACI 2018, Medellín, Colombia, May 16-18, 2018, revised selected papers
  20. 59420
    “…Springer International Publishing AG…”
    Enlace del recurso
    RoboCUP 2014
Herramientas de búsqueda: RSS