[ 1 ].

Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems

Penulis	:	André Greiner-Petter
Jenis	:	buku
Tahun	:	2023-04-13
Bahasa	:	inggris
Penerbit	:	Springer Vieweg

---

[ 2 ].

Security in Computer and Information Sciences

Penulis	:	Erol Gelenbe, Marija Jankovic, Dionysios Kehagias, Anna Marton, Andras Vilmos
Jenis	:	buku
Tahun	:	2022-09-05
Bahasa	:	inggris
Penerbit	:	Springer

---

[ 3 ].

Computer Aided Verification :34th International Conference, CAV 2022 Haifa, Israel, August 7–10, 2022 Proceedings, Part I

Penulis	:	Sharon Shoham, Yakir Vizel
Jenis	:	buku
Tahun	:	2022-10-11
Bahasa	:	inggris
Penerbit	:	Springer

---

[ 4 ].

Computer Aided Verification : 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part II

Penulis	:	Constantin Enea · Akash Lal
Jenis	:	buku
Tahun	:	2023-02-07
Bahasa	:	inggris
Penerbit	:	Springer

---

[ 5 ].

Computer Aided Verification 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part I

Penulis	:	Constantin Enea, Akash Lal
Jenis	:	buku
Tahun	:	2023-10-11
Bahasa	:	inggris
Penerbit	:	Springer

---

[ 6 ].

Computer Aided Verification : 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part III

Penulis	:	Constantin Enea, Akash Lal
Jenis	:	buku
Tahun	:	2023-07-11
Bahasa	:	inggris
Penerbit	:	Springer

---

[ 7 ].

Computer Aided Verification : 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I

Penulis	:	Alexandra Silva, K. Rustan M. Leino
Jenis	:	buku
Tahun	:	2021-06-29
Bahasa	:	inggris
Penerbit	:	Springer

---

[ 8 ].

Cybersecurity Public Sector Threats and Responses

Penulis	:	Kim Andreasson
Jenis	:	buku
Tahun	:	2012-06-27
Bahasa	:	inggris
Penerbit	:	CRC

---

[ 9 ].

Digital literacies

Penulis	:	Julia Gillen
Jenis	:	buku
Tahun	:	2014-11-13
Bahasa	:	inggris
Penerbit	:	Routledge

---

[ 10 ].

What Every JavaScript Developer Should Know About ECMAScript 2015

Penulis	:	Scott Allen
Jenis	:	buku
Tahun	:	2017-05-16
Bahasa	:	inggris
Penerbit	:	OdeToCode LLC

---

[ 11 ].

Programming: 5 Books in 1: Learn Python, JavaScript, C++, C#, and SQL Quickly

Penulis	:	Code Quickly
Jenis	:	buku
Tahun	:	2021-04-13
Bahasa	:	inggris
Penerbit	:	s.n.

---

[ 12 ].

Practice CS Concepts with Scratch: Create exciting games and animation in Scratch and practice Computer Science principles

Penulis	:	Abhay B. Joshi
Jenis	:	buku
Tahun	:	2019-06-01
Bahasa	:	inggris
Penerbit	:	SPARK Institute and Publications

---

[ 13 ].

N O D E .J S : Build Web APIs and Applications with Node.js 2 nd ed

Penulis	:	Rufus Stewart
Jenis	:	buku
Tahun	:	2020-10-17
Bahasa	:	inggris
Penerbit	:	Independently Published

---

[ 14 ].

Learn Bootstrap: The Collection

Penulis	:	Maria Antonietta Perna
Jenis	:	buku
Tahun	:	2018-03-14
Bahasa	:	inggris
Penerbit	:	SitePoint Pty

---

[ 15 ].

JavaScript for impatient programmers : (ES2020 edition)

Penulis	:	Axel Rauschmayer
Jenis	:	buku
Tahun	:	2020-07-14
Bahasa	:	indonesia
Penerbit	:	Self-publishing

---

[ 16 ].

HTML5 Made Easy :A Beginners Handbook to Easily Learn HTML5

Penulis	:	Magige Robi
Jenis	:	buku
Tahun	:	2021-05-24
Bahasa	:	inggris
Penerbit	:	s.n.

---

[ 17 ].

HTML5 Canvas Made Easy : A Beginners Handbook to Easily Learn HTML5 Canvas

Penulis	:	Magige Robi
Jenis	:	buku
Tahun	:	2021-04-15
Bahasa	:	inggris
Penerbit	:	s.n.

---

[ 18 ].

Computer Programming JavaScript, Python, HTML, SQL, CSS : the step by step guide for beginners to intermediate Including Some black hat hacking Tips

Penulis	:	William Alvin Newton, Steven Webber
Jenis	:	buku
Tahun	:	2019-07-23
Bahasa	:	inggris
Penerbit	:	s.n.

---

[ 19 ].

Anyone can code : the art and science of logical creativity

Penulis	:	Ali Arya
Jenis	:	buku
Tahun	:	2021-02-18
Bahasa	:	inggris
Penerbit	:	CRC Press

---

[ 20 ].

Mathematics for computer graphics

Penulis	:	John Vince
Jenis	:	buku
Tahun	:	2017-04-13
Bahasa	:	inggris
Penerbit	:	Springer

---

.

• 1
• 2