Resultados de 1 a 10 de 1.140 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Programming Languages
Exact Sciences And Technology
assunto:
Software Engineering
Exact Sciences And Technology
assunto:
Software Engineering
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: magazinearticle
|
|
ELIZA: a computer program for the study of natural language communication between man and machineWEIZENBAUM, JCommunications of the ACM, 1983, Vol.26 (1), p.23-28New York, NY: Association for Computing MachineryTexto completo disponível |
| 2 |
Material Type: magazinearticle
|
|
Communicating sequential processesHOARE, C. A. RCommunications of the ACM, 1983, Vol.26 (1), p.100-106New York, NY: Association for Computing MachineryTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Temporal logic can be more expressiveWolper, PierreInformation and control, 1983-01, Vol.56 (1-2), p.72-99 [Periódico revisado por pares]New York, NY: Elsevier IncTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Programs as proofs: a synopsisConstable, Robert L.Information processing letters, 1983-04, Vol.16 (3), p.105-112 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Petri Net Models for the Evaluation of Applicative Programs Based on λ-ExpressionsKluge, W.E. ; Schlutter, H.IEEE transactions on software engineering, 1983-07, Vol.SE-9 (4), p.415-427 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Extending CSP to Allow Dynamic Resource ManagementSilberschatz, A.IEEE transactions on software engineering, 1983-07, Vol.SE-9 (4), p.527-531 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 7 |
Material Type: Artigo
|
|
ESPRESO-A System for Process Control Software SpecificationLudewig, J.IEEE transactions on software engineering, 1983-07, Vol.SE-9 (4), p.427-436 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Is an exit statement sufficient?Williams, M.H.Information processing letters, 1983-07, Vol.17 (1), p.47-51 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A Survey of Software Engineering Practice: Tools, Methods, and ResultsBeck, L.L. ; Perkins, T.E.IEEE transactions on software engineering, 1983-09, Vol.SE-9 (5), p.541-561 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Distributed Software System Design Representation Using Modified Petri NetsYau, S.S. ; Caglayan, M.U.IEEE transactions on software engineering, 1983-11, Vol.SE-9 (6), p.733-745 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
Resultados de 1 a 10 de 1.140 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Artigos (950)
- Anais de Congresso (116)
- magazinearticle (32)
- Book Chapters (24)
- Livros (18)
-
Mais opções
Assunto
- Applied Sciences (1.138)
- Computer Science; Control Theory; Systems (1.138)
- Software (1.130)
- Computer Science (853)
- Science & Technology (826)
- Technology (823)
- Computer Science, Software Engineering (594)
- Computer Science, Theory & Methods (241)
- Engineering (207)
- Theoretical Computing (190)
- Engineering, Electrical & Electronic (185)
- Computer Systems And Distributed Systems. User Interface (182)
- Studies (173)
- Computer Programming (172)
- Semantics (109)
- Computer Languages (108)
- Computer Science, Hardware & Architecture (100)
-
Mais opções
Data de Publicação
- Antes de1988 (67)
- 1988Até1993 (89)
- 1994Até1999 (425)
- 2000Até2006 (206)
- Após 2006 (367)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (810)
- EBSCOhost Computers and Applied Sciences Complete (458)
- ACM Digital Library (378)
- IEEE Electronic Library (IEL) Journals (266)
- ScienceDirect® (218)
- Gale Academic OneFile Select (132)
- Springer journals (124)
- EBSCOhost Business Source Complete (122)
- EZB Free E-Journals (117)
- ANTE: Abstracts in New Technology & Engineering (117)
- SpringerLINK Lecture Notes in Computer Science (2015) (111)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) 【Remote access available】 (111)
- Springer Nature - Springer Journals All 2022 (75)
- IngentaConnect Journals (66)
- EBSCOhost Academic Search Premier (36)
- Lippincott E Journal Collection (35)
- SpringerLink Books Lecture Notes in Computer Science Archive (32)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (32)
- Springer Books (32)
- Springer Books Online Archive (32)
-
Mais opções
Nome da Publicação
- Sigplan Notices (177)
- Ieee Transactions On Software Engineering (164)
- Acm Sigplan Notices (121)
- Ieee Software (59)
- Acm Transactions On Programming Languages And Systems (45)
- The Journal Of Systems And Software (37)
- International Journal On Software Tools For Technology Transfer (35)
- Communications Of The Acm (31)
- Formal Aspects Of Computing (29)
- Theoretical Computer Science (23)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 