Bridging Formal and Conceptual Semantics : Selected papers of BRIDGE-14
	Tác giả: Kata Balogh, Kata Balogh, Wiebke Petersen, Wiebke Petersen
	Xuất bản: Barleben: De Gruyter, 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  410  Thêm vào giỏ

Advances in Proof-Theoretic Semantics
	Tác giả: Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
	Xuất bản: Cham: Springer Nature, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

UML 2 semantics and applications [electronic resource]
	Tác giả: K Lano
	Xuất bản: Hoboken NJ: John Wiley Sons, 2009
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
	Tác giả: Joachim Breitner
	Xuất bản: Karlsruhe: KIT Scientific Publishing, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004  Thêm vào giỏ

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
	Tác giả: Daniel Wasserrab
	Xuất bản: Karlsruhe: KIT Scientific Publishing, 2011
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.12028  Thêm vào giỏ

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European J...
	Tác giả: Alessandra Russo, Andy Schürr
	Xuất bản: Cham Switzerland: Springer Nature, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
	Tác giả: Andreas Lochbihler
	Xuất bản: Karlsruhe: KIT Scientific Publishing, 2012
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

Artificial Intelligence for Multisource Geospatial Information
	Tác giả: Gloria Bordogna, Gloria Bordogna, Cristiano Fugazza, Cristiano Fugazza
	Xuất bản: Basel: MDPI Multidisciplinary Digital Publishing Institute, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Sémantique formelle: Volume 1
	Tác giả: Laurent Roussarie
	Xuất bản: Berlin Germany: Language Science Press, 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: Cham: Springer, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.8  Thêm vào giỏ