skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Mostrar solo
Refinado por: fecha de publicación: Después de 2008 eliminar tipo de recurso: magazinearticle eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Unifying Functional and Object-Oriented Programming with Scala
Material Type:
magazinearticle
Añadir a Mi Portal

Unifying Functional and Object-Oriented Programming with Scala

ODERSKY, Martin ; ROMPF, Tiark

Communications of the ACM, 2014-04, Vol.57 (4), p.76-86

New York, NY: Association for Computing Machinery

Texto completo disponible

2
The Go programming language and environment
Material Type:
magazinearticle
Añadir a Mi Portal

The Go programming language and environment

Cox, Russ ; Griesemer, Robert ; Pike, Rob ; Taylor, Ian Lance ; Thompson, Ken

Communications of the ACM, 2022-05, Vol.65 (5), p.70-78

New York, NY, USA: ACM

Texto completo disponible

3
Voreen: A Rapid-Prototyping Environment for Ray-Casting-Based Volume Visualizations
Material Type:
magazinearticle
Añadir a Mi Portal

Voreen: A Rapid-Prototyping Environment for Ray-Casting-Based Volume Visualizations

Meyer-Spradow, J. ; Ropinski, T. ; Mensmann, J. ; Hinrichs, K.

IEEE computer graphics and applications, 2009-11, Vol.29 (6), p.6-13 [Revista revisada por pares]

United States: IEEE

Texto completo disponible

4
A Genealogy of Fractal Code [About the cover]
Material Type:
magazinearticle
Añadir a Mi Portal

A Genealogy of Fractal Code [About the cover]

Singh, Gary

IEEE computer graphics and applications, 2016-03, Vol.36 (2), p.3-4 [Revista revisada por pares]

Los Alamitos: IEEE

Texto completo disponible

5
The future is big graphs: a community view on graph processing systems
Material Type:
magazinearticle
Añadir a Mi Portal

The future is big graphs: a community view on graph processing systems

Sakr, Sherif ; Bonifati, Angela ; Voigt, Hannes ; Iosup, Alexandru ; Ammar, Khaled ; Angles, Renzo ; Aref, Walid ; Arenas, Marcelo ; Besta, Maciej ; Boncz, Peter A. ; Daudjee, Khuzaima ; Valle, Emanuele Della ; Dumbrava, Stefania ; Hartig, Olaf ; Haslhofer, Bernhard ; Hegeman, Tim ; Hidders, Jan ; Hose, Katja ; Iamnitchi, Adriana ; Kalavri, Vasiliki ; Kapp, Hugo ; Martens, Wim ; Özsu, M. Tamer ; Peukert, Eric ; Plantikow, Stefan ; Ragab, Mohamed ; Ripeanu, Matei R. ; Salihoglu, Semih ; Schulz, Christian ; Selmer, Petra ; Sequeda, Juan F. ; Shinavier, Joshua ; Szárnyas, Gábor ; Tommasini, Riccardo ; Tumeo, Antonino ; Uta, Alexandru ; Varbanescu, Ana Lucia ; Wu, Hsiang-Yun ; Yakovets, Nikolay ; Yan, Da ; Yoneki, Eiko

Communications of the ACM, 2021-09, Vol.64 (9), p.62-71

New York: Association for Computing Machinery

Texto completo disponible

6
Co-Developing Programs and Their Proof of Correctness
Material Type:
magazinearticle
Añadir a Mi Portal

Co-Developing Programs and Their Proof of Correctness

Chapman, Roderick ; Dross, Claire ; Matthews, Stuart ; Moy, Yannick

Communications of the ACM, 2024-03, Vol.67 (3), p.84-94

New York, NY, USA: ACM

Texto completo disponible

7
Specification and Verification: The Spec# Experience
Material Type:
magazinearticle
Añadir a Mi Portal

Specification and Verification: The Spec# Experience

BARNETT, Mike ; FÄHNDRICH, Manuel ; LEINO, K. Rustan M ; MÜLLER, Peter ; SCHULTE, Wolfram ; VENTER, Herman

Communications of the ACM, 2011-06, Vol.54 (6), p.81-91

New York, NY: Association for Computing Machinery

Texto completo disponible

8
Extending Aspect-Oriented Programming for Dynamic User's Activity Detection in Mobile App Analytics
Material Type:
magazinearticle
Añadir a Mi Portal

Extending Aspect-Oriented Programming for Dynamic User's Activity Detection in Mobile App Analytics

Moreno, Francisco ; Uribe, Silvia ; Alvarez, Federico ; Menendez, Jose Manuel

IEEE consumer electronics magazine, 2020-03, Vol.9 (2), p.57-63

Piscataway: IEEE

Texto completo disponible

9
Computational Red Teaming: Past, Present and Future
Material Type:
magazinearticle
Añadir a Mi Portal

Computational Red Teaming: Past, Present and Future

Abbass, H ; Bender, A ; Gaidow, S ; Whitbread, P

IEEE computational intelligence magazine, 2011-02, Vol.6 (1), p.30-42

Washington: IEEE

Texto completo disponible

10
Ant Colony Optimization Algorithms for Dynamic Optimization: A Case Study of the Dynamic Travelling Salesperson Problem [Research Frontier]
Material Type:
magazinearticle
Añadir a Mi Portal

Ant Colony Optimization Algorithms for Dynamic Optimization: A Case Study of the Dynamic Travelling Salesperson Problem [Research Frontier]

Mavrovouniotis, Michalis ; Yang, Shengxiang ; Van, Mien ; Li, Changhe ; Polycarpou, Marios

IEEE computational intelligence magazine, 2020-02, Vol.15 (1), p.52-63

Washington: IEEE

Texto completo disponible

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 (8)

Fecha de Publicación 

De Hasta
  1. Antes de2011  (79)
  2. 2011Hasta2013  (93)
  3. 2014Hasta2016  (42)
  4. 2017Hasta2020  (61)
  5. Después de 2020  (70)
  6. Más opciones open sub menu

Idioma 

  1. Inglés  (340)
  2. Alemán  (4)
  3. Japonés  (1)
  4. Más opciones open sub menu

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