Search Results for Programming Techniques.

10 sonuç bulundu

Tümünü Seç

0000000000DEFAULTTR

Nonlinear programming : sequential unconstrained minimization techniques

Yazar

Fiacco, Anthony V.

Format:

Kitap

Alıntı:

Nonlinear programming : sequential unconstrained minimization techniques / Fiacco, Anthony V.

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 /

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

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.

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.

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.

AI in the 1980s and beyond : an MIT survey

Yazar

Grimson, William Eric Leifur.

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

Format:

Electronic Resources

Alıntı:

). KnowledgeBased Systems (Randall Davis). Expert-System Tools and Techniques (Peter Szolovits). Medical Diagnosis

The formal semantics of programming languages : an introduction

Yazar

Winskel, G., (Glynn) author.

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

Format:

Electronic Resources

Alıntı:

The formal semantics of programming languages : an introduction / Winskel, G., (Glynn) author.

Concurrent constraint programming

Yazar

Saraswat, Vijay, author.

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

Format:

Electronic Resources

Alıntı:

Concurrent constraint programming / Saraswat, Vijay, author.

10.

Performance and evaluation of Lisp systems

Yazar

Gabriel, Richard P., author.

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

Format:

Electronic Resources

Alıntı:

author, describes implementation techniques, performance tradeoffs, benchmarking techniques, and

	{displayName}	{count}
{error}