Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Home
/
Buku
/
Buku
All | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |

Forecasting and time series analysis/ Douglas C. Montgomery
Author: Montgomery, Douglas C.; | Publisher: New York: McGraw-Hill, 1976
Call Number: 658.81 Mon f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal development of programs and proofs/edited Edger W. Dijkstra
Author: | Publisher: Reading,Mass Addison-Wesley 1990
Call Number: 005.1 For | Edition:
Find Similar Add to Favorite Open in New Tab
Formal languages and their relation to automata
Author: Hopcroft, John E.; | Publisher: Reading,Mass: Addison-Wesley, 1969
Call Number: 519.766 Hop f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal languages/ Arto Salomma
Author: Salomma, Arto; | Publisher: New York: Academi Press, 1973
Call Number: 511.3 Sal f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal logic: its scope and limits/ Richard Jeffrey
Author: Jeffrey, Richard; | Publisher: New York: McGraw-Hill, 1981
Call Number: 160 Jef f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal Methods in Artificial Intelligence
Author: Ramsay, Allan; | Publisher: NY: Cambridge University Press; 1988
Call Number: 006.3 Ram f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal methods of program verification and specification
Author: Berg, Helmut K.; | Publisher: London: Prentice Hall, 1982
Call Number: 005.3 Ber f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal methods: state of the art and new directions
Author: Boca, Paul P; | Publisher: New York: Springer, 2010
Call Number: 005.131 Boc f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal semantics of programming languages/ edited by Randall Rustin
Author: Courant, R; | Publisher: London: Prentice Hall, 1972
Call Number: 410.183 Cou f | Edition:
Find Similar Add to Favorite Open in New Tab
Formal specification and software development/ Dines Bjorner
Author: Bjorner, Dines; | Publisher: Englewood Cliffs: New Jersey, 25 cm.
Call Number: 004 Bjo f | Edition:
Find Similar Add to Favorite Open in New Tab
Latest Collection
Optimalisasi Antarmuka dan Pengalaman Pengguna Sistem Manajemen pada Bosnet Distribution Indonesia sebagai UI/UX Designer
Type: Kerja Praktek (KP)
Analisis Risiko Keamanan Siber dan Pengembangan Security Operations Center PT.SKBD
Type: Kerja Praktek (KP)
Analisis Perbandingan dan Rrekomendasi Desain Microlearning Antarplatform Pembelajaran Digital : Udemi Khan Academy dan Edx
Type: Skripsi
Analisis Faktor-faktor Penentu Penggunaan AI Secara Etis di Kalangan Mahasiswa dengan Menggunakan Teori Planned Behavior dan Health Belief Model Studi Kasus : CHATGPT
Type: Skripsi
Analisis Faktor-faktor yang Memengaruhi Niat Keberlanjutan Penggunaan Platform Quick Commerce: Studi Kasus Pengguna Astro
Type: Skripsi
Analisis Faktor Pendorong Terhadap niat Penggunaan Artificial Intelligence-Aided Design Tools: Studi Kasus Plugin AI di FIGMA
Type: Skripsi
Pengembangan Fitur Evaluasi pada MOOC dengan Metode Large Language Model
Type: Skripsi
Sistem Optical Character Recognition untuk Naskah Pegon Tulis Tangan
Type: Skripsi
Partially Reliable Video Live Streaming Based on Quicc in Mobile Platform
Type: Skripsi
Re-Enginering Webshop Into Product Line Application With Prices-IDE
Type: Skripsi
Favorite
Login
Advanced Search