1
|
Material Type: Livro
|
|
Algebraic methodology and software technology
International Conference on Algebraic Methodologyand Software Technology, AMAST 2000, 8 2000 Iowa Teodor Rus
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c2000
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1816 )(Acessar)
|
2
|
Material Type: Livro
|
|
Algebraic methodology and software technology
International Algebraic Methodology and Software Technology Conference AMAST'97, 6 1997 Sydney Michael Johnson
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1997
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1349 )(Acessar)
|
3
|
Material Type: Livro
|
|
Algebraic methodology and software technology
International Conference on Algebraic Methodologyand Software Technology, AMAST'98, 7 1999 Manaus Armando Martin Haeberer
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1999
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1548 )(Acessar)
|
4
|
Material Type: Livro
|
|
Algebraic methodology and software technology
International Conference on Algebraic Methodologyand Software Technology, AMAST'96, 5 1996 Munich Martin Wirsing; Maurice Nivat
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.1101 )(Acessar)
|
5
|
Material Type: Livro
|
|
Foundations of software technology and theoretical computer science
Foundations of Software Technology and Theoretical Computer Science Conference, 17 1997 Kharagpur S Ramesh
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1997
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1346 )(Acessar)
|
6
|
Material Type: Livro
|
|
Advances in database technology, EDBT'98
International Conference on Extending Database Technology, EDBT'98, 6 1998 Valencia Hans-Jorg Schek
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1998
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1377 )(Acessar)
|
7
|
Material Type: Livro
|
|
Advances in database technology - EDBT'96
International Conference on Extending Database Technology, EDBT 96, 5 1996 Avignon P Apers; M Bouzeghoub; G Gardarin (Georges)
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.1057 )(Acessar)
|
8
|
Material Type: Livro
|
|
Foundations of software technology and theoretical computer science
Conference on Foundations of Software Technology and Theoretical Computer Science, FST C. Pandu Rangan; V Raman; R Ramanujam
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1999
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1738 )(Acessar)
|
9
|
Material Type: Livro
|
|
Foundations of software technology and theoretical computer science
Conference on Foundations of Software Technology,FST, 18 1998 Chennai V Arvind Ramanujam; Conference on Theoretical Computer Science, TCS, 18
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1998
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1530 )(Acessar)
|
10
|
Material Type: Livro
|
|
Software process principles, methodology, and technology
Jean-Claude Derniame Badara Ali Kaba
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1999
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1500 )(Acessar)
|