skip to main content
Language:
Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Material Type:
Book 		Add to e-Shelf

FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-

Berlin Springer New York c1999

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

2
Advanced Neural Computers
Advanced Neural Computers
Advanced Neural Computers
Material Type:
Book 		Add to e-Shelf

Advanced Neural Computers

R. Eckmiller

North-Holland 1990

Online access. The library also has physical copies.

3
Database and Expert Systems Applications
Database and Expert Systems Applications
Database and Expert Systems Applications
Material Type:
Book 		Add to e-Shelf

Database and Expert Systems Applications

Database and Expert Systems Applications Conference

Springer Berlin Heidelberg 1993

Online access. The library also has physical copies.

4
Logic of Computation
Logic of Computation
Logic of Computation
Material Type:
Book 		Add to e-Shelf

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

Online access. The library also has physical copies.

5
Database Machines and Knowledge Base Machines
Database Machines and Knowledge Base Machines
Database Machines and Knowledge Base Machines
Material Type:
Book 		Add to e-Shelf

Database Machines and Knowledge Base Machines

Masaru Tanaka, Hidehiko Kitsuregawa Hidehiko Tanaka

Springer US 1988

Online access. The library also has physical copies.

6
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Symbolic Rewriting Techniques
Material Type:
Book 		Add to e-Shelf

Symbolic Rewriting Techniques

John C. Constable, Robert Gallier, Jean Cherniavsky Robert Constable; Jean Gallier; Johannes Grabmeier; Volker Weispfenning

Birkhäuser Basel 1998

Online access. The library also has physical copies.

7
Computing and combinatorics third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
Computing and combinatorics third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
Material Type:
Book 		Add to e-Shelf

Computing and combinatorics third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings

COCOON '97 (1997 Shanghai, China) Tao Jiang; D. T Lee

Berlin Springer New York c1997

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

8
Computing and combinatorics 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings
Computing and combinatorics 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings
Material Type:
Book 		Add to e-Shelf

Computing and combinatorics 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings

COCOON '98 (1998 Taipei, Taiwan) Wen-Lian Hsu; Ming-Yang Kao

Berlin Springer New York c1998

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

9
Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings
Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings
Material Type:
Book 		Add to e-Shelf

Graph-theoretic concepts in computer science 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings

International Workshop WG (25th 1999 Ascona, Switzerland) Peter Widmayer; Gabriele Neyer; Stephan Eidenbenz

Berlin Springer New York c1999

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

10
World Congress on Engineering WCE 2015 : 1-3 July, 2015, Imperial College London, London, U.K
World Congress on Engineering WCE 2015 : 1-3 July, 2015, Imperial College London, London, U.K
Material Type:
Book 		Add to e-Shelf

World Congress on Engineering WCE 2015 : 1-3 July, 2015, Imperial College London, London, U.K

World Congress on Engineering (2015 : London) S. I Ao; International Association of Engineers

Hong Kong Newswood Ltd International Association of Engineers 2015

Check holdings(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  (12,226)
  2. Articles  (751)
  3. Conference Proceedings  (192)
  4. Reports  (46)
  5. magazinearticle  (23)
  6. Videos  (15)
  7. Text Resources  (11)
  8. Book Chapters  (10)
  9. Images  (4)
  10. Reviews  (4)
  11. Audio Visual  (3)
  12. Web Resources  (2)
  13. Government Documents  (1)
  14. Other  (1)
  15. Dissertations  (1)
  16. More options open sub menu

Creation Date 

From To
Refine
  1. Before1976  (66)
  2. 1976To1987  (479)
  3. 1988To1999  (2,512)
  4. 2000To2012  (6,956)
  5. After 2012  (6,501)
  6. More options open sub menu

Language 

  1. English  (13,215)
  2. German  (189)
  3. Japanese  (86)
  4. Spanish  (17)
  5. French  (16)
  6. Catalan  (8)
  7. Italian  (5)
  8. Portuguese  (4)
  9. Polish  (3)
  10. Russian  (1)
  11. Swedish  (1)
  12. Arabic  (1)
  13. Czech  (1)
  14. 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