skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Principles and practice of constraint programming - cp96 proceedings [of the] second International Conference, CP'96, Cambridge, Ma, USA, august 19-22, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Principles and practice of constraint programming - cp96 proceedings [of the] second International Conference, CP'96, Cambridge, Ma, USA, august 19-22, 1996

International Conference on Principles and Practice of Constrant Programming (2. 1996 Cambridge, MA, USA) Eugene C Freuder

Berlin Springer 1996

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

2
Material Type:
Livro
Adicionar ao Meu Espaço

Anais 4º Workshop de Desenvolvimento Baseado em Componentes, 15 a 17 de setembro de 2004

Workshop de Desenvolvimento Baseado em Componentes (WDBC) (4. 2004 João Pessoa, Paraíba, Brasil) Glêdson Elias; Sociedade Brasileira de Computação.; Sociedade Brasileira de Computação

João Pessoa SBC 2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 W926db 2004 e.1 ) e outros locais(Acessar)

3
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

WADT 2006 (2006 La Roche-en-Ardenne, Belgium) José Luiz Fiadeiro 1961-; Pierre-Yves Schobbens 1961-

Berlin Springer 2007

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

4
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

FMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2007

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

5
Parallel computation proceedings [of the] third international ACPC conference with special emphasis on parallel databases and parallel I/0, held in Klagenfurt, Austria, september 23-25, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Parallel computation proceedings [of the] third international ACPC conference with special emphasis on parallel databases and parallel I/0, held in Klagenfurt, Austria, september 23-25, 1996

International ACPC Conference With Special Emphasis on Parallel Databases and Parallel I/0 (3. 1996 Klagenfurt, Austria) Laszlo Boszormenyi; Austriean center for parallel computation

Berlin Springer 1996

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

6
Object-oriented technology ECOOP'97 workshop reader : ECOOP 97 workshops, Jyväskylä, Finland, June 9-13, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Object-oriented technology ECOOP'97 workshop reader : ECOOP 97 workshops, Jyväskylä, Finland, June 9-13, 1997 : proceedings

ECOOP 97 Workshops (1997 Jyväskylä, Finland) Jan Bosch; Stuart Mitchell

Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-

Berlin Springer New York c1998

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

7
Principles and practice of constraint programming - CP'97 third international conference, CP'97, Linz, Austria, october 29 november 1, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles and practice of constraint programming - CP'97 third international conference, CP'97, Linz, Austria, october 29 november 1, 1997 : proceedings

International Conference on Principles and Practice of Constraint Programming - CP'97 (3. 1997 Linz, Austria) Gert Smolka

Berlin Springer New York c1997

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

8
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings

Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)

Berlin New York Springer-Verlag c1994

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

9
Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop EPEW 2007, Berlin, Germany, September, 2007 : proceedings

EPEW 2007 (2007 Berlin, Germany) Katinka Wolter

Berlin Springer New York c2007

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

10
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedings

Ada Software Tools Interfaces Workshop (1983 Bath, England) Peter J. L Wallis

Berlin Springer-Verlag New York 1984

Localização: IME - Inst. Matemática e Estatística    (S L471c v.180 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1988  (1)
  2. 1988Até1993  (1)
  3. 1994Até1995  (1)
  4. 1996Até1997  (3)
  5. Após 1997  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.