Search Results for Programming Techniques.

4 sonuç bulundu

Tümünü Seç

0000DEFAULTTR

Yazar

Stump, Aaron., author.

Format:

Electronic Resources

Alıntı:

Verified functional programming in Agda / Stump, Aaron., author.

Yazar

Stump, Aaron., author.

Format:

Electronic Resources

Alıntı:

Verified functional programming in Agda / Stump, Aaron., author.

Yazar

Kifer, M. (Michael), 1954-, editor, author.

Abstract with links to full text http://dx.doi.org/10.1145/3191315

Format:

Electronic Resources

Alıntı:

Declarative logic programming : theory, systems, and applications / Kifer, M. (Michael), 1954

Yazar

Shun, Julian, author.

Abstract with links to full text http://dx.doi.org/10.1145/3018787

Format:

Electronic Resources

Alıntı:

Parallel programming (Computer science)

Tümünü Seç

4 sonuç bulundu

	{displayName}	{count}
{error}