Resultados de 1 a 10 de 60 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Teoria Da Computação
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Diks, Krzysztof ; Rytter, WojciechBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Proceedings of the Third IBM Symposium on Mathematical Foundations of Computer Science mathematical logic & computer science : August 21-23, 1978 at Inter-University Seminar House of KansaiIBM Symposium on Mathematical Foundations of Computer Science (3rd 1978 Inter-University Seminar House of Kansai) Nihon Ai Båi Emu Kabushiki KaishaTokyo Academic & Scientific Programs, IBM Japan 1978?Localização: IME - Inst. Matemática e Estatística (QA800.C S989 19. )(Acessar) |
| 3 |
Material Type: Livro
|
|
DNA Computing: 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised PapersHagiya, Masami ; Ohuchi, Azuma Hagiya, Masami ; Ohuchi, AzumaBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedingsWorkshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)Berlin New York Springer-Verlag c1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.626 e.1 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedingsWorkshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)Berlin Springer-Verlag New York c1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.533 e.1 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised PapersWatson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised PapersPaun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, Arto ; Zandron, Claudio Salomaa, Arto ; PĂun, Gheorghe ; Rozenberg, Grzegorz ; Zandron, ClaudioBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Interactive Markov Chains: The Quest for Quantified QualityHermanns, HolgerBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Artificial Neural Networks and Neural Information Processing -- ICANN/ICONIP 2003: Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, ProceedingsKaynak, Okyay ; Alpaydin, Ethem ; Oja, Erkki ; Xu, Lei Xu, Lei ; Kaynak, Okyay ; Oja, Erkki ; Alpaydin, EthemBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
| 10 |
Material Type: Livro
|
|
DNA computing: new computing paradigmsPăun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, ArtoNew York: Springer 1998Texto completo disponível |
Resultados de 1 a 10 de 60 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Logic, Symbolic And Mathematical (19)
- Computer Science (16)
- Teoria Da Computação (9)
- Computers (9)
- Teoria Da Computação (9)
- Computation By Abstract Devices (7)
- Inteligência Artificial (7)
- Lógica Matemática (7)
- Artificial Intelligence (6)
- Automatic Theorem Proving (6)
- Lógica Matemática (Congressos) (6)
- Machine Theory (5)
- E-Book Springer Lncs (5)
- Kongress (5)
- Congresses (5)
- Computer Logic (5)
- Electronic Digital Computers (4)
- Linguagens Formais (4)
- Theory Of Computation (4)
- Ciência Da Computação (3)
- Logic Programming (3)
- Dns (3)
- Mathematical Logic And Formal Languages (3)
- Análise De Algoritmos (3)
- Mathematical Logic (3)
- Information Theory (3)
- Logics And Meanings Of Programs (3)
- Computadoras Moleculares (3)
- Biocomputer (3)
- Especificação De Programas E Sistemas (3)
- Electronic Digital Computers (2)
- Metodologia E Técnicas De Computação (2)
- Computer Programming (2)
- Computabilidade E Complexidade (2)
- Electronic Data Processing (2)
- Algorithms (2)
- Spectral Theory (Mathematics) (1)
- Linguagens Formais (1)
- Algorithms (1)
- Computer Arithmetic (1)
- Logic, Symbolic And Mathematical (1)
- Teoria Dos Autômatos (1)
- Electronic Data Processing (1)
- Computer Programming (1)
- Inteligência Artificial (1)
-
Mais opções
Autor/Criador
- Workshop on Computer Science Logic (8)
- Börger, E (5)
- Salomaa, A (2)
- Gottlob, G (2)
- European Association for Computer Science Logic Conference (2)
- Schwichtenberg, H (2)
- Bauer, F (2)
- Nerode, A (2)
- Colloquia Mathematica Societatis Janos Bolyai (2)
- Heering, J (2)
- Scedrov, A (2)
- Thomas, W (1)
- Maibaum, T (1)
- Alves-Foss, J (1)
- Leitsch, A (1)
- Odifreddi, P (1)
- Gray, J (1)
- Hankin, C (1)
- Paulson, L (1)
- Workshop on Higher-Order Algebra, L (1)
-
Mais opções
Data de Publicação
- Antes de1985 (5)
- 1985Até1989 (12)
- 1990Até1993 (18)
- 1994Até1998 (15)
- Após 1998 (15)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (8)
- Springer Books Online Archive (8)
- SpringerLink Books Lecture Notes in Computer Science Archive (8)
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (8)
- SpringerLINK Lecture Notes in Computer Science (2015) (7)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (7)
- ACM Digital Library (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 