skip to main content
Idioma:
previous page 3 4 Resultados 5 6 7 next page
Mostrar Somente
Refinado por: idioma: Inglês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
41
Behavioral Types in Programming Languages
Behavioral Types in Programming Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Behavioral Types in Programming Languages

Ancona, Davide ; Bono, Viviana ; Bravetti, Mario ; Campos, Joana ; Castagna, Giuseppe ; Deniélou, Pierre-Malo ; Gay, Simon J. ; Gesbert, Nils ; Giachino, Elena ; Hu, Raymond ; Johnsen, Einar Broch ; Martins, Francisco ; Mascardi, Viviana ; Montesi, Fabrizio ; Neykova, Rumyana ; Ng, Nicholas ; Padovani, Luca ; Vasconcelos, Vasco T. ; Yoshida, Nobuko

Foundations and trends in programming languages, 2016-01, Vol.3 (2-3), p.95-230 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
42
Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings

Le Metayer, Daniel Le Métayer, Daniel

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
43
On the Impact of Programming Languages on Code Quality: A Reproduction Study
On the Impact of Programming Languages on Code Quality: A Reproduction Study
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Impact of Programming Languages on Code Quality: A Reproduction Study

Berger, Emery D. ; Hollenbeck, Celeste ; Maj, Petr ; Vitek, Olga ; Vitek, Jan

ACM transactions on programming languages and systems, 2019-12, Vol.41 (4), p.1-24, Article 21 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
44
Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Montanari, Ugo ; Rolim, Jose D. P ; Welzl, Emo Montanari, Ugo ; Welzl, Emo ; Rolim, José D. P.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
45
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings

Abiteboul, Serge ; Shamir, Eli Abiteboul, Serge ; Shamir, Eli

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
46
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Sannella, Donald Sannella, Donald

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
47
Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings

Kuich, W Kuich, W.

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
48
Machine Learning Made Easy: A Review of "Scikit-learn" Package in Python Programming Language
Machine Learning Made Easy: A Review of "Scikit-learn" Package in Python Programming Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Machine Learning Made Easy: A Review of "Scikit-learn" Package in Python Programming Language

Hao, Jiangang ; Ho, Tin Kam

Journal of Educational and Behavioral Statistics, 2019-06, Vol.44 (3), p.348-361 [Periódico revisado por pares]

Los Angeles, CA: SAGE Publishing

Texto completo disponível

Citações Citado por
49
A framework for analyzing context-oriented programming languages
A framework for analyzing context-oriented programming languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

A framework for analyzing context-oriented programming languages

Elyasaf, Achiya ; Cardozo, Nicolás ; Sturm, Arnon

The Journal of systems and software, 2023-04, Vol.198, p.111614, Article 111614 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
50
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Sergey, Ilya Sergey, Ilya

Cham: Springer Nature 2022

Texto completo disponível

Citações Citado por
previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (762.451)
  2. Revistas revisadas por pares (402.602)
  3. Disponível na Biblioteca (896)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (467.554)
  2. Anais de Congresso  (89.743)
  3. magazinearticle  (58.802)
  4. Book Chapters  (47.088)
  5. Verbetes  (29.165)
  6. Newsletter Articles  (20.597)
  7. Reports  (17.260)
  8. Resenhas  (12.664)
  9. Livros  (10.044)
  10. Artigos de Jornal  (5.622)
  11. Dissertações  (1.886)
  12. Conjunto de Dados  (1.714)
  13. Web Resources  (316)
  14. Standards  (225)
  15. Videos  (223)
  16. Imagens  (149)
  17. Recursos Textuais  (145)
  18. Outros  (77)
  19. Produções Acadêmicas  (19)
  20. Archival Material / Manuscripts  (9)
  21. Documentos Técnicos  (8)
  22. Produções Técnicas  (6)
  23. Audio  (5)
  24. Revistas  (5)
  25. Audiovisuais  (1)
  26. Software  (1)
  27. Mais opções open sub menu

Assunto 

  1. Science & Technology  (287.726)
  2. Technology  (193.073)
  3. Computer Science  (154.643)
  4. Life Sciences & Biomedicine  (81.449)
  5. Social Sciences  (78.823)
  6. Engineering  (66.853)
  7. Software  (64.506)
  8. Computer Science, Software Engineering  (52.048)
  9. Algorithms  (49.953)
  10. Physical Sciences  (49.705)
  11. Computer Science, Theory & Methods  (49.623)
  12. Programming Languages  (49.186)
  13. Humans  (46.346)
  14. Engineering, Electrical & Electronic  (32.152)
  15. Studies  (31.607)
  16. Artificial Intelligence  (31.575)
  17. Computer Science, Information Systems  (31.101)
  18. Exact Sciences And Technology  (28.433)
  19. Applied Sciences  (23.955)
  20. Mathematics  (23.802)
  21. Computer Programming  (17.099)
  22. Electronic Digital Computers  (861)
  23. Formal Languages  (586)
  24. Pascal  (557)
  25. Linguagem De Programação  (316)
  26. Programming Languages (Electronic Computers)  (300)
  27. Metodologia E Técnicas De Computação  (139)
  28. Teoria Da Computação  (74)
  29. Engenharia De Software  (61)
  30. Electronic Digital Computers  (56)
  31. Técnicas De Programação (Congressos)  (44)
  32. Inteligência Artificial  (44)
  33. Softwares  (44)
  34. C (Computer Program Language)  (43)
  35. Linguagem De Programação  (38)
  36. Ciência Da Computação  (37)
  37. Computer Programming  (35)
  38. Pascal (Computer Program Language)  (33)
  39. Pascal  (31)
  40. Arquitetura E Organização De Computadores  (28)
  41. Object-Oriented Programming (Computer Science)  (27)
  42. Técnicas De Programação  (27)
  43. C++ (Computer Program Language)  (26)
  44. Formal Languages  (26)
  45. Inteligência Artificial  (26)
  46. Engenharia De Software  (7)
  47. Técnicas De Programação  (5)
  48. Arquitetura E Organização De Computadores  (4)
  49. Ciência Da Computação  (3)
  50. Softwares  (2)
  51. Teoria Da Computação  (2)
  52. Metodologia E Técnicas De Computação  (1)
  53. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (458)
  2. 1960Até1975  (10.617)
  3. 1976Até1991  (45.444)
  4. 1992Até2008  (223.253)
  5. Após 2008  (491.505)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (22.827)
  2. Português  (1.286)
  3. Ndongo  (1.272)
  4. Espanhol  (1.013)
  5. Alemão  (923)
  6. Francês  (485)
  7. Norueguês  (279)
  8. Russo  (243)
  9. Chinês  (132)
  10. Indonésio  (125)
  11. Tcheco  (98)
  12. Italiano  (85)
  13. Árabe  (76)
  14. Polonês  (69)
  15. Croatian  (64)
  16. Turco  (62)
  17. Africâner  (61)
  18. Eslovaco  (59)
  19. Letão  (51)
  20. Indeterminado  (2)
  21. Mais opções open sub menu

Nome da Publicação 

  1. Arxiv.Org  (10.562)
  2. Plos One  (5.810)
  3. The Journal Of Supercomputing  (5.700)
  4. Sigplan Notices  (5.440)
  5. Arxiv  (4.997)
  6. Journal Of Physics. Conference Series  (4.963)
  7. Communications Of The Acm  (4.804)
  8. Journal Of Physics: Conference Series  (4.651)
  9. New York Times  (4.646)
  10. Applied Sciences  (3.291)
  11. Acm Sigplan Notices  (1.398)
  12. Acm Transactions On Programming Languages And Systems  (1.343)
  13. International Journal Of Parallel Programming  (633)
  14. Lecture Notes In Computer Science  (227)
  15. Conference Proceedings  (71)
  16. Foundations And Trends In Programming Languages  (18)
  17. Proceedings  (16)
  18. Proceedings  (7)
  19. Lecture Notes in Computer Science  (7)
  20. Advances In Speech-Language Pathology  (6)
  21. ACM SIGPLAN Notices  (2)
  22. Anais  (2)
  23. Einstein  (2)
  24. ABCM Symposium Series in Mechatronics  (1)
  25. Transactions on pattern languages of programming  (1)
  26. Gestão & Tecnologia De Projetos  (1)
  27. Journal of English Language Teaching Fakultas Pendidikan Bahasa dan Seni Program Studi Pendidikan Bahasa Inggris IKIP Mataram  (1)
  28. SpringerLink  (1)
  29. Gestão & Tecnologia de Projetos  (1)
  30. Informatica e Telecomunicacoes: Anais  (1)
  31. Acm Transactions on Programming Languages and Systems  (1)
  32. International Journal of Parallel Programming  (1)
  33. São Paulo Medical Journal  (1)
  34. Foundations and trends in programming languages  (1)
  35. Estudos linguísticos e literários em inglês: 50 anos na USP  (1)
  36. São Paulo Medical Journal  (1)
  37. OhioLINK electronic book center  (1)
  38. Advances in speech-language pathology  (1)
  39. Conference Proceedings  (1)
  40. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.