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
Show only
Refined by: subject: Técnicas De Programação (Congressos) remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings
Material Type:
Book 		Add to e-Shelf

Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings

Asian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor Vianu

Berlin Springer New York c2005

Online access. The library also has physical copies.

2
Advances in computer science--ASIAN 2006 secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers
Advances in computer science--ASIAN 2006 secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers
Material Type:
Book 		Add to e-Shelf

Advances in computer science--ASIAN 2006 secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers

Asian Computing Science Conference (11th 2006 Tokyo, Japan) Mitsu Okada; Ichiro Satoh; SpringerLink (Online service)

Berlin Springer-Verlag c2007

Online access. The library also has physical copies.

3
Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994
Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994
Material Type:
Book 		Add to e-Shelf

Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994

French-Spring School of Theoretical Computer Science (1994 : Chatillon-Sur-Seine, Fr) Andreas Podelski

Berlin Springer 1995

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

4
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Material Type:
Book 		Add to e-Shelf

Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

WADT 2006 (2006 La Roche-en-Ardenne, Belgium) José Luiz Fiadeiro 1961-; Pierre-Yves Schobbens 1961-

Berlin Springer 2007

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

5
ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
Material Type:
Book 		Add to e-Shelf

ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings

ECOOP 2005 (19th 2005 Glasgow, Scotland) Andrew P Black

Berlin Springer New York c2005

Online access. The library also has physical copies.

6
Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Material Type:
Book 		Add to e-Shelf

Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

MPC 2002 (2002 Dagstuhl Castle, Germany) Eerke Boiten 1966-; Bernhard Möller 1953-

Berlin Springer New York 2002

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

7
Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 June 2, 2007 ; advanced lectures
Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 June 2, 2007 ; advanced lectures
Material Type:
Book 		Add to e-Shelf

Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 June 2, 2007 ; advanced lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (7th 2007 Bertinoro, Italy) Marco Bernardo; J Hillston (Jane) 1963

Berlin Springer New York c2007

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

8
Principles and practice of constraint programming 10th international conference ; proceedings
Principles and practice of constraint programming 10th international conference ; proceedings
Material Type:
Book 		Add to e-Shelf

Principles and practice of constraint programming 10th international conference ; proceedings

Mark Wallace; CP (10, 2004, Toronto)

Berlin Springer Heidelberg New York 2004

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

9
Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedings
Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedings
Material Type:
Book 		Add to e-Shelf

Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedings

Fuji International Symposium on Functional and Logic Programming (8th 2006 Susono-shi, Japan) Masami Hagiya 1957; Philip Wadler 1956

Berlin Springer New York c2006

Online access. The library also has physical copies.

10
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers
Material Type:
Book 		Add to e-Shelf

Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers

Peter Van-Roy; MOZ 2004 (2nd 2004 Charleroi, Belgium)

Berlin Springer 2005

Online access. The library also has physical copies.

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Full Text Online (57)

Creation Date 

From To
Refine
  1. Before1984  (6)
  2. 1984To1991  (11)
  3. 1992To1995  (35)
  4. 1996To2001  (43)
  5. After 2001  (128)
  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