Materias dentro de su búsqueda.
Mostrando 41 - 60 Resultados de 402 Para Buscar '"Lecture Notes in Computer Science"', tiempo de consulta: 0.12s Limitar resultados
  1. 41
    UML 2000 - The Unified Modeling Language: Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 Proceedings
    por UML 2000
    Publicado 2000
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  2. 42
    Parallel and distributed processing and applications : second international symposium, ispa 2004, hong kong, china, december 13-15, 2004, proceedings
    por ISPA (Conference)
    Publicado 2004
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  3. 43
    Component-based software engineering : 8th international symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
    por CBSE 2005
    Publicado 2005
    “…Lecture notes in computer science…”
    Libro electrónico
  4. 44
    Object-oriented technology : ECOOP 2007 workshop reader : ECOOP 2007 workshops, Berlin, Germany, July 30-31, 2007, final reports
    Publicado 2008
    “…Lecture notes in computer science…”
    Libro electrónico
  5. 45
    Middleware 2006 : ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006 : proceedings
    “…Lecture notes in computer science…”
    Libro electrónico
  6. 46
    Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
    Publicado 2023
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  7. 47
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
    por Gurfinkel, Arie
    Publicado 2024
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  8. 48
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
    por Gurfinkel, Arie
    Publicado 2024
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  9. 49
    Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
    por Gurfinkel, Arie
    Publicado 2024
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  10. 50
    Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II
    Publicado 2022
    “…Lecture notes in computer science…”
    Libro electrónico
  11. 51
    Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I.
    Publicado 2022
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  12. 52
    Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
    Publicado 2022
    “…Lecture notes in computer science…”
    Libro electrónico
  13. 53
    Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I
    Publicado 2022
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  14. 54
    Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    Publicado 2022
    “…Lecture notes in computer science…”
    Libro electrónico
  15. 55
    Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II
    Publicado 2022
    “…Lecture notes in computer science…”
    Libro electrónico
  16. 56
    Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    Publicado 2022
    “…Lecture notes in computer science…”
    Libro electrónico
  17. 57
    Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    Publicado 2022
    “…Lecture notes in computer science…”
    Libro electrónico
  18. 58
    Computational Science – ICCS 2022 : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III
    Publicado 2022
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  19. 59
    Algorithms for Big Data : DFG Priority Program 1736
    por Bast, Hannah
    Publicado 2022
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  20. 60
    Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
    Publicado 2023
    “…Lecture Notes in Computer Science…”
    Libro electrónico

Herramientas de búsqueda: