Search Results for Software engineering.

26 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

13.

Perspectives on free and open source software

Yazar

Feller, Joseph, 1972-, dt.

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

Format:

Electronic Resources

Alıntı:

Perspectives on free and open source software / Feller, Joseph, 1972-, dt.

14.

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

15.

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

16.

Engineering a safer world : systems thinking applied to safety

Yazar

Leveson, Nancy, author.

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

Format:

Electronic Resources

Alıntı:

Engineering a safer world : systems thinking applied to safety / Leveson, Nancy, author.

17.

Beowulf cluster computing with Linux

Yazar

Sterling, Thomas Lawrence.

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

Format:

Electronic Resources

Alıntı:

Scientific and engineering computation series

18.

Beowulf cluster computing with Windows

Yazar

Sterling, Thomas Lawrence.

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

Format:

Electronic Resources

Alıntı:

Scientific and engineering computation series

19.

Enabling technologies for Petaflops computing

Yazar

Sterling, Thomas Lawrence, author.

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

Format:

Electronic Resources

Alıntı:

Scientific and engineering computation series

20.

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

: Evolution of Systems Building Expertise (Ramesh S. Patil). Artificial Intelligence and Software Engineering

21.

I am error : the Nintendo family computer/entertainment system platform

Yazar

Altice, Nathan, author.

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

Format:

Electronic Resources

Alıntı:

programming and engineering, its expressive affordances, and its cultural significance.Nintendo games were

22.

Finite state machines in hardware : theory and design (with VHDL and SystemVerilog)

Yazar

Pedroni, Volnei A., author.

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

Format:

Electronic Resources

Alıntı:

. Designing a state machine in hardware is more complex than designing it in software. Although interest in

23.

Computers and design in context

Yazar

Kyng, Morten, 1950-

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

Format:

Electronic Resources

Alıntı:

interaction (HCI), and software engineering, as well as social science disciplines concerned with the design

24.

Internet success : a study of open-source software commons

Yazar

Schweik, Charles M., 1961-

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

Format:

Electronic Resources

Alıntı:

Internet success : a study of open-source software commons / Schweik, Charles M., 1961-

	{displayName}	{count}
{error}