skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Structural testing for semaphore-based multithread programs
Structural testing for semaphore-based multithread programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Structural testing for semaphore-based multithread programs

Felipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)

Lecture Notes in Computer Science v. 5101, p. 337-346, 2008

Heidelberger Springer 2008

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

12
Analysis and visualization tools for constraint programming constraint debugging
Analysis and visualization tools for constraint programming constraint debugging
Material Type:
Livro 		Adicionar ao Meu Espaço

Analysis and visualization tools for constraint programming constraint debugging

Pierre Deransart; Manuel Hermenegildo; J Ma±uszyânski 1941- (Jan)

Berlin New York Springer 2000

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

13
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papers

UML '98 (1998 Mulhouse, France) J Bézivin (Jean); Pierre-Alain Muller

Berlin Springer New York c1999

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

14
Introduction to discrete mathematics for software engineering
Introduction to discrete mathematics for software engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to discrete mathematics for software engineering

Tim Denvir 1939-

Basingstoke Macmillan Education 1986

Localização: IME - Inst. Matemática e Estatística    (QA830 D416i )(Acessar)

15
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

AGTIVE'99 (1999 Kerkrade, Netherlands) Manfred Nagl 1944-; Andreas Schürr; Manfred Münch 1971-

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin New York Springer c2000

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

16
Mathematical theory of computation
Mathematical theory of computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical theory of computation

Zohar Manna

New York McGraw-Hill 1974

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (005.1 M315m ) e outros locais(Acessar)

17
Systems programming
Systems programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems programming

John J. Donovan

New York McGraw-Hill 1972

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.424 D719s e.3 ) e outros locais(Acessar)

18
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings

International Workshop on Current Trends in Applied Formal Methods (1998 Boppard, Germany) Dieter Hutter

Berlin Springer New York c1999

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

19
Object modeling with the OCL the rationale behind the Object Constraint Language
Object modeling with the OCL the rationale behind the Object Constraint Language
Material Type:
Livro 		Adicionar ao Meu Espaço

Object modeling with the OCL the rationale behind the Object Constraint Language

Tony Clark Ph. D.; Jos B Warmer

Berlin Springer New York c2002

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

20
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

WADT '99 (1999 Château de Bonas, France) Didier Bert; C Choppy (Christine); Peter Mosses

Berlin New York Springer c2000

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (575)
  2. Recursos Online (40)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (473)
  2. Artigos  (106)
  3. Produções Acadêmicas  (6)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (25)
  2. 1980Até1989  (61)
  3. 1990Até1999  (210)
  4. 2000Até2010  (210)
  5. Após 2010  (79)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (576)
  2. Português  (7)
  3. Francês  (2)
  4. Sueco  (1)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.