Kutubxona
Bosh sahifaKatalogVideolarBlogHaqidaQo'llanmaUnilibrary
Kutubxona

Oriental Universitetining elektron kutubxona platformasi. Barcha fanlar bo'yicha kitoblar bir joyda.

Sahifalar

Bosh sahifaKatalogBlogHaqidaQo'llanmaLitsenziyalarKirishRo'yxatdan o'tish

Bog'lanish

info@orientaluniversity.uz
+998 78 113 76 86
@oriental_kutubxona

© 2026 Oriental Universiteti. Barcha huquqlar himoyalangan.

Katalog

25570 ta kitob topildi

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline

George Koomullil

PDF1.3 MB
Matematika va axborot texnologiyalari
00100 bet
O'qish

Making TransactionIsolation Checking Practical

Jian Zhang, Shuai Mu, Cheng Tan

PDF832.3 KB
Matematika va axborot texnologiyalari
0018 bet
O'qish
Transcendence In Guage Fields A Novel Constructive Proof Of The Yang Mills Mass Gap

Transcendence In Guage Fields A Novel Constructive Proof Of The Yang Mills Mass Gap

Tybrell Thomas

PDF283.4 KB
Matematika va axborot texnologiyalari
0031 bet
O'qish
Machine learning in detecting and interpreting business incubator success data and datasets

Machine learning in detecting and interpreting business incubator success data and datasets

Mochammad Haldi Widianto, Puji Prabowo

PDF785.3 KB
Matematika va axborot texnologiyalari
0011 bet
O'qish

Investigation of cardinality classification for bacterial colony counting using explainable artificial intelligence

Minghua Zheng, Na Helian, Peter C. R. Lane, Yi Sun, Allen Donald

PDF16.4 MB
Matematika va axborot texnologiyalari
0054 bet
O'qish

Trusted-Execution Environment (TEE) for Solving the Replication Crisis in Academia

Jiasun Li, Project Team

PDF384.9 KB
Matematika va axborot texnologiyalari
0034 bet
O'qish

Bhakti: A Lightweight Vector Database Management System for Endowing Large Language Models with Semantic Search Capabilities and Memory

Zihao Wu

PDF620.3 KB
Matematika va axborot texnologiyalari
0017 bet
O'qish

OpenAI for OpenAPI: Automated generation of REST API specification via LLMs

Hao Chen, Yunchun Li, Chen Chen, Fengxu Lin, Wei Li

PDF516 KB
Matematika va axborot texnologiyalari
0018 bet
O'qish

Explicit Factorization of $x^{p+1}-1$ over $\mathbb{Z}_{p^e}$: A Structural Approach via Dickson Polynomials

Yongchao Wang, Yang Ding, Jiansheng Yang, Zhiqiu Huang

PDF620.8 KB
Matematika va axborot texnologiyalari
0020 bet
O'qish
Examine The Spatial Distribution Of Barrier Free Facilities In Community Halls Or Centers Across Hong Kong And Assess Their Accessibility

Examine The Spatial Distribution Of Barrier Free Facilities In Community Halls Or Centers Across Hong Kong And Assess Their Accessibility

Yourfee Kennedy

PDF1.5 MB
Matematika va axborot texnologiyalari
0012 bet
O'qish
The Torsional Key Gravity, Memory, And Coherence Beyond Current Models

The Torsional Key Gravity, Memory, And Coherence Beyond Current Models

Aria Mariello & Marco Mariello

PDF378.6 KB
Matematika va axborot texnologiyalari
0088 bet
O'qish
Tailoring AES for resource-constrained IoT devices

Tailoring AES for resource-constrained IoT devices

Shaimaa S. Saleh, Amr A. Al-Awamry, Ahmed Taha

PDF703.4 KB
Matematika va axborot texnologiyalari
0012 bet
O'qish
1234567