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 - 20 Resultados de 558 Para Buscar '"Lecture notes in computer science,"', tiempo de consulta: 0.29s Limitar resultados
  1. 1
    Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
    “…Lecture notes in computer science…”
    Libro electrónico
  2. 2
    Artificial neural networks ICANN'97 : 7th International Conference Lausanne, Switzerland, October 8-10, 1997, proceedings
    Publicado 1997
    “…Lecture notes in computer science…”
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Universidad Pontificia de Comillas)
    Libro
  3. 3
    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
  4. 4
    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
  5. 5
    Ethics and Responsible Research and Innovation in Practice : The ETHNA System Project
    Publicado 2023
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  6. 6
    Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
    Publicado 2023
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  7. 7
    Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
    por Enea, Constantin
    Publicado 2023
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  8. 8
    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
  9. 9
    Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
    Publicado 2004
    “…Lecture notes in computer science…”
    Libro
  10. 10
    Formal methods and software engineering : ... International conference on formal engineering methods, ICFEM ... : proceedings
    “…Lecture notes in computer science…”
    Seriadas
  11. 11
    Automata, Languages and Programming : fourth Colloquium, University of Turku, Finland July 18-22, 1977
    Publicado 1977
    “…Lecture Notes in Computer Science…”
    Biblioteca Universidad de Navarra (Otras Fuentes: Biblioteca Universitat Ramon Llull)
    Libro
  12. 12
    Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
    Publicado 2023
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  13. 13
    Parallel and Distributed Processing and Applications : International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings
    por ISPA (Conference)
    Publicado 2003
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  14. 14
    Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  15. 15
    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
  16. 16
    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
  17. 17
    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
  18. 18
    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
  19. 19
    UbiComp 2002: Ubiquitous Computing : 4th International Conference, Göteborg, Sweden, September 29 - October 1, 2002. Proceedings
    por UbiComp 2002
    Publicado 2002
    “…Lecture Notes in Computer Science…”
    Libro electrónico
  20. 20
    Quality of Service - IWQoS 2003 : 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings
    “…Lecture Notes in Computer Science…”
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda