skip to main content
Resultados 1 2 3 4 5 next page
Mostrar solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Upper and lower bounds on switching energy in VLSI
Material Type:
Artículo
Añadir a Mi Portal

Upper and lower bounds on switching energy in VLSI

KISSIN, G

Journal of the ACM, 1991-01, Vol.38 (1), p.222-254 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

Texto completo disponible

2
Extended Horn sets in propositional logic
Material Type:
Artículo
Añadir a Mi Portal

Extended Horn sets in propositional logic

CHANDRU, V ; HOOKER, J. N

Journal of the ACM, 1991-01, Vol.38 (1), p.205-221 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

Texto completo disponible

3
AN OPTIMAL ALGORITHM FOR INTERSECTING LINE SEGMENTS IN THE PLANE
Material Type:
Artículo
Añadir a Mi Portal

AN OPTIMAL ALGORITHM FOR INTERSECTING LINE SEGMENTS IN THE PLANE

CHAZELLE, B ; EDELSBRUNNER, H

Journal of the ACM, 1992-01, Vol.39 (1), p.1-54 [Revista revisada por pares]

NEW YORK: Assoc Computing Machinery

Texto completo disponible

4
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING
Material Type:
Artículo
Añadir a Mi Portal

INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING

GOGUEN, JA ; BURSTALL, RM

Journal of the ACM, 1992-01, Vol.39 (1), p.95-146 [Revista revisada por pares]

NEW YORK: Assoc Computing Machinery

Texto completo disponible

5
Perfectly secure message transmission
Material Type:
Artículo
Añadir a Mi Portal

Perfectly secure message transmission

DOLEV, D ; DWORK, C ; WAARTS, O ; YUNG, M

Journal of the ACM, 1993-01, Vol.40 (1), p.17-47 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

Texto completo disponible

6
Constant depth circuits, Fourier transform, and learnability
Material Type:
Artículo
Añadir a Mi Portal

Constant depth circuits, Fourier transform, and learnability

LINIAL, N ; MANSOUR, Y ; NISAN, N

Journal of the ACM, 1993-07, Vol.40 (3), p.607-620 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

Texto completo disponible

7
Fault tolerance of the star graph interconnection network
Material Type:
Artículo
Añadir a Mi Portal

Fault tolerance of the star graph interconnection network

JOVANOVIC, Z ; MISIC, J

Information processing letters, 1994-02, Vol.49 (3), p.145-150 [Revista revisada por pares]

Amsterdam: Elsevier B.V

Texto completo disponible

8
Linear approximation of shortest superstrings
Material Type:
Artículo
Añadir a Mi Portal

Linear approximation of shortest superstrings

Blum, Avrim ; Jiang, Tao ; Li, Ming ; Tromp, John ; Yannakakis, Mihalis

Journal of the ACM, 1994-07, Vol.41 (4), p.630-647 [Revista revisada por pares]

New York: Association for Computing Machinery

Texto completo disponible

9
On the hardness of approximating minimization problems
Material Type:
Artículo
Añadir a Mi Portal

On the hardness of approximating minimization problems

LUND, C ; YANNAKAKIS, M

Journal of the ACM, 1994-09, Vol.41 (5), p.960-981 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

Texto completo disponible

10
The complexity of logic-based abduction
Material Type:
Artículo
Añadir a Mi Portal

The complexity of logic-based abduction

EITER, T ; GOTTLOB, G

Journal of the ACM, 1995-01, Vol.42 (1), p.3-42 [Revista revisada por pares]

New York, NY: Association for Computing Machinery

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

Fecha de Publicación 

De Hasta
  1. Antes de1996  (12)
  2. 1996Hasta2000  (43)
  3. 2001Hasta2005  (64)
  4. 2006Hasta2011  (143)
  5. Después de 2011  (155)
  6. 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