Antonio Galves 1947- Jack K Hale; Carlos Rocha; Conference on Differential Equations and Dynamical Systems (2000 Instituto Superior Técnico, Lisbon, Portugal)
Providence AMS 2002
Localização:
IME - Inst. Matemática e Estatística
(QA338.C C748d e.2 ) e outros locais(Acessar)
Jaume Llibre Jorge Sotomayor; Michail Zhitomirskii; Conference on Differential Equations and Dynamical Systems (2000 Instituto Superior Técnico, Lisbon, Portugal)
Galves, Antonio; Hale, Jack K.; Rocha, Carlos, ed Differential equations and dynamical systems Providence: AMS, 2002
Providence AMS 2002
Localização:
IME - Inst. Matemática e Estatística
(PROD-1300765 ) e outros locais(Acessar)
Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings
European Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1381 ) e outros locais(Acessar)
Tools and algorithms for the construction and analysis of systems 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
TACAS '98 (1998 Lisbon, Portugal) Bernhard Steffen; European Conferences on Theory and Practice of Software (1998 Lisbon, Portugal)
New York Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1384 ) e outros locais(Acessar)
Foundations of software science and computation structures First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
FoSSaCS '98 (Conference) (1st 1998 Lisbon, Portugal) Maurice Nivat 1937-; Joint European Conferences on Theory and Practice of Software (1998 Lisbon, Portugal)
Berlin London Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1378 ) e outros locais(Acessar)
Fundamental approaches to software engineering First International Conference, FASE '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
FASE'98( 1998 Lisbon, Portugal) E Astesiano 1939- (Egidio); European Conference on Theory and Practice of Software (1998 Lisbon, Portugal)
Berlin New York Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1382 ) e outros locais(Acessar)
Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
European Symposium on Programming (16th 2007 Braga, Portugal) Rocco De Nicola; ETAPS 2007 (2007 Braga, Portugal)
Berlin Springer New York 2007
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 P943 16. ) e outros locais(Acessar)