informatika@upgris.ac.id (024) 8316377
Informatika UPGRIS Universitas PGRI Semarang
Event Mendatang Lihat semua
Tidak ada event dalam waktu dekat.
PMB
  1. Beranda
  2. Akademik
  3. E-Book
Perpustakaan Digital

Koleksi E-Book & Modul

Temukan berbagai modul pembelajaran, jurnal, dan referensi elektronik Informatika UPGRIS secara interaktif.

Rekomendasi

Paling Banyak Dibaca

2025 Responsible AI In Practice (Toju Duke, Paolo Giudici) E-Book
BACA BUKU

2025 Responsible AI In Practice (Toju Duke, Paolo Giudici)

20 Jun 2026
18:30 WIB
2,518 views
2024 Business Intelligence, Analytics, Data Science, And AI A Managerial Perspective (Ramesh Sharda Dursun Delen Efraim Turban) E-Book
BACA BUKU

2024 Business Intelligence, Analytics, Data Science, And AI A Managerial Perspective (Ramesh Sharda Dursun Delen Efraim Turban)

20 Jun 2026
18:29 WIB
475 views
2024 Computer Security Principles And Practice 5th Edition (William Stallings Lawrie Brown) E-Book
BACA BUKU

2024 Computer Security Principles And Practice 5th Edition (William Stallings Lawrie Brown)

20 Jun 2026
18:29 WIB
310 views
2025 Enhancing LLM Performance Efficacy, Fine Tuning, And Inference Techniques (Peyman Passban, Andy Way Etc.) E-Book
BACA BUKU

2025 Enhancing LLM Performance Efficacy, Fine Tuning, And Inference Techniques (Peyman Passban, Andy Way Etc.)

20 Jun 2026
18:30 WIB
248 views

E-Book & Modul

Semua Koleksi

2018 Interactive Theorem Proving (Jeremy Avigad, Assia Mahboubi) E-Book
BACA BUKU

2018 Interactive Theorem Proving (Jeremy Avigad, Assia Mahboubi)

20 Jun 2026
18:29 WIB
127 views
2018 Book Of Proof (Richard Hammack) E-Book
BACA BUKU

2018 Book Of Proof (Richard Hammack)

20 Jun 2026
18:29 WIB
104 views
2014 Understanding Mathematical Proof (John Taylor, Rowan Garnier) E-Book
BACA BUKU

2014 Understanding Mathematical Proof (John Taylor, Rowan Garnier)

20 Jun 2026
18:29 WIB
106 views
2010 Conditional And Preferential Logics Proof Methods And Theorem Proving (G.L. Pozzato) E-Book
BACA BUKU

2010 Conditional And Preferential Logics Proof Methods And Theorem Proving (G.L. Pozzato)

20 Jun 2026
18:29 WIB
145 views
2004 Examples And Theorems In Analysis (Walker, P. L. (Peter Leslie), 1942 ) E-Book
BACA BUKU

2004 Examples And Theorems In Analysis (Walker, P. L. (Peter Leslie), 1942 )

20 Jun 2026
18:29 WIB
112 views
2001 Automated Theorem Proving In Software Engineering (Dr. Johann M. Schumann (auth.)) E-Book
BACA BUKU

2001 Automated Theorem Proving In Software Engineering (Dr. Johann M. Schumann (auth.))

20 Jun 2026
18:29 WIB
114 views
1998 Problems And Theorems In Analysis (George Pólya Gábor Szegő) E-Book
BACA BUKU

1998 Problems And Theorems In Analysis (George Pólya Gábor Szegő)

20 Jun 2026
18:29 WIB
109 views
1978 Automated Theorem Proving. A Logical Basis (D. W. Loveland (Auth.)) E-Book
BACA BUKU

1978 Automated Theorem Proving. A Logical Basis (D. W. Loveland (Auth.))

20 Jun 2026
18:28 WIB
108 views
Roadmap LLM Engineer E-Book
BACA BUKU

Roadmap LLM Engineer

20 Jun 2026
18:12 WIB
114 views
Klasifikasi Dan Keanekaragaman Makhluk Hidup (IPA SMP) E-Book
BACA BUKU

Klasifikasi Dan Keanekaragaman Makhluk Hidup (IPA SMP)

20 Jun 2026
18:12 WIB
107 views
Bridge Iss2 26 Dl E-Book
BACA BUKU

Bridge Iss2 26 Dl

20 Jun 2026
18:12 WIB
113 views
2027 Skills For AI Agents (for Memsa Memsa) (Lucas B. Nicolosi Soares) E-Book
BACA BUKU

2027 Skills For AI Agents (for Memsa Memsa) (Lucas B. Nicolosi Soares)

20 Jun 2026
18:11 WIB
124 views