Resultados de 1 a 10 de 335 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (8)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Parle parallel architectures and languages EuropeParallel Architectures (1987 Eindhoven) J W Bakker; A J Nijman; P C TreleavenGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, C1985-Berlin Springer-Verlag c1987Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.258 pt.1 ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Metaclasses and Their ApplicationWolfgang Klas Michael SchreflSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Models and Tools for Managing Development ProcessesBernhard Westfechtel Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Parallel algorithms and architecturesInternational Workshop on Parallel Algorithms and Architectures 1987 Suhl A Albrecht; H Jung; K MehlhornGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, C1985-Berlin Springer-Verlag c1987Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.269 )(Acessar) |
| 6 |
Material Type: Livro
|
|
Neural networksEURASIP Workshop 1990 SESIMBRA L B Almeida; C J WellekensGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, C1985-Berlin Springer-Verlag c1990Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.412 )(Acessar) |
| 7 |
Material Type: Livro
|
|
Angorithms and computationInternational Symposium on Algorithms and computation, ISAAC'99, 10 1999 Chennai Alok Aggarwal; C. Pandu RanganGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1999Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1741 )(Acessar) |
| 8 |
Material Type: Livro
|
|
Current trends in concurrencyJ W Bakker W P Roever; G RozenbergGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes In Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1986Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.224 )(Acessar) |
| 9 |
Material Type: Livro
|
|
VLSI algorithms and architecturesAEGEAN Workshop on Computing 1986 Loutraki F MakedonGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes In Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1986Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.227 e.2 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Static analysisInternational Symposium on Static Analysis, SAS'98, 5 1998 Pisa Giorgio LeviGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1503 )(Acessar) |
Resultados de 1 a 10 de 335 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 (8)
Assunto
- Ciência Da Computação (334)
- Criptologia (8)
- Processamento De Imagens (5)
- Engenharia De Software (4)
- Inteligência Artificial (4)
- Linguagem De Programação (4)
- Sistemas Híbridos (3)
- Otimização Combinatória (2)
- Fractais (Dimensão) (2)
- Computer Vision (2)
- Reconhecimento De Padrões (2)
- Computação Gráfica (2)
- Programação Lógica (2)
- Programação Genética (2)
- Modelos (Análise) (2)
- World Wide Web (2)
- Internet (2)
- Programação Paralela (2)
- Arquitetura E Organização De Computadores (2)
- Softwares (1)
-
Mais opções
Autor/Criador
- Rolim, J (5)
- International Conference on Conceptual Modeling, E (5)
- European Joint Conferences on Theory and Practiceof Software, E (5)
- Rozenberg, G (4)
- Annual International Computing and Combinatorics Conference, C (4)
- International Workshop on Languages and Compilersfor Parallel Computing, L (3)
- Bowen, J (3)
- Mira, J (3)
- Hinchey, M (3)
- International Conference on Theorem Proving in Higher Order Logics, T (3)
- International Symposium on Static Analysis, S (3)
- Langmaack, H (3)
- Steffen, B (3)
- Broy, M (3)
- Van Leeuwen, J (3)
- International Work-Conference on Artificial and Natural Neural Networks, I (3)
- Thalheim, B (3)
- Roever, W (3)
- Preneel, B (3)
- International Conference on Algebraic Methodologyand Software Technology, A (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 