Resultados de 1 a 10 de 34 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (9)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Reflection and Software EngineeringWalter Cazzola Walter Cazzola; Robert J Stroud; Francesco TisatoSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Writing Scientific Software: A Guide for Good StyleSuely Oliveira David E Stewart; David Edward Stewart David E. StewartLeiden Cambridge University Press 2006Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Requirements engineering and rapid development an object-oriented approachIan Graham 1948-Harlow, England Addison Wesley Reading, MA 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.05 G739se e.1 )(Acessar) |
| 4 |
Material Type: Livro
|
|
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedingsInternational Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard BanachBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedingsInternational Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Foundations of software technology and theoretical computer science 19th conference, Chennai, India, December 13-15, 1999 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (19th 1999 Chennai, India) V Raman 1962- (Venkatesh); C Pandu Rangan 1955-; R RamanujamBerlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1738 e.1 )(Acessar) |
| 7 |
Material Type: Livro
|
|
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthdayUgo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José MeseguerBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v5065 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science 21st conference, Bangalore, India, December 13-15, 2001 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (21th 2001 Bangalore, India) Ramesh Hariharan; Madhavan Mukund; V VinayBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2245 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India) Sanjiv Kapoor 1959-; Sanjiva PrasadBerlin Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1974 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro MerinoBerlin Springer London 2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4916 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 34 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (9)
Refinar Meus Resultados
Assunto
- Software Engineering (31)
- Engenharia De Software (20)
- Engenharia De Programas (12)
- Expert Systems (Computer Science) (8)
- Computer Science (6)
- Computer Software (5)
- Abstract Data Types (Computer Science) (5)
- G Enie Logiciel (4)
- Especificação De Sistemas E Programas (Congressos) (4)
- Formal Methods (Computer Science) (4)
- Object-Oriented Methods (Computer Science) (3)
- Softwareentwicklung (3)
- Sistemas De Informação (3)
- Ciência Da Computação (Congressos) (3)
- Computer Programs (2)
- Sistemas Operacionais (Congressos) (2)
- Generative Programming (Computer Science) (2)
- Uml (2)
- Ciência Da Computação (2)
-
Mais opções
Autor/Criador
- International Conference on Software Engineering and Knowledge Engineering (5)
- International Conference on Algebraic Methodology and Software Technology (4)
- Conference on Foundations of Software Technology and Theoretical Computer Science (4)
- Knowledge Systems Institute Graduate School (4)
- International Conference on Formal Engineering Methods (3)
- Johnson, M (2)
- Hariharan, R (1)
- GPCE 2004 (1)
- Aurum, A (1)
- GPCE 2005 (1)
- Cazzola, W (1)
- Akehurst, D (1)
- Mukund, M (1)
- European Conference on Model Driven Architecture Foundations and Applications (1)
- Rattray, C (1)
- Meseguer, J (1)
- International Workshop on Formal Methods for Industrial Critical Systems (1)
- Montanari, U (1)
- Garg, N (1)
- Wohlin, C (1)
-
Mais opções
Data de Publicação
- Antes de2000 (4)
- 2000Até2002 (7)
- 2003Até2005 (11)
- 2006Até2010 (10)
- Após 2010 (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 