Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Exploring Computer Science with SchemeGrillmeyer, OliverNew York, NY: Springer 1997Texto completo disponível |
|
2 |
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) |
|
3 |
Material Type: Livro
|
Introduction à SCILABJ.-P Chancelier; F Delebecque; C Gomes; Nicolas Puech dir.Paris Springer Berlin c2007Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod (004 In81 2.ed. )(Acessar) |
|
4 |
Material Type: Artigo
|
La programación de ordenadores. Reflexiones sobre la necesidad de un abordaje interdisciplinarAngelo, Verónica S. DRevista iberoamericana de ciencia, tecnología y sociedad : Cts, 2018-10, Vol.13 (39), p.111-141 [Periódico revisado por pares]Buenos Aires: Centro de Estudios sobre Ciencia, Desarrollo y Educacion SuperiorTexto completo disponível |
|
5 |
Material Type: Livro
|
Petri Net AlgebraBest, Eike ; Devillers, Raymond ; Koutny, MaciejBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
6 |
Material Type: Livro
|
Software engineering mathematics formal methods demystifiedJim Woodcock Martin LoomesLondon Pitman 1988Localização: EPBC - Esc. Politécnica-Bib Central (004.41 W853s ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |