Materias dentro de su búsqueda.
Mostrando 1,401 - 1,420 Resultados de 3,154 Para Buscar '"Lectures"', tiempo de consulta: 0.07s Limitar resultados
  1. 1401
    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
  2. 1402
    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
  3. 1403
    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
  4. 1404
    Digital Transformation in Semiconductor Manufacturing : Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2019, Milan, Italy
    Publicado 2020
    “…Lecture Notes in Electrical Engineering…”
    Libro electrónico
  5. 1405
    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
  6. 1406
    Earth beings : ecologies of practice across Andean worlds
    Publicado 2015
    “…The Lewis Henry Morgan lectures…”
    Libro electrónico
  7. 1407
    Advanced Construction Technology and Research of Deep-Sea Tunnels
    por Mei, Guoxiong
    Publicado 2024
    “…Lecture Notes in Civil Engineering…”
    Libro electrónico
  8. 1408
    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
  9. 1409
    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
  10. 1410
    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
  11. 1411
    Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
    por Cimiano, Philipp
    Publicado 2024
    “…Lecture Notes in Artificial Intelligence…”
    Libro electrónico
  12. 1412
    Fostering rapid advances in health care
    Publicado 2003
    “…Richard and Hinda Rosenthal lectures…”
    Libro electrónico
  13. 1413
    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
  14. 1414
    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
  15. 1415
    Digital Interaction and Machine Intelligence : Proceedings of MIDI’2021 – 9th Machine Intelligence and Digital Interaction Conference, December 9-10, 2021, Warsaw, Poland
    por Biele, Cezary
    Publicado 2022
    “…Lecture Notes in Networks and Systems…”
    Libro electrónico
  16. 1416
    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
  17. 1417
    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
  18. 1418
    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
  19. 1419
    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
  20. 1420
    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

Herramientas de búsqueda: