Resultados de 1 a 10 de 15.786 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
- Revistas revisadas por pares (12.275)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
An addressable machine as the interpretation of a free groupLauria, Francesco E.Information sciences, 1982-01, Vol.28 (2), p.131-160 [Periódico revisado por pares]New York, NY: Elsevier IncTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Impossible pair constrained test path generation in a programSrimani, Pradip K. ; Sinha, Bhabani P.Information sciences, 1982-01, Vol.28 (2), p.87-103 [Periódico revisado por pares]New York, NY: Elsevier IncTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
The propositional dynamic logic of deterministic, well-structured programsHalpern, Joseph Y. ; Reif, John H.Theoretical computer science, 1983, Vol.27 (1), p.127-165 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Termination assertions for recursive programs: completeness and axiomatid definabilityMEYER, A. R ; MITCHELL, J. CInformation and control, 1983, Vol.56 (1-2), p.112-138New York, NY: Academic PressTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Implementing SNOBOL4 pattern matching in IconGriswold, Ralph E.Computer languages, 1983, Vol.8 (2), p.77-92Oxford: Elsevier LtdTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Tentative steps towards a development method for interfering programsJONES, C. BACM transactions on programming languages and systems, 1983, Vol.5 (4), p.596-619 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Ninth international colloquium on automata, languages and programming (ICALP), Aarhus, Summer 1982SCHMIDT, E. MTheoretical computer science, 1983, Vol.27 (3), p.237-354 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Nontrival definability by flow-chart programsURZYCZYN, PInformation and control, 1983, Vol.58 (1-3), p.59-87New York, NY: Academic PressTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Small programming exercises. IIREM, MScience of computer programming, 1983, Vol.3 (3), p.313-319 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
The Cardiff CATCH systemAtkins, Divid ; Thorne, MichaelJournal of microcomputer applications, 1983-01, Vol.6 (3), p.225-233London: Elsevier LtdTexto completo disponível |
Resultados de 1 a 10 de 15.786 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
- Revistas revisadas por pares (12.275)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (8.945)
- Anais de Congresso (4.840)
- Book Chapters (1.387)
- magazinearticle (402)
- Livros (212)
-
Mais opções
Assunto
- Applied Sciences (15.606)
- Computer Science; Control Theory; Systems (15.432)
- Software (15.258)
- Science & Technology (10.553)
- Technology (10.422)
- Computer Science (10.116)
- Computer Science, Software Engineering (6.076)
- Computer Science, Theory & Methods (4.813)
- Engineering (2.384)
- Computer Systems And Distributed Systems. User Interface (2.348)
- Engineering, Electrical & Electronic (1.762)
- Theoretical Computing (1.587)
- Computer Science, Information Systems (1.546)
- Studies (1.514)
- Computer Science, Hardware & Architecture (1.511)
- Memory Organisation. Data Processing (1.416)
- Artificial Intelligence (1.266)
- Programming Languages (1.138)
-
Mais opções
Data de Publicação
- Antes de1988 (1.008)
- 1988Até1994 (1.767)
- 1995Até2001 (4.533)
- 2002Até2009 (6.736)
- Após 2009 (1.973)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (9.289)
- Lecture Notes in Computer Science Archive (through to 1996) (4.663)
- SpringerLINK Lecture Notes in Computer Science (2015) (4.645)
- Computers & Applied Sciences Complete - EBSCO (3.742)
- ScienceDirect® (3.187)
- IEEE Electronic Library (IEL) Journals (2.644)
- ACM Digital Library (1.928)
- IngentaConnect Journals (1.591)
- IEEE Electronic Library (IEL) Conference Proceedings (1.323)
- ANTE: Abstracts in New Technology & Engineering (1.085)
- EZB Electronic Journals Library (1.055)
- SpringerLink (Online service) (1.046)
- Business Source Complete (EB_SDU_P3) (1.006)
- Gale Academic OneFile Select (988)
- Springer Nature - Springer Journals All 2022 (832)
- Springer Books (680)
- Springer Books Online Archive (679)
- SpringerLink Books Lecture Notes in Computer Science Archive (670)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (653)
- Academic Search Premier (465)
-
Mais opções
Idioma
- Japonês (484)
- Português (3)
- Francês (3)
- Espanhol (1)
-
Mais opções
Nome da Publicação
- Ieee Transactions On Software Engineering (1.033)
- Ieee Software (616)
- The Journal Of Systems And Software (423)
- Communications Of The Acm (345)
- Sigplan Notices (326)
- Theoretical Computer Science (278)
- International Journal On Software Tools For Technology Transfer (232)
- Computers In Industry (230)
- Acm Sigplan Notices (214)
- Computer (210)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 