International Conferenceon Fundamental Approaches to Software Engineering, FASE'99, 2 1999 Amsterdam Jean-Pierre Finance; EuropeanJointConferencesonTheoryandPracticeofSoftware, ETAPS'99
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.1577 )(Acessar)
International Conferenceon Fundamental Approaches to Software Engineering,3, FASE 2000 2000 Berlin Tom Maibaum; EuropeanJointConferencesonTheoryandPracticeofsoftware, ETAPS 2000
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.1783 )(Acessar)
Compiler construction 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
International Conferenceon Compiler Construction (7th 1998 Lisbon, Portugal) Kai Koskimies; JointEuropeanConferencesonTheoryandPracticeofSoftware, ETAPS'98, 7
GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1383 ) e outros locais(Acessar)
Tools and algorithms for the construction and analysis of systems
International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS'99, 5 1999 Amsterdam W. Rance Cleaveland; EuropeanJointConferencesonTheoryandPracticeofSoftware, ETAPS'99
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.1579 )(Acessar)
Tools and algorithms for the construction and analysis of systems
International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, 6, TACAS 2000 2000 Berlin Susanne Graf; Michael Schwartzbach; EuropeanJointConferencesonTheoryandPracticeofSoftware, ETAPS 2000
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.1785 )(Acessar)