skip to main content
Idioma:
Refinado por: assunto: Ciência Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applied algebra, algebraic algorithms, and error-correcting codes 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings
Applied algebra, algebraic algorithms, and error-correcting codes 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied algebra, algebraic algorithms, and error-correcting codes 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings

AAECC-13 (1999 Honolulu, Hawaii) Marc Fossorier 1964-

Berlin Springer New York c1999

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

2
Handbook for information security a guide towards information security standards
Handbook for information security a guide towards information security standards
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook for information security a guide towards information security standards

J. C. H. Aalders I. S Herschberg; A. van Zanten

Amsterdam New York North-Holland New York, N.Y. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1985-

Localização: IME - Inst. Matemática e Estatística    (QA714 A112h v.2 )(Acessar)

3
Business process management models, techniques, and empirical studies
Business process management models, techniques, and empirical studies
Material Type:
Livro 		Adicionar ao Meu Espaço

Business process management models, techniques, and empirical studies

Wil van der Aalst Jorg Desel; Andreas Oberweis

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c2000

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1806 )(Acessar)

4
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Localização: EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) e outros locais(Acessar)

5
Formal methods for industrial applications specifying and programming the steam boiler control
Formal methods for industrial applications specifying and programming the steam boiler control
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for industrial applications specifying and programming the steam boiler control

Jean-Raymond Abrial Egon Borger; Hans Langmaack

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1996

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1165 )(Acessar)

6
1984 ACM Twelfth Annual Computer Science Conference, February 14-16 [and] SIGCSE Symposium, February 16-17, Franklin Plaza Hotel, Philadelphia, Pennsylvania
1984 ACM Twelfth Annual Computer Science Conference, February 14-16 [and] SIGCSE Symposium, February 16-17, Franklin Plaza Hotel, Philadelphia, Pennsylvania
Material Type:
Livro 		Adicionar ao Meu Espaço

1984 ACM Twelfth Annual Computer Science Conference, February 14-16 [and] SIGCSE Symposium, February 16-17, Franklin Plaza Hotel, Philadelphia, Pennsylvania

ACM Computer Science Conference (12th 1984 Philadelphia, Pa.) Association for Computing Machinery; Association for Computing Machinery Special Interest Group on Computer Science Education; ACM SIGCSE Technical Symposium on Computer Science Education (1984 Philadelphia, Pa.)

New York, N.Y. Association for Computing Machinery c1984

Localização: IME - Inst. Matemática e Estatística    (QA700.C C738p 1984 )(Acessar)

7
1987 ACM Fifteenth Annual Computer Science Conference, February 17-19, 1987, Adam's Mark Hotel, Clarion Hotel, St. Louis, Missouri
1987 ACM Fifteenth Annual Computer Science Conference, February 17-19, 1987, Adam's Mark Hotel, Clarion Hotel, St. Louis, Missouri
Material Type:
Livro 		Adicionar ao Meu Espaço

1987 ACM Fifteenth Annual Computer Science Conference, February 17-19, 1987, Adam's Mark Hotel, Clarion Hotel, St. Louis, Missouri

ACM Computer Science Conference (15th 1987 St. Louis, Missouri) Association for Computing Machinery

New York, N.Y. Association for Computing Machinery c1987

Localização: IME - Inst. Matemática e Estatística    (QA700.C C738p 1987 )(Acessar)

8
1983 ACM Computer Science Conference and SIGCSE Symposium Computer Science Conference, February 15-17, SIGCSE Symposium, February 17-18
1983 ACM Computer Science Conference and SIGCSE Symposium Computer Science Conference, February 15-17, SIGCSE Symposium, February 17-18
Material Type:
Livro 		Adicionar ao Meu Espaço

1983 ACM Computer Science Conference and SIGCSE Symposium Computer Science Conference, February 15-17, SIGCSE Symposium, February 17-18

ACM Computer Science Conference (1983 Orlando, Fla.) Association for Computing Machinery; Association for Computing Machinery Special Interest Group on Computer Science Education; ACM SIGCSE Technical Symposium on Computer Science Education (14th 1983 Orlando, Fla.)

New York, N.Y. Association for Computing Machinery c1983

Localização: IME - Inst. Matemática e Estatística    (QA700.C C738p 1983 )(Acessar)

9
Proceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education SIGCSE 2004 : Norfolk, Virginia, USA, March 3-7, 2004
Proceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education SIGCSE 2004 : Norfolk, Virginia, USA, March 3-7, 2004
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the Thirty-Fifth SIGCSE Technical Symposium on Computer Science Education SIGCSE 2004 : Norfolk, Virginia, USA, March 3-7, 2004

ACM SIGCSE Technical Symposium on Computer Science Education (35th 2004 Norfolk, Va.) Dan Joyce; Deborah L Knox; Wanda Dann; Tom Naps; Douglas Harms; Association for Computing Machinery Special Interest Group on Computer Science Education

New York, N.Y. Association for Computing Machinery c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (v.36 n.1 2004 e.1 )(Acessar)

10
Languages, compilers, and tools for embedded systems
Languages, compilers, and tools for embedded systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Languages, compilers, and tools for embedded systems

ACM SIGPLAN 1998 Workshop on Languages, Compilers, and tools for Embedded Systems, LCTES'98 1998 Montreal Frank Mueller; Azer Bestavros

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1998

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1474 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (734)
  2. Artigos  (39)
  3. Revistas  (23)
  4. Produções Acadêmicas  (13)
  5. Outros  (4)
  6. Produções Técnicas  (4)
  7. Sites da Web  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1976  (65)
  2. 1976Até1987  (78)
  3. 1988Até1999  (497)
  4. 2000Até2012  (123)
  5. Após 2012  (57)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (791)
  2. Português  (32)
  3. Francês  (8)
  4. Alemão  (5)
  5. Espanhol  (3)
  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.