skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search
Results 1 2 3 4 5 next page
Refined by: subject: Teoria Da Computação remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applied algebra, algebraic algorithms and error-correcting codes proceedings
Applied algebra, algebraic algorithms and error-correcting codes proceedings
Material Type:
Book 		Add to e-Shelf

Applied algebra, algebraic algorithms and error-correcting codes proceedings

AAECC-6 (1988 Rome, Italy) Teo Mora

Berlin Springer 1989

Available at IME - Inst. Matemática e Estatística    (S L471c v.357 )(GetIt)

2
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Book 		Add to e-Shelf

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Available at EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) and other locations(GetIt)

3
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Material Type:
Book 		Add to e-Shelf

Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings

ACISP 2000 (2000 Brisbane, Qld.) Colin Boyd; Andrew Clark 1971-; Ed Dawson (Edward)

New York Springer c2000

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1841 ) and other locations(GetIt)

4
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Material Type:
Book 		Add to e-Shelf

Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981

ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Wisconsin--Milwaukee Dept. of Electrical Engineering and Computer Science

New York, N.Y. ACM Baltimore, MD Additional copies may be orderd from ACM Order Dept. c1981

Available at IME - Inst. Matemática e Estatística    (QA800.C S989r 13. e.2 )(GetIt)

5
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
Material Type:
Book 		Add to e-Shelf

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

Available at IME - Inst. Matemática e Estatística    (S L471c v.250 v.2 )(GetIt)

6
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Material Type:
Book 		Add to e-Shelf

Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers

AE '99 (1999 Dunkerque, France) Cyril Fonlupt

Berlin Springer London c2000

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1829 ) and other locations(GetIt)

7
Concurrent object-oriented programming and Petri nets advances in Petri nets
Concurrent object-oriented programming and Petri nets advances in Petri nets
Material Type:
Book 		Add to e-Shelf

Concurrent object-oriented programming and Petri nets advances in Petri nets

Gul A Agha; Fiorella De Cindio; Grzegorz Rozenberg

Berlin Springer New York c2001

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2001 ) and other locations(GetIt)

8
practical introduction to denotational semantics
practical introduction to denotational semantics
practical introduction to denotational semantics
Material Type:
Book 		Add to e-Shelf

practical introduction to denotational semantics

L. Allison

Cambridge University Press 1986

Online access. The library also has physical copies.

9
Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings
Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings
Material Type:
Book 		Add to e-Shelf

Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings

ALT 2003 (2003 Sapporo, Japan) Ricard Gavaldà 1964-; K. P Jantke (Klaus P.; Eiji Takimoto 1964-

Berlin Springer New York c2003

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2842 )(GetIt)

10
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
Material Type:
Book 		Add to e-Shelf

Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings

AMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-

Berlin Springer London c1999

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1548 )(GetIt)

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Books  (485)
  2. Articles  (9)
  3. Conference Proceedings  (7)
  4. More options open sub menu

Creation Date 

From To
Refine
  1. Before1978  (39)
  2. 1978To1986  (60)
  3. 1987To1995  (187)
  4. 1996To2006  (207)
  5. After 2006  (18)
  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