Program analysis probably counts /

Mã QR

Program analysis probably counts /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Pierro, Alessandra Di.
Tác giả khác:	Hankin, Chris., Wiklicky, Herbert.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Abstract interpretation Program analysis Semantics
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Sémantique interprétative
Bỡi: Francois Rastier
Được phát hành: (1987)

Programming the Semantic Web
Bỡi: Segaran, Toby
Được phát hành: (2009)

Diophantine analysis
Bỡi: Steuding, Jorn
Được phát hành: (2005)

Semantic analysis :
Bỡi: Goddard, Cliff
Được phát hành: (1998)

An abstract interpretation approach for enhancing the java bytecode verifier /
Bỡi: Barbuti, Roberto.

Semantics
Bỡi: Kearns, Kate
Được phát hành: (2011)

Semantic analysis
Bỡi: Goddard, Cliff
Được phát hành: (2011)

Numerical Analysis for Scientists and Engineers : Theory and C Programs ( Sách photocoppy) /
Bỡi: Pal Madhumangal
Được phát hành: (2007)

Semantic analysis of field sports video using a petri-net of audio-visual concepts /

Real analysis and probability /
Bỡi: Dudley, R. M.
Được phát hành: (2002)

The beginnings of semantics
Bỡi: Bréal, Michel
Được phát hành: (1991)

Cimmyt's maize program presentation week - September 7-11,1981
Được phát hành: (1981)

Quantum Probability and Infinite Dimensional Analysis /
Được phát hành: (2003)

Ngữ nghĩa học dẫn luận
Bỡi: Lyons, John
Được phát hành: (2006)

Semantics: A coursebook
Bỡi: James R Hurford
Được phát hành: (1995)

Understanding semantics /
Bỡi: Lobner, Sebastian
Được phát hành: (2002)

Semantic theory
Bỡi: Ruth M Kempson
Được phát hành: (1996)

Probability and computing : an introduction to randomized algorithms and probabilistic analysis /
Bỡi: Mitzenmacher, Michael, 1969-
Được phát hành: (2005)

COVASIAM : An image analysis method that allows detection of confluent microbial colonies and colonies of various sizes for automated counting /

Quantum probability and infinite dimensional analysis : from foundations to applications.
Được phát hành: (2005)

Quantum probability and infinite dimensional analysis :
Được phát hành: (2005)

Hart's postscript
Bỡi: Coleman, Jules
Được phát hành: (2001)

Foundations of Semantic Web technologies
Bỡi: Hitzler, Pascal
Được phát hành: (2010)

Words in time : Diachronic semantics from different points of view : review /
Bỡi: Geeraerts, Dirk.

Toán học rời rạc và những ứng dụng trong tin học
Bỡi: Rosen, Kenneth H.
Được phát hành: (2002)

Employers’ requirements for bachelor graduates of English translation and Interpretation program: A case in the Mekong Delta of Vietnam :
Bỡi: Trần, Thị Diễm My
Được phát hành: (2019)

Introduction to scientific computation and programming
Bỡi: Kaplan, Daniel T.
Được phát hành: (2004)

Technical analysis and applications with MATLAB
Bỡi: Stanley, William D.
Được phát hành: (2005)

Logics of conversation
Bỡi: Asher, Nicholas
Được phát hành: (2003)

Chemical problem-solving by dimensional analysis : a self-instructional program /
Bỡi: Loebel, Arnold B.
Được phát hành: (1978)

Slicing execution with partial weakest precondition for model abstraction of C programs /
Bỡi: Yang, Xuejun.

Proceeding of the conference quantum probability and infinite dimensional analysis :
Được phát hành: (2003)

Frege on definitions
Bỡi: Horty, John
Được phát hành: (2007)

The meanings of risk : A view from corpus linguistics /
Bỡi: Hamilton, Craig.

Semantic interpretation and the resolution of ambiguity
Bỡi: Graeme Hist
Được phát hành: (1987)

Dẫn luận ngữ nghĩa
Bỡi: Vũ, Thị Ngân
Được phát hành: (2004)

Bài giảng ngữ nghĩa học
Bỡi: Nguyễn, Thị Việt Anh
Được phát hành: (2002)

Language in thought and action
Bỡi: Hayakawa, S. I.
Được phát hành: (1940)

Dẫn luận ngữ nghĩa
Bỡi: Vũ, Thị Ngân
Được phát hành: (2004)

Introduction to probability models : operations research.
Bỡi: Winston, Wayne L.
Được phát hành: (2004)