English
Kazakh
Português (Brasil)
Русский
简体中文
Eco-vector
Programmirovanie
ISSN 0132-3474 (Print)
Menu     Arquivos
  • Página principal
  • Sobre a Revista
    • Equipe Editorial
    • Política Editorial
    • Diretrizes para Autores
    • Sobre a Revista
  • Edições
    • Pesquisa
    • Edição corrente
    • Artigos retraídos
    • Arquivos
  • Contatos
  • Assinatura
  • Todas as revistas
Usuário
Esqueceu a senha? Cadastro
Notificações
  • Ver
  • Assinar
Conteúdo da revista
Navegar
  • Edições
  • Autores
  • por título
  • por Seção
  • Outras Revistas
  • Categorias
Assinatura Entrar no sistema para verificar sua assinatura
Palavras-chave C++ GPU cloud computing computer algebra convolutional neural networks deep learning differentiable rendering formal verification guided modes histology image segmentation model checking neural networks point cloud ray tracing real time rendering security policy language smoothly irregular waveguide symbolic solution of differential equations symbolic solution of linear equations
Edição corrente

Nº 4 (2025)

Informações
  • Para leitores
  • Para Autores
  • Para Bibliotecários
×
Usuário
Esqueceu a senha? Cadastro
Notificações
  • Ver
  • Assinar
Conteúdo da revista
Navegar
  • Edições
  • Autores
  • por título
  • por Seção
  • Outras Revistas
  • Categorias
Assinatura Entrar no sistema para verificar sua assinatura
Palavras-chave C++ GPU cloud computing computer algebra convolutional neural networks deep learning differentiable rendering formal verification guided modes histology image segmentation model checking neural networks point cloud ray tracing real time rendering security policy language smoothly irregular waveguide symbolic solution of differential equations symbolic solution of linear equations
Edição corrente

Nº 4 (2025)

Informações
  • Para leitores
  • Para Autores
  • Para Bibliotecários
Página principal > Pesquisa > Seções

Seções

  • Articles
  • COMPUTER ALGEBRA
  • COMPUTER GRAFICS AND VISUALIZATION
  • DATA ANALYSIS
  • INFORMATION SECURITY
  • LANGUAGES, COMPILERS AND PROGRAMMING SYSTEMS
  • PARALLEL AND DISTRIBUTED SOFTWARE
  • SOFTWARE ENGINEERING, TESTING AND VERIFICATION OF PROGRAMS
  • THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS
  • THEORETICAL ISSUES IN PROGRAMMING
  • АНАЛИЗ И ТРАНСФОРМАЦИЯ ПРОГРАММ
  • БАЗЫ ДАННЫХ, ХРАНИЛИЩА ДАННЫХ
  • ИНФОРМАЦИОННЫЙ ПОИСК
  • ОПЕРАЦИОННЫЕ СИСТЕМЫ

1 - 14 de 14 resultados    
 

 

Developed by ECO-VECTOR

 

Powered by EVESYST

TOP