Search Results for Programming Techniques.

18 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Concepts, techniques, and models of computer programming

Yazar

Van-Roy, Peter, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353

Format:

Electronic Resources

Alıntı:

Concepts, techniques, and models of computer programming / Van-Roy, Peter, author.

Logic programming : proceedings of the Tenth International Conference on Logic Programming

Yazar

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525

Format:

Electronic Resources

Alıntı:

Logic programming : proceedings of the Tenth International Conference on Logic Programming /

Inductive logic programming : from machine learning to software engineering

Yazar

Bergadano, Francesco, 1963-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819

Format:

Electronic Resources

Alıntı:

Inductive logic programming : from machine learning to software engineering / Bergadano, Francesco

Artificial intelligence and learning environments

Yazar

Clancey, William J.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267473

Format:

Electronic Resources

Alıntı:

explore cognitively oriented empirical trials that use AI programming as a modeling methodology and that

The elements of computing systems : building a modern computer from first principles

Yazar

Nisan, Noam, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276865

Format:

Electronic Resources

Alıntı:

knowledge of hardware architecture, operating systems, programming languages, compilers, data structures

Generating language-based environments

Yazar

Reps, Thomas W., (Thomas William) author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers) -- Semantics.

Scalable input/output : achieving system balance

Yazar

Reed, Daniel A. (Daniel Allen), 1957-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267463

Format:

Electronic Resources

Alıntı:

contributors explore techniques for I/O optimization, including: I/O characterization to understand application

Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995

Yazar

Sterling, Leon S., editor.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523

Format:

Electronic Resources

Alıntı:

Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / Sterling

A small matter of programming : perspectives on end user computing

Yazar

Nardi, Bonnie A., author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418

Format:

Electronic Resources

Alıntı:

A small matter of programming : perspectives on end user computing / Nardi, Bonnie A., author.

10.

Lazy functional languages : abstract interpretation and compilation

Yazar

Burn, Geoffrey, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234

Format:

Electronic Resources

Alıntı:

Functional programming languages.

11.

Warren's abstract machine : a tutorial reconstruction

Yazar

Aït-Kaci, Hassan, 1954-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208

Format:

Electronic Resources

Alıntı:

Logic programming.

12.

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

Yazar

Chlipala, Adam, 1981-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486

Format:

Electronic Resources

Alıntı:

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /

	{displayName}	{count}
{error}