1
Material Type:
Livro
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
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.298 ex.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Static analysis
International Static Analysis Symposium, SAS'96, 3 1996 Aachen Radhia Cousot; David A Schmidt
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1996
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1145 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
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
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1145 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
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
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N15.50 F282ia e.1 ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Building application frameworks object-oriented foundations of framework design
Mohamed Fayad 1950-; Douglas C Schmidt; Ralph E Johnson Ph. D.
New York Wiley c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.50 F282ba e.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Patterns for concurrent and networked objects
Douglas C Schmidt
Chichester Wiley c2000
Localização:
IME - Inst. Matemática e Estatística
(QA754.5 S349p e.3 ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
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
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2566 ) (Acessar)
This feature requires javascript
8
Material Type:
Livro
C++ network programming
Douglas C. Schmidt Stephen D Huston
Boston Addison-Wesley 2002- 2003
Localização:
IME - Inst. Matemática e Estatística
(QA771.3 S349c v.2 ) (Acessar)
This feature requires javascript
9
Material Type:
Livro
Middleware 2003 IFIP/ACM International Conference on Distributed Systems Platforms, Rio de Janeiro, Brazil, June 2003 : proceedings
ACM/IFIP/USENIX International Middleware Conference (2003 : Rio de Janeiro, RJ, Br) Markus Endler; Douglas C Schmidt
Berlin Springer New York 2003
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.2672 ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
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
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2986 e.2 ) e outros locais(Acessar)
This feature requires javascript