Resultados de 1 a 10 de 28 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (20)
- Disponível na Biblioteca (18)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Distributed algorithms proceedingsInternational Workshop on Distributed Algorithms (2. 1987 Amsterdam) Jan Van LeeuwenBerlin Springer 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.312 ex.1 ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Graphtheoretic concepts in computer science proceedingsInternational Workshop on Graphtheoretic Conceptsin Computer Science, 14., Amsterdam, 1988 Jan Van LeeuwenBerlin Springer 1989Localização: IME - Inst. Matemática e Estatística (S L471c v.344 )(Acessar) |
| 3 |
Material Type: Livro
|
|
Distributed algorithms proceedingsInternational Workshop on Distributed Algorithms,4., Bari, 1990 Jan Van LeeuwenBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.486 e.1 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Parle proceedingsConference on Parallel Architectures and Languages Europe, 3, Eindhoven, 1991 E. H. L Aarts Emile H. L.); Jan Van LeeuwenBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.506 e.1 v.2 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Graph-theoretic concepts in computer science proceedingsInternational Workshop on Graphtheoretic Conceptsin Computer Science (19. 1993 Utrecht) Jan Van LeeuwenBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.790 e.1 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Algorithms--ESA '94 second annual European symposium, Utrecht, The Netherlands, September 26-28, 1994 : proceedingsESA '94 (1994 Utrecht, Netherlands) J. van Van Leeuwen (Jan)Berlin Springer-Verlag New York c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.855 e.1 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Computer science today recent trends and developmentJan Van LeeuwenGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1000 )(Acessar) |
| 8 |
Material Type: Livro
|
|
Computer science today recent trends and developmentsJan Van LeeuwenBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1000 e.1 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Automatic Verification of Sequential Infinite-State ProcessesOlaf Burkart Juris Hartmanis; Jan van LeeuwenSpringer Berlin / Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Livro
|
|
Graph-Theoretic Concepts in Computer ScienceJuraj Hromkovič Juris Hartmanis; Ondrej Sykora; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online |
Resultados de 1 a 10 de 28 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (20)
- Disponível na Biblioteca (18)
Refinar Meus Resultados
Assunto
- Ciência Da Computação (5)
- Metodologia E Técnicas De Computação (3)
- Algoritmos E Estruturas De Dados (3)
- Engenharia De Software (2)
- Inteligência Artificial (2)
- Programming Languages (Electronic Computers) (2)
- Computer Algorithms (2)
- Redes De Computadores (2)
- Sistemas Operacionais (2)
- Redes E Comunicação De Dados (2)
- Computer Network Protocols (1)
- Verificação E Validação De Software (1)
- Lógica Matemática (1)
- Java (Computer Program Language) (1)
- Java (1)
- Distributed Operating Systems (Computers) (1)
- Mathematicians (1)
- Mobile Agents (Computer Software) (1)
- Técnicas De Programação (Congressos) (1)
- Optical Pattern Recognition (1)
-
Mais opções
Autor/Criador
- Hartmanis, J (15)
- Goos, G (3)
- International Workshop on Distributed Algorithms (2)
- International Workshop on Graphtheoretic Conceptsin Computer Science (2)
- Diks, K (1)
- Jansen, K (1)
- Calude, C (1)
- Westfechtel, B (1)
- Juraj Hromkovič (1)
- International Computer Science Conference (1)
- Hui, L (1)
- Giovanni Vigna (1)
- Derniame, J (1)
- Lee, D (1)
- Burkart, O (1)
- Arvind, V (1)
- Tison, S (1)
- Pettersson, M (1)
- Amtrup, J (1)
-
Mais opções
Data de Publicação
- Antes de1991 (2)
- 1991Até1994 (4)
- 1995Até1997 (3)
- 1998Até2002 (16)
- Após 2002 (3)
-
Mais opções
Biblioteca
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 