Resultados de 1 a 10 de 54 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
EBSCOhost Computers and Applied Sciences Complete
assunto:
Engineering, Electrical & Electronic
assunto:
Engineering, Electrical & Electronic
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Symbolic Semantics and Program ReductionAmbriola, V. ; Giannotti, F. ; Pedreschi, D. ; Turini, F.IEEE transactions on software engineering, 1985-08, Vol.SE-11 (8), p.784-794 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Using Annotations to Make Recursion Equations BehaveSchwarz, J.IEEE transactions on software engineering, 1982-01, Vol.SE-8 (1), p.21-33 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Compiling Quantamorphisms for the IBM Q ExperienceNeri, Ana ; Barbosa, Rui Soares ; Oliveira, Jose N.IEEE transactions on software engineering, 2022-11, Vol.48 (11), p.4339-4356 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A Look into Programmers' HeadsPeitek, Norman ; Siegmund, Janet ; Apel, Sven ; Kastner, Christian ; Parnin, Chris ; Bethmann, Anja ; Leich, Thomas ; Saake, Gunter ; Brechmann, AndreIEEE transactions on software engineering, 2020-04, Vol.46 (4), p.442-462 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 5 |
Material Type: Artigo
|
|
A Two-Component Language for Adaptation: Design, Semantics and Program AnalysisDegano, Pierpaolo ; Ferrari, Gian-Luigi ; Galletta, LetterioIEEE transactions on software engineering, 2016-06, Vol.42 (6), p.505-529 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 6 |
Material Type: Artigo
|
|
CryptHOL: Game-Based Proofs in Higher-Order LogicBasin, David A. ; Lochbihler, Andreas ; Sefidgar, S. RezaJournal of cryptology, 2020-04, Vol.33 (2), p.494-566 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
A hybrid framework for detection of autism using ConvNeXt-T and embedding clustersKanwal, Ayesha ; Javed, Kashif ; Ali, Sara ; Rubab, Saddaf ; Khan, Muhammad Attique ; Alasiry, Areej ; Marzougui, Mehrez ; Shabaz, MohammadThe Journal of supercomputing, 2024-04, Vol.80 (6), p.8156-8178 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
A review on diagnostic autism spectrum disorder approaches based on the Internet of Things and Machine LearningHosseinzadeh, Mehdi ; Koohpayehzadeh, Jalil ; Bali, Ahmed Omar ; Rad, Farnoosh Afshin ; Souri, Alireza ; Mazaherinezhad, Ali ; Rezapour, Aziz ; Bohlouli, MahdiThe Journal of supercomputing, 2021-03, Vol.77 (3), p.2590-2608 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Flexible multi-client functional encryption for set intersectionRafiee, MojtabaThe Journal of supercomputing, 2023-08, Vol.79 (12), p.13744-13765 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
An integrated approach of designing functionality with security for distributed cyber-physical systemsTripathi, Dipty ; Biswas, Amit ; Tripathi, Anil Kumar ; Singh, Lalit Kumar ; Chaturvedi, AmritaThe Journal of supercomputing, 2022, Vol.78 (13), p.14813-14845 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
Resultados de 1 a 10 de 54 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr 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
Assunto
- Computer Science (53)
- Computer Science, Software Engineering (41)
- Functional Programming (35)
- Software (34)
- Programming Languages (33)
- Computer Languages (28)
- Applied Sciences (27)
- Exact Sciences And Technology (27)
- Computer Science; Control Theory; Systems (27)
- Computer Programming (25)
- Software Engineering (17)
- Compilers (13)
- Computer Science, Theory & Methods (12)
- Interpreters (12)
- Computer Science, Hardware & Architecture (11)
- Processor Architectures (11)
-
Mais opções
Data de Publicação
- Antes de1984 (6)
- 1984Até1989 (16)
- 1990Até2004 (12)
- 2005Até2016 (10)
- Após 2016 (11)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (49)
- IEEE Electronic Library (IEL) Journals (39)
- ANTE: Abstracts in New Technology & Engineering (20)
- SpringerNature Journals (12)
- Springer Nature - Springer Journals All 2022 (12)
- Academic Search Premier (11)
- Journals@Ovid Full Text (11)
- Aerospace Database (4)
- IEEE Electronic Library (IEL) Conference Proceedings (2)
- ACM Digital Library (2)
- IngentaConnect Journals (1)
- EZB Free E-Journals (1)
- Open Access Journals (Hindawi Publishing) (1)
- Gale Academic OneFile (1)
- ROAD: Directory of Open Access Scholarly Resources (1)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- DOAJ Directory of Open Access Journals (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 