skip to main content
Resultados 1 2 3 4 next page
Mostrar solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
Material Type:
Libro
Añadir a Mi Portal

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Bakker, Jaco de ; Leeuwen, Jan van de Bakker, Jaco ; van Leeuwen, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponible

2
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979
Material Type:
Libro
Añadir a Mi Portal

Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979

Ershov, Andrei P ; Knuth, Donald E Ershov, Andrei P. ; Knuth, Donald E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1981

Texto completo disponible

3
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Material Type:
Libro
Añadir a Mi Portal

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Snyers, Dominique ; Thayse, André

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponible

4
Handbook of theoretical computer science
Material Type:
Libro
Añadir a Mi Portal

Handbook of theoretical computer science

Elsevier Science 1990

Texto completo disponible

5
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
Material Type:
Libro
Añadir a Mi Portal

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Book, Ronald V Book, Ronald V.

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponible

6
The Design of an Extendible Graph Editor
Material Type:
Libro
Añadir a Mi Portal

The Design of an Extendible Graph Editor

Newbery Paulisch, Frances Newbery Paulisch, Frances

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponible

7
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Material Type:
Libro
Añadir a Mi Portal

Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings

Abiteboul, Serge ; Shamir, Eli Abiteboul, Serge ; Shamir, Eli

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponible

8
Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings
Material Type:
Libro
Añadir a Mi Portal

Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings

Akl, Selim G ; Dehne, Frank ; Sack, Jörg-Rüdiger ; Santoro, Nicola Santoro, Nicola ; Sack, Jörg-Rüdiger ; Dehne, Frank ; Akl, Selim G.

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponible

9
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Material Type:
Libro
Añadir a Mi Portal

Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

Hsiang, Jieh Hsiang, Jieh

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponible

10
Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
Material Type:
Libro
Añadir a Mi Portal

Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings

Ferreira, Afonso ; Rolim, José Rolim, José ; Ferreira, Afonso

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponible

Resultados 1 2 3 4 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Revistas arbitradas (15)

Fecha de Publicación 

De Hasta
  1. Antes de1994  (5)
  2. 1994Hasta2000  (7)
  3. 2001Hasta2005  (20)
  4. 2006Hasta2012  (14)
  5. Después de 2012  (12)
  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