skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Machine Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings

FORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S Thiagarajan

Berlin Springer New York c2007

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

2
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

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

3
Modeling and analysis of communicating systems
Modeling and analysis of communicating systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Modeling and analysis of communicating systems

J. F. Groote (Jan Friso) 1965- Mohammad Reza Mousavi 1978-

Cambridge MIT Press c2014

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

4
Automated Machine Learning: Methods, Systems, Challenges
Automated Machine Learning: Methods, Systems, Challenges
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Machine Learning: Methods, Systems, Challenges

Hutter, Frank ; Kotthoff, Lars ; Vanschoren, Joaquin

Cham: Springer International Publishing AG 2019

Texto completo disponível

Citações Citado por
5
Data Clustering: Algorithms and Applications
Data Clustering: Algorithms and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Data Clustering: Algorithms and Applications

Aggarwal, Charu C ; Reddy, Chandan K Reddy, Chandan K. ; Aggarwal, Charu C.

Milton: CRC Press 2014

Texto completo disponível

Citações Citado por
6
Lower bounds in communication complexity
Lower bounds in communication complexity
Material Type:
Livro 		Adicionar ao Meu Espaço

Lower bounds in communication complexity

Lee, Troy ; Shraibman, Adi

Foundations and trends in theoretical computer science, 2009, Vol.3 (4), p.263-399 [Periódico revisado por pares]

Hanover, Mass: Now Publishers

Texto completo disponível

Citações Citado por
7
Nature-Inspired Optimization Algorithms
Nature-Inspired Optimization Algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Nature-Inspired Optimization Algorithms

Yang, Xin-She

New York: Elsevier 2014

Texto completo disponível

Citações Citado por
8
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Calude, Cristian S ; Freivalds, Rusins ; Kazuo, Iwama Calude, Cristian S ; Freivalds, Rūsiņ ; Kazuo, Iwama ; Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, Iwama

Cham: Springer Nature 2014

Texto completo disponível

Citações Citado por
9
Fog and Edge Computing: Principles and Paradigms
Fog and Edge Computing: Principles and Paradigms
Material Type:
Livro 		Adicionar ao Meu Espaço

Fog and Edge Computing: Principles and Paradigms

Rajkumar Buyya, Satish Narayana Srirama Srirama, Satish Narayana ; Buyya, Rajkumar

Newark: Wiley 2019

Texto completo disponível

Citações Citado por
10
System Parameter Identification: Information Criteria and Algorithms
System Parameter Identification: Information Criteria and Algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

System Parameter Identification: Information Criteria and Algorithms

Chen, Badong ; Zhu, Yu ; Hu, Jinchun ; Principe, Jose C

San Diego: Elsevier 2013

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.788)
  2. Artigos  (7)
  3. Anais de Congresso  (1)
  4. Mais opções open sub menu

Idioma 

  1. Inglês  (1.790)
  2. Alemão  (102)
  3. Japonês  (13)
  4. Espanhol  (4)
  5. Francês  (2)
  6. Tcheco  (1)
  7. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Raskin, J
  2. Yovine, S
  3. Lakhnech, Y
  4. FORMATS 2007
  5. Thiagarajan, P

Neste Assunto:

  1. Machine Theory
  2. Machine Theory
  3. Electronic Data Processing
  4. Computer Science
  5. Electronic Brains

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

Buscando em bases de dados remotas. Favor aguardar.