skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Exploring Computer Science with Scheme
Material Type:
Livro
Adicionar ao Meu Espaço

Exploring Computer Science with Scheme

Grillmeyer, Oliver

New York, NY: Springer 1997

Texto completo disponível

2
Foundations of software technology and theoretical computer science 19th conference, Chennai, India, December 13-15, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 19th conference, Chennai, India, December 13-15, 1999 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (19th 1999 Chennai, India) V Raman 1962- (Venkatesh); C Pandu Rangan 1955-; R Ramanujam

Berlin Springer New York 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1738 e.1 )(Acessar)

3
Introduction à SCILAB
Material Type:
Livro
Adicionar ao Meu Espaço

Introduction à SCILAB

J.-P Chancelier; F Delebecque; C Gomes; Nicolas Puech dir.

Paris Springer Berlin c2007

Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod    (004 In81 2.ed. )(Acessar)

4
La programación de ordenadores. Reflexiones sobre la necesidad de un abordaje interdisciplinar
Material Type:
Artigo
Adicionar ao Meu Espaço

La programación de ordenadores. Reflexiones sobre la necesidad de un abordaje interdisciplinar

Angelo, Verónica S. D

Revista 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 Superior

Texto completo disponível

5
Petri Net Algebra
Material Type:
Livro
Adicionar ao Meu Espaço

Petri Net Algebra

Best, Eike ; Devillers, Raymond ; Koutny, Maciej

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

6
Software engineering mathematics formal methods demystified
Material Type:
Livro
Adicionar ao Meu Espaço

Software engineering mathematics formal methods demystified

Jim Woodcock Martin Loomes

London Pitman 1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 W853s ) e outros locais(Acessar)

7
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo 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 2010

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (6)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1991  (1)
  2. 1991Até1996  (1)
  3. 1997Até1997  (1)
  4. 1998Até1999  (3)
  5. Após 1999  (4)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Woodcock, J
  2. Sampaio, A
  3. Ramanujam, R
  4. Puech, N
  5. Borba, P

Buscando em bases de dados remotas. Favor aguardar.