skip to main content
A busca falhou por um motivo não definido. Isso pode ter sido causado por um caractere especial, não suportado, na expressão de busca.
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Waite Group remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Kapitsaki, Georgia M ; Almeida, Eduardo Santana de Santana de Almeida, Eduardo ; Kapitsaki, Georgia M ; Kapitsaki, Georgia M. ; Santana de Almeida, Eduardo

Netherlands: Springer Nature 2016

Texto completo disponível

2
You Are Not Expected to Understand This: How 26 Lines of Code Changed the World
Material Type:
Livro
Adicionar ao Meu Espaço

You Are Not Expected to Understand This: How 26 Lines of Code Changed the World

Ullman, Ellen ; Chudler, Kelly ; Bosch, Torie Bosch, Torie

United States: Princeton University Press 2022

Texto completo disponível

3
Handbook of Constraint Programming
Material Type:
Livro
Adicionar ao Meu Espaço

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

San Diego: Elsevier Science 2006

Texto completo disponível

4
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lafuente, Alberto Lluch ; Proenca, Jose Lluch Lafuente, Alberto ; Proen'a, Jos' ; Lluch Lafuente, Alberto ; Proença, José

Netherlands: Springer Nature 2016

Texto completo disponível

5
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Falcone, Yliès ; Sánchez, César S'nchez, C'sar ; Falcone, Yli's ; Sánchez, César ; Falcone, Yliès

Cham: Springer Nature 2016

Texto completo disponível

6
Behavioural Types: From Theory to Tools
Material Type:
Livro
Adicionar ao Meu Espaço

Behavioural Types: From Theory to Tools

Gay, Simon ; Ravara, António Gay, Simon ; Ravara, António ; Gay, Simon ; Ravara, António

United Kingdom: River Publishers 2017

Texto completo disponível

7
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Yoshida, Nobuko Yoshida, Nobuko

Netherlands: Springer Nature 2021

Texto completo disponível

8
Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Serrano, Manuel ; Hage, Jurriaan Hage, Jurriaan ; Serrano, Manuel ; Hage, Jurriaan ; Serrano, Manuel

Cham: Springer Nature 2016

Texto completo disponível

9
Real-Time Collision Detection
Material Type:
Livro
Adicionar ao Meu Espaço

Real-Time Collision Detection

Ericson, Christer

Milton: CRC Press 2005

Texto completo disponível

10
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Rayadurgam, Sanjai ; Tkachuk, Oksana Tkachuk, Oksana ; Rayadurgam, Sanjai ; Tkachuk, Oksana ; Rayadurgam, Sanjai

Cham: Springer Nature 2016

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (136.518)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (165.293)
  2. Reports  (54.723)
  3. Anais de Congresso  (50.773)
  4. magazinearticle  (17.572)
  5. Book Chapters  (12.026)
  6. Livros  (9.378)
  7. Newsletter Articles  (2.925)
  8. Resenhas  (2.131)
  9. Outros  (888)
  10. Dissertações  (746)
  11. Verbetes  (608)
  12. Conjunto de Dados  (294)
  13. Videos  (139)
  14. Recursos Textuais  (127)
  15. Imagens  (116)
  16. Artigos de Jornal  (116)
  17. Standards  (31)
  18. Web Resources  (14)
  19. Revistas  (1)
  20. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1961  (621)
  2. 1961Até1975  (16.291)
  3. 1976Até1990  (32.119)
  4. 1991Até2006  (94.367)
  5. Após 2006  (179.305)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (315.378)
  2. Japonês  (9.976)
  3. Alemão  (1.663)
  4. Espanhol  (443)
  5. Português  (271)
  6. Catalão  (179)
  7. Francês  (134)
  8. Chinês  (111)
  9. Russo  (50)
  10. Norueguês  (38)
  11. Italiano  (29)
  12. Turco  (25)
  13. Ucraniano  (16)
  14. Tcheco  (15)
  15. Polonês  (11)
  16. Húngaro  (9)
  17. Árabe  (8)
  18. Croatian  (8)
  19. Eslovaco  (6)
  20. Holandês  (5)
  21. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.