Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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) |
|
12 |
Material Type: Livro
|
Artificial intelligence and computational intelligence third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings Part IIInternational Conference on Artificial Intelligence and Computational Intelligence (3rd 2011 Taiyuan Shi, China) Hepu DengBerlin Springer New York c2011Acesso online. A biblioteca também possui exemplares impressos. |
|
13 |
Material Type: Livro
|
Advances in software engineering and knowledge engineeringVincenzo Ambriola; Genoveffa Tortora; International Conference on Software Engineering and Knowledge Engineering (4th 1992 Capri, Italy)Singapore World Scientific River Edge, NJ c1993Localização: IF - Instituto de Física (005.1 A495a )(Acessar) |
|
14 |
Material Type: Livro
|
Object-oriented software engineering a use case driven approachIvar JacobsonWokingham, Eng. Reading, Mass. Addison-Wesley Pub. c1992Localização: EPBC - Esc. Politécnica-Bib Central (004.045 J158o ) e outros locais(Acessar) |
|
15 |
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) |
|
16 |
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) |
|
17 |
Material Type: Livro
|
Object-oriented software engineering using UML, patterns, and JavaBernd Bruegge Allen H DutoitUpper Saddle River, NJ Prentice Hall c2004Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3.06 B889o2 )(Acessar) |
|
18 |
Material Type: Livro
|
Pattern-oriented software architecture v. 4 A pattern language for distributed computingFrank Buschmann Kevlin Henney; Douglas C SchmidtChichester, England John Wiley Hoboken, NJ c2007Localização: IME - Inst. Matemática e Estatística (QA754.6 B977p )(Acessar) |
|
19 |
Material Type: Livro
|
Software engineering and knowledge engineering trends for the next decadeW. D Hurley (William D.)Singapore World Scientific River Edge, NJ c1995Localização: IF - Instituto de Física (005.1 H965s )(Acessar) |
|
20 |
Material Type: Livro
|
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papersInternational Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) Lub eos Brim; Boudewijn R Haverkort; Martin Leucker; Jaco van de Pol; PDMC 2006 (2006 Bonn, Germany)Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4346 )(Acessar) |