skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

The online multicommodity connected facility location problem

Mário César San Felice Cristina Gomes Fernandes 1966-; Carla Negri Lintzmayer; International Workshop on Approximation and Online Algorithms - WAOA (15. 2017 Vienna, Austria)

Proceedings Cham: Springer, 2018

Cham Springer 2018

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

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Towards MC/DC coverage of properties specification patterns

Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)

Proceedings Cham: Springer, 2016

Cham Springer 2016

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

3
Quantum computer science an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Quantum computer science an introduction

N. David Mermin

Cambridge Cambridge University Press 2007

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.0151 M566q e.2 ) e outros locais(Acessar)

4
Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers

TYPES 2006 (2006 Nottingham, England) Thorsten Altenkirch 1962-; Conor McBride

Berlin Springer New York c2007

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (004 T98 2006 ) e outros locais(Acessar)

5
Machines, computations, and universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Machines, computations, and universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007; proceedings

Jérôme Durand-Lose; Maurice Margenstern; MCU. <5, 2007, Orléans>.

Internetausg.: Machines, Computations, and Universality.

Berlin Springer Heidelberg u.a. 2007

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

6
Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings

De-Shuang Huang; Laurent Heutte; Marco Loog; International Conference on Intelligent Computing. <3, 2007, Qingdao>

Internetausg. Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues

Berlin Springer Heidelberg u.a. 2007

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

7
Theoretical computer science essays in memory of Shimon Even
Material Type:
Livro
Adicionar ao Meu Espaço

Theoretical computer science essays in memory of Shimon Even

Shimon Even; Oded Goldreich; Arnold L Rosenberg 1941; Alan L Selman

Berlin Springer New York c2006

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

8
Parameterized complexity theory
Material Type:
Livro
Adicionar ao Meu Espaço

Parameterized complexity theory

Jörg Flum M Grohe (Martin)

Berlin Springer c2006

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

9
Handbook of mathematics and computational science
Material Type:
Livro
Adicionar ao Meu Espaço

Handbook of mathematics and computational science

J. Harris (John), 1950- Horst Stöcker; John William Harris

New York Springer c2006

Localização: IME - Inst. Matemática e Estatística    (QA800.C3 H314tI )(Acessar)

10
Validation of stochastic systems a guide to current research
Material Type:
Livro
Adicionar ao Meu Espaço

Validation of stochastic systems a guide to current research

Boudewijn R Haverkort; Holger Hermanns 1967-; Joost-Pieter Katoen; Markus Siegle; Christel Baier

Berlin Springer New York c2004

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1977  (29)
  2. 1977Até1984  (45)
  3. 1985Até1992  (136)
  4. 1993Até2001  (146)
  5. Após 2001  (19)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.