Search Results for Engineering.

Structure and interpretation of computer programs

Yazar

Abelson, Harold, author.

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

Format:

Electronic Resources

Alıntı:

Mit electrical engineering and computer science

Press on : principles of interaction programming

Yazar

Thimbleby, Harold, author.

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

Format:

Electronic Resources

Alıntı:

COMPUTERS / Software Development & Engineering / General.

The computer boys take over : computers, programmers, and the politics of technical expertise

Yazar

Ensmenger, Nathan, 1972-

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

Format:

Electronic Resources

Alıntı:

Software engineering -- History.

Automatic algorithm recognition and replacement : a new approach to program optimization

Yazar

Metzger, Robert C., author.

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

Format:

Electronic Resources

Alıntı:

COMPUTERS -- Software Development & Engineering -- General.

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ı:

COMPUTERS -- Software Development & Engineering -- General.

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ı:

This book addresses a fundamental software engineering issue, applying formal techniques and

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ı:

adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing

	{displayName}	{count}
{error}