Search Results for Mathematics.

39 sonuç bulundu

Tümünü Seç

1 2 3 4

000000000000DEFAULTTR

25.

The art of insight in science and engineering : mastering complexity

Yazar

Mahajan, Sanjoy, 1969-, author.

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

Format:

Electronic Resources

Alıntı:

this three-part toolchest, and without complicated mathematics, readers can estimate the flight range

26.

Algorithms unlocked

Yazar

Cormen, Thomas H., author.

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

Format:

Electronic Resources

Alıntı:

mathematical formulations translate themselves into your GPS, your laptop, or your smart phone? This book

27.

Visual reconstruction

Yazar

Blake, Andrew, 1956-

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

Format:

Electronic Resources

Alıntı:

and program yield for a variety of problems. The mathematics of weak continuity and the graduated

28.

Gaussian processes for machine learning

Yazar

Rasmussen, Carl Edward, author.

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

Format:

Electronic Resources

Alıntı:

Machine learning -- Mathematical models.

29.

The acquisition of syntactic knowledge

Yazar

Berwick, Robert C., author.

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

Format:

Electronic Resources

Alıntı:

Learning -- Mathematical models.

30.

Signals and boundaries : building blocks for complex adaptive systems

Yazar

Holland, John H. (John Henry), 1929-

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

Format:

Electronic Resources

Alıntı:

Signals and signaling -- Mathematical models.

31.

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

32.

In-depth understanding : a computer model of integrated processing for narrative comprehension

Yazar

Dyer, Michael George, author.

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

Format:

Electronic Resources

Alıntı:

Artificial intelligence -- Mathematical models.

33.

Burdens of proof : cryptographic culture and evidence law in the age of electronic documents

Yazar

Blanchette, Jean-François, author.

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

Format:

Electronic Resources

Alıntı:

signatures based on the mathematics of public-key cryptography. In the mid-1990s, cryptographic signatures

34.

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

Computer systems -- Mathematical models.

35.

Cellular automata machines : a new environment for modeling

Yazar

Toffoli, Tommaso, author.

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

Format:

Electronic Resources

Alıntı:

physics, combinatorial mathematics, and computer science that deal with systems extended in space and

36.

Systems that learn : an introduction to learning theory for cognitive and computer scientists

Yazar

Osherson, Daniel N., author.

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

Format:

Electronic Resources

Alıntı:

Human information processing -- Mathematical models.

Tümünü Seç

1 2 3 4

39 sonuç bulundu

	{displayName}	{count}
{error}