Materias dentro de su búsqueda.
Buscar alternativas:
lecture » lecturas (Expander búsqueda)
"Lecture notes in computer science," » "Lecture notas in computer science," (Expander búsqueda)
Mostrando 1 - 10 Resultados de 10 Para Buscar '"Lecture notes in computer science,"', tiempo de consulta: 0.11s Limitar resultados
  1. 1
    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
  2. 2
    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 II
    Publicado 2023
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  3. 3
    Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  4. 4
    Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
    por GPCE (Conference)
    Publicado 2003
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  5. 5
    Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
    por Kobayashi, Naoki
    Publicado 2024
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  6. 6
    Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
    por Beyer, Dirk
    Publicado 2024
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  7. 7
    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
  8. 8
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010 ; Madrid, Spain, January 17-19, 2010 ; proceedings
    Publicado 2010
    “…Lecture notes in computer science…”
    Libro electrónico
  9. 9
    Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
    por AISC 2010
    Publicado 2010
    “…Lecture notes in computer science. Lecture notes in artificial intelligence ; 6167.…”
    Libro electrónico
  10. 10
    System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    Publicado 2013
    “…Lecture notes in computer science…”
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda