skip to main content
Language:
Results 1 2 3 4 next page
Show only
Refined by: subject: Computer Programming remove Computer Algorithms remove subject: Computers remove
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
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
Material Type:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
2
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979
Material Type:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
3
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Material Type:
Book 		Add to e-Shelf

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

Snyers, Dominique ; Thayse, André

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Full text available

Citations Cited by
4
Handbook of theoretical computer science
Handbook of theoretical computer science
Material Type:
Book 		Add to e-Shelf

Handbook of theoretical computer science

Elsevier Science 1990

Full text available

Citations Cited by
5
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
Material Type:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
6
The Design of an Extendible Graph Editor
The Design of an Extendible Graph Editor
Material Type:
Book 		Add to e-Shelf

The Design of an Extendible Graph Editor

Newbery Paulisch, Frances Newbery Paulisch, Frances

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Full text available

Citations Cited by
7
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Material Type:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
8
Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings
Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings
Material Type:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
9
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Material Type:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
10
Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
Material Type:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
Results 1 2 3 4 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (15)

Creation Date 

From To
Refine
  1. Before1994  (5)
  2. 1994To2000  (7)
  3. 2001To2005  (20)
  4. 2006To2012  (14)
  5. After 2012  (12)
  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