skip to main content
Language:
Refined by: language: English remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Arguments in favor of a controlled plurality of office formating standards
Arguments in favor of a controlled plurality of office formating standards
Material Type:
Technical Report 		Add to e-Shelf

Arguments in favor of a controlled plurality of office formating standards

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2007

Available at IME - Inst. Matemática e Estatística    (RT-MAC 2007 v.7 ) and other locations(GetIt)

2
A hierarchy for the recognizable M-subsets
A hierarchy for the recognizable M-subsets
Material Type:
Technical Report 		Add to e-Shelf

A hierarchy for the recognizable M-subsets

Nami Kobayashi

São Paulo IME-USP 1997

Available at IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.15 e.1 ) and other locations(GetIt)

3
Sequence comparison some theory and some practice
Sequence comparison some theory and some practice
Material Type:
Conference Paper 		Add to e-Shelf

Sequence comparison some theory and some practice

Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)

Proceedings Berlin : Springer, 1989

Berlin Springer 1989

Available at IME - Inst. Matemática e Estatística    (S L471c v.377 ) and other locations(GetIt)

4
Short proof of the factorization forest theorem
Short proof of the factorization forest theorem
Material Type:
Book 		Add to e-Shelf

Short proof of the factorization forest theorem

Imre Simon 1943-2009

Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and Languages

Amsterdam Elsevier Science 1992

Available at IME - Inst. Matemática e Estatística    (PROD-834805 ) and other locations(GetIt)

5
Journal of Complexity
Material Type:
Journal 		Add to e-Shelf

Journal of Complexity

UNITED STATES Academic Press

Online access. The library also has physical copies.

6
Journal of Logic and Computation
Material Type:
Journal 		Add to e-Shelf

Journal of Logic and Computation

ENGLAND OUP

Online access. The library also has physical copies.

7
Journal of Cryptology
Material Type:
Journal 		Add to e-Shelf

Journal of Cryptology

UNITED STATES Hybrid

Online access. The library also has physical copies.

8
Compression and entropy
Compression and entropy
Material Type:
Conference Paper 		Add to e-Shelf

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

Available at IME - Inst. Matemática e Estatística    (PROD-834804 ) and other locations(GetIt)

9
Recent Developments in Switching Theory
Recent Developments in Switching Theory
Recent Developments in Switching Theory
Material Type:
Book 		Add to e-Shelf

Recent Developments in Switching Theory

Amar Mukhopadhyay

Academic Press 1971

Online access. The library also has physical copies.

10
Clausal Theory of Types
Clausal Theory of Types
Clausal Theory of Types
Material Type:
Book 		Add to e-Shelf

Clausal Theory of Types

D. A. Wolfram

Cambridge Cambridge University Press 1993

Online access. The library also has physical copies.

Personalize your results

  1. Edit

Refine Search Results

Creation Date 

From To
Refine
  1. Before1973  (61)
  2. 1973To1985  (200)
  3. 1986To1998  (410)
  4. 1999To2012  (391)
  5. After 2012  (66)
  6. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far