skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Livros remover idioma: Japonês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency
Material Type:
Livro 		Adicionar ao Meu Espaço

Directed Algebraic Topology and Concurrency

Fajstrup, Lisbeth ; Goubault, Eric ; Haucourt, Emmanuel ; Mimram, Samuel ; Raussen, Martin

Cham: Springer International Publishing AG 2016

Texto completo disponível

Citações Citado por
2
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Algebraic Specification and Formal Software Development

Sannella, Donald ; Tarlecki, Andrzej Tarlecki, Andrzej

Berlin, Heidelberg: Springer Nature 2012

Texto completo disponível

Citações Citado por
3
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
Material Type:
Livro 		Adicionar ao Meu Espaço

First-Order Logic and Automated Theorem Proving

Fitting, Melvin

New York, NY: Springer New York 1996

Texto completo disponível

Citações Citado por
4
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Statistical Relational Artificial Intelligence: Logic, Probability, and Computation

Kang, Luc De Genesereth, David ; Chen, Kristian ; Yu, Sriraam

Synthesis lectures on artificial intelligence and machine learning, 2016, Vol.10 (2), p.1-189

Netherlands: Springer Nature

Sem texto completo

Citações Citado por
5
VLSI Physical Design: From Graph Partitioning to Timing Closure
VLSI Physical Design: From Graph Partitioning to Timing Closure
Material Type:
Livro 		Adicionar ao Meu Espaço

VLSI Physical Design: From Graph Partitioning to Timing Closure

Kahng, Andrew B Hu, Jin ; Lienig, Jens ; Markov, Igor L

Dordrecht: Springer Nature 2011

Sem texto completo

Citações Citado por
6
Identification of Continuous-time Models from Sampled Data
Identification of Continuous-time Models from Sampled Data
Material Type:
Livro 		Adicionar ao Meu Espaço

Identification of Continuous-time Models from Sampled Data

Garnier, Hugues ; Wang, Liuping Garnier, Hugues ; Wang, Liuping

London: Springer Verlag London Limited 2008

Sem texto completo

Citações Citado por
7
Natural Language Processing and Text Mining
Natural Language Processing and Text Mining
Material Type:
Livro 		Adicionar ao Meu Espaço

Natural Language Processing and Text Mining

Kao, Anne ; Poteet, Steve R Kao, Anne ; Poteet, Stephen R.

London: Springer Verlag London Limited 2007

Sem texto completo

Citações Citado por
8
Computational Optimization, Methods and Algorithms
Computational Optimization, Methods and Algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Optimization, Methods and Algorithms

Koziel, Slawomir ; Yang, Xin-She Yang, Xin-She ; Koziel, Slawomir ; Yang, Xin-She ; Koziel, Slawomir

Berlin, Heidelberg: Springer Nature 2011

Sem texto completo

Citações Citado por
9
Differential Evolution: A Handbook for Global Permutation-Based Combinatorial Optimization
Differential Evolution: A Handbook for Global Permutation-Based Combinatorial Optimization
Material Type:
Livro 		Adicionar ao Meu Espaço

Differential Evolution: A Handbook for Global Permutation-Based Combinatorial Optimization

Onwubolu, Godfrey C ; Davendra, Donald Davendra, Donald ; Onwubolu, Godfrey C.

Berlin, Heidelberg: Springer Berlin Heidelberg 2009

Sem texto completo

Citações Citado por
10
Elements of Automata Theory
Elements of Automata Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Elements of Automata Theory

Sakarovitch, Jacques

Cambridge: Cambridge University Press 2009

Sem texto completo

Citações Citado por
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 (26)

Data de Publicação 

De até
Refinar
  1. Antes de1990  (5)
  2. 1990Até1997  (7)
  3. 1998Até2004  (11)
  4. 2005Até2011  (20)
  5. Após 2011  (9)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.