Dynamics of Adversarial Attacks on Large Language Model-Based Search Engines
	Tác giả: Xiyang Hu
	Xuất bản: , 2025
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  372.46  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	Xuất bản: Cham, Switzerland: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

International Journal of Computing and Digital Systems
	Tác giả:
	Xuất bản: University of Bahrain , 2020
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Introduction to Scientific Programming with Python
	Tác giả: Joakim Sundnes
	Xuất bản: Cham, Switzerland: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.133  Thêm vào giỏ

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
	Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

International Symposium on Mathematics, Quantum Theory, and Cryptography : Proceedings of MQC 2019
	Tác giả: Tsuyoshi Takagi, Yasuhiko Ikematsu, Yasuhiko Ikematsu, Kazufumi Kimoto, Kazufumi Kimoto, Noboru Kunihiro, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Keisuke Tanaka, Masato Wakayama, Masato Wakayama
	Xuất bản: Singapore: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg
	Tác giả: Esther Guerra, Esther Guerra, Mariëlle Stoelinga, Mariëlle Stoelinga
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Mathematical Aspects of Logic Programming Semantics
	Tác giả: Pascal Hitzler, Anthony Seda
	Xuất bản: Boca Raton, FL: Taylor & Francis , 2011
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
	Xuất bản: Cham, Switzerland: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ