skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar solo
Refinado por: colección: OAPEN eliminar tipo de recurso: Libros eliminar SpringerLINK Lecture Notes in Computer Science (2015) eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 III
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 III
Material Type:
Libro 		Añadir a Mi Portal

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 III

Finkbeiner, Bernd ; Kovács, Laura

Cham: Springer Nature 2024

Texto completo disponible

Citas Citado por
2
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 I
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 I
Material Type:
Libro 		Añadir a Mi Portal

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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 I

Finkbeiner, Bernd ; Kovács, Laura

Cham: Springer Nature 2024

Texto completo disponible

Citas Citado por
3
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
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
Material Type:
Libro 		Añadir a Mi Portal

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

Bakas, Spyridon ; Crimi, Alessandro

Cham: Springer Nature 2022

Texto completo disponible

Citas Citado por
4
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings

Abramson, David ; de Supinski, Bronis R de Supinski, Bronis R ; Abramson, David

Netherlands: Springer Nature 2019

Texto completo disponible

Citas Citado por
5
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools
Material Type:
Libro 		Añadir a Mi Portal

Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools

Kołodziej, Joanna ; Repetto, Matteo ; Duzha, Armend Duzha, Armend ; Kołodziej, Joanna ; Repetto, Matteo ; Repetto, Matteo ; Duzha, Armend ; Kołodziej, Joanna

Cham: Springer Nature 2022

Texto completo disponible

Citas Citado por
6
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Muller, Peter Müller, Peter

Netherlands: Springer Nature 2020

Texto completo disponible

Citas Citado por
7
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Goubault-Larrecq, Jean ; König, Barbara Goubault-Larrecq, Jean ; König, Barbara

Netherlands: Springer Nature 2020

Texto completo disponible

Citas Citado por
8
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Wehrheim, Heike ; Cabot, Jordi Wehrheim, Heike ; Cabot, Jordi

Netherlands: Springer Nature 2020

Texto completo disponible

Citas Citado por
9
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Ahmed, Amal Ahmed, Amal

Cham: Springer Open 2018

Texto completo disponible

Citas Citado por
10
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Material Type:
Libro 		Añadir a Mi Portal

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405

Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, Carla ; Ulidowski, Irek ; Ferreira, Carla

Netherlands: Springer Nature 2020

Texto completo disponible

Citas Citado por
Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Revistas arbitradas (1)

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de2014  (7)
  2. 2014Hasta2016  (4)
  3. 2017Hasta2018  (11)
  4. 2019Hasta2021  (15)
  5. Después de 2021  (14)
  6. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora