Materias dentro de su búsqueda.
Mostrando 321 - 340 Resultados de 948 Para Buscar '"Lecture Notes"', tiempo de consulta: 0.08s Limitar resultados
  1. 321
    Handheld and ubiquitous computing : first International Symposium, HUC '99, Karlsruhe, Germany, September 27-29, 1999 : proceedings
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  2. 322
    UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
    por UML '99
    Publicado 1999
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  3. 323
    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. 324
    Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
    Publicado 2005
    “…Lecture notes in computer science…”
    Libro electrónico
  5. 325
    Ubicomp 2001: Ubiquitous Computing : International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001 Proceedings
    por Ubicomp 2001
    Publicado 2001
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  6. 326
    Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings
    Publicado 2000
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  7. 327
    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
  8. 328
    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
  9. 329
    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
  10. 330
    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
  11. 331
    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
  12. 332
    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
  13. 333
    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
  14. 334
    Advanced Construction Technology and Research of Deep-Sea Tunnels
    por Mei, Guoxiong
    Publicado 2024
    “…Lecture Notes in Civil Engineering…”
    Libro electrónico
  15. 335
    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
  16. 336
    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
  17. 337
    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
  18. 338
    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
  19. 339
    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
  20. 340
    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

Herramientas de búsqueda: