skip to main content
Resultados 1 2 3 4 5 next page
Mostrar solo
Refinado por: fecha de publicación: Después de 2018 eliminar idioma: Ruso eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer science, Mathematics and Logic in the aspect of interdisciplinary and metasubject educational communication
Material Type:
Artículo
Añadir a Mi Portal

Computer science, Mathematics and Logic in the aspect of interdisciplinary and metasubject educational communication

Abdurazakov, Magomed Musaevich ; Lyaginova, Olga Yuiryevna ; Tsvetkova, Olga Nikolaevna

Chebyshevskii sbornik, 2021, Vol.22 (2), p.373-388 [Revista revisada por pares]

Sin texto completo

2
Dynamic Separation Logic and its Use in Education
Material Type:
Artículo
Añadir a Mi Portal

Dynamic Separation Logic and its Use in Education

Evgeny Makarov

Современные информационные технологии и IT-образование, 2020-11, Vol.16 (3), p.543-550 [Revista revisada por pares]

The Fund for Promotion of Internet media, IT education, human development «League Internet Media

Texto completo disponible

3
Владимир Андреевич Успенский (27.11.1930-27.06.2018)
Material Type:
Artículo
Añadir a Mi Portal

Владимир Андреевич Успенский (27.11.1930-27.06.2018)

Adian, Sergei Ivanovich ; Andreev, Nikolai Nikolaevich ; Beklemishev, Lev Dmitrievich ; Goncharov, Sergey Savostyanovich ; Ershov, Yurii Leonidovich ; Matiyasevich, Yuri Vladimirovich ; Osipov, Yurii Sergeevich ; Pentus, Mati Reinovich ; Plungyan, Vladimir Alexandrovich ; Rahilina, Ekaterina Vladimirovna ; Sadovnichii, Victor Antonovich ; Semenov, Aleksei Lvovich ; Tatevosov, Sergey Georgievich ; Tikhomirov, Vladimir Mikhailovich ; Shen', Alexander Khanievich

Russian mathematical surveys, 2019-07, Vol.74 (4(448)), p.165-180 [Revista revisada por pares]

Turpion

Texto completo disponible

4
ПРИМЕНЕНИЕ ЭЛЕМЕНТОВ ДИСКРЕТНОЙ МАТЕМАТИКИ В ОБУЧЕНИИ БУДУЩИХ УЧИТЕЛЕЙ ИНФОРМАТИКИ: USE OF DISCRETE MATHEMATICS ELEMENTS IN TRAINING OF PRE-SERVICE COMPUTER SCIENCE TEACHERS
Material Type:
Artículo
Añadir a Mi Portal

ПРИМЕНЕНИЕ ЭЛЕМЕНТОВ ДИСКРЕТНОЙ МАТЕМАТИКИ В ОБУЧЕНИИ БУДУЩИХ УЧИТЕЛЕЙ ИНФОРМАТИКИ: USE OF DISCRETE MATHEMATICS ELEMENTS IN TRAINING OF PRE-SERVICE COMPUTER SCIENCE TEACHERS

Бостанов, Б.Ғ.

BULLETIN Series Physical and Mathematical Sciences, 2023-09, Vol.79 (3(2022))

Sin texto completo

5
Fuzzy current analysis-based fault diagnostic of induction motor using hardware co-simulation with field programmable gate array
Material Type:
Artículo
Añadir a Mi Portal

Fuzzy current analysis-based fault diagnostic of induction motor using hardware co-simulation with field programmable gate array

Aib, A ; Khodja, D.E ; Chakroune, S ; Rahali, H

Electronics and electromechanics, 2023-01, Vol.2023 (6), p.3-9 [Revista revisada por pares]

Kharkiv: Department of Electrical Apparatus of National Technical University, Kharkiv Polytechnic Institute

Texto completo disponible

6
Extraction of common properties of objects for creation of a logic ontology
Material Type:
Artículo
Añadir a Mi Portal

Extraction of common properties of objects for creation of a logic ontology

Kosovskaya, Tatiana M. ; Kosovskii, Nikolai N.

Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes, 2022, Vol.18 (1), p.37-51 [Revista revisada por pares]

Sin texto completo

7
Control of Mechatronic System Based on Multilink Robot-Manipulators
Material Type:
Artículo
Añadir a Mi Portal

Control of Mechatronic System Based on Multilink Robot-Manipulators

Hurski, N. N. ; Skudnyakov, Yu. A. ; Artsiushchyk, V. S. ; Bezruchko, A. N.

Nauka i tekhnika (Minsk, Belarus : 2012), 2019-08, Vol.18 (4), p.350-354 [Revista revisada por pares]

Belarusian National Technical University

Texto completo disponible

8
A Model Theory for the Potential Infinite
Material Type:
Artículo
Añadir a Mi Portal

A Model Theory for the Potential Infinite

Eberl, Matthias

Reports on mathematical logic, 2022-01, Vol.57 (57), p.3-30 [Revista revisada por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponible

9
Research of the Finite State Machine with Programmable Logic as a Part of Digital Information and Control System Based on FPGA
Material Type:
Artículo
Añadir a Mi Portal

Research of the Finite State Machine with Programmable Logic as a Part of Digital Information and Control System Based on FPGA

Barkalov A. ; Titarenko L. ; Zeleneva I. ; Hrushko S.

Problems of the regional energetics, 2019-06, Vol.41 (1-1), p.36-45 [Revista revisada por pares]

Academy of Sciences of Moldova

Texto completo disponible

10
Non-generators in extensions of infinitary algebras
Material Type:
Artículo
Añadir a Mi Portal

Non-generators in extensions of infinitary algebras

LIPPARINI, Paolo

Reports on mathematical logic, 2022-01, Vol.57 (57), p.31-43 [Revista revisada por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponible

Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (167)
  2. Revistas arbitradas (248)

Refinar mis resultados

Tipo de Recurso 

  1. Artículos  (252)
  2. Conjunto de Datos  (9)
  3. Más opciones open sub menu

Fecha de Publicación 

De Hasta
  1. Antes de2019  (1)
  2. 2019Hasta2019  (77)
  3. 2020Hasta2020  (63)
  4. 2021Hasta2022  (89)
  5. Después de 2022  (32)
  6. Más opciones open sub menu

Idioma 

  1. Inglés  (209)
  2. Alemán  (77)
  3. Francés  (46)
  4. Czech  (28)
  5. Ucraniano  (27)
  6. Latvia  (7)
  7. Lituano  (3)
  8. Polaco  (1)
  9. Rumano  (1)
  10. Español  (1)
  11. Más opciones open sub menu

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora