skip to main content
Language:
Refined by: Library: ICMC - Inst. Ciên. Mat. Computação remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical foundations of programming language semantics proceedings
Mathematical foundations of programming language semantics proceedings
Material Type:
Book 		Add to e-Shelf

Mathematical foundations of programming language semantics proceedings

Conference on the Mathematical Foundations of Programming Semantics (3rd. : 1987 : New Orleans, US) Michael Main; Austin Melton; David Schmidt; Michael Mislove

Berlin Springer 1988

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

2
Pattern languages of program design
Pattern languages of program design
Material Type:
Book 		Add to e-Shelf

Pattern languages of program design

James O Coplien; Douglas C Schmidt

Reading, Mass. Addison-Wesley 1995

Available at ICMC - Inst. Ciên. Mat. Computação    (68N30.50 P316 v.1 e.1 )(GetIt)

3
Hamiltonian dynamical systems history, theory, and applications
Hamiltonian dynamical systems history, theory, and applications
Material Type:
Book 		Add to e-Shelf

Hamiltonian dynamical systems history, theory, and applications

H. Scott Dumas; Kenneth R Meyer 1937- (Kenneth Ray); Dieter S Schmidt; International Conference on Hamiltonian DynamicalSystems (1992 University of Cincinnati)

New York Springer-Verlag c1995

Available at ICMC - Inst. Ciên. Mat. Computação    (58F05 H217 e.1 )(GetIt)

4
Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Material Type:
Book 		Add to e-Shelf

Programming languages and systems 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

European Symposium on Programming (13th 2004 Barcelona, Spain) David A Schmidt 1953 May 10-; ETAPS 2004 (2004 Barcelona, Spain)

Berlin Springer New York c2004

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

5
Building application frameworks object-oriented foundations of framework design
Building application frameworks object-oriented foundations of framework design
Material Type:
Book 		Add to e-Shelf

Building application frameworks object-oriented foundations of framework design

Mohamed Fayad 1950-; Douglas C Schmidt; Ralph E Johnson Ph. D.

New York Wiley c1999

Available at ICMC - Inst. Ciên. Mat. Computação    (68N30.50 F282ba e.1 ) and other locations(GetIt)

6
Implementing application frameworks object-oriented frameworks at work
Implementing application frameworks object-oriented frameworks at work
Material Type:
Book 		Add to e-Shelf

Implementing application frameworks object-oriented frameworks at work

Fayad, Mohamed E. Mohamed Fayad 1950-; Douglas C Schmidt; Ralph E Johnson Ph.D.

New York Wiley 1999

Available at ICMC - Inst. Ciên. Mat. Computação    (68N15.50 F282ia e.1 )(GetIt)

7
Amarts and set function processes
Amarts and set function processes
Material Type:
Book 		Add to e-Shelf

Amarts and set function processes

Allan Gut 1944- Klaus D Schmidt 1951-

Berlin New York Springer-Verlag 1983

Available at ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.1042 ) and other locations(GetIt)

8
Introduction to mathematical logic
Introduction to mathematical logic
Material Type:
Book 		Add to e-Shelf

Introduction to mathematical logic

Hans Hermes 1912- Diana Schmidt

Berlin Springer-Verlag 1973

Available at ICMC - Inst. Ciên. Mat. Computação    (03-01 H553im e.1 ) and other locations(GetIt)

9
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996
Material Type:
Book 		Add to e-Shelf

Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996

International Static Analysis Symposium (3. 1996 Aachen, De) Radhia Cousot; David Schmidt

Berlin Springer 1996

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

10
The essence of computation complexity, analysis, transformation : essays dedicated to Neil D. Jones
The essence of computation complexity, analysis, transformation : essays dedicated to Neil D. Jones
Material Type:
Book 		Add to e-Shelf

The essence of computation complexity, analysis, transformation : essays dedicated to Neil D. Jones

Neil D Jones; Torben Æ Mogensen 1960-; David A Schmidt 1953 May 10-; Hal Sudborough

Berlin Springer New York c2002

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

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Creation Date 

From To
Refine
  1. Before1988  (3)
  2. 1988To1995  (3)
  3. 1996To2001  (3)
  4. 2002To2005  (3)
  5. After 2005  (1)
  6. More options open sub menu

Language 

  1. English  (12)
  2. German  (1)
  3. 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