Search Results for Calculus.

1.

Foundations of object-oriented languages : types and semantics

Yazar

Bruce, Kim B., author.

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

Format:

Electronic Resources

Alıntı:

lambda calculus, it presents a prototypical object-oriented language, SOOL, with a simple type system

2.

Types and programming languages

Yazar

Pierce, Benjamin C., author.

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

Format:

Electronic Resources

Alıntı:

the material.The core topics include the untyped lambda-calculus, simple type systems, type

3.

Dynamic logic

Yazar

Harel, David, 1950-

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

Format:

Electronic Resources

Alıntı:

blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra

4.

Knowledge representation

Yazar

Brachman, Ronald J., 1949-

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

Format:

Electronic Resources

Alıntı:

the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint

5.

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

Denotational Semantics of the Typed Lambda Calculus. A Framework for the Abstract Interpretation of Functional

6.

Analytical methods for dynamics modelers

Yazar

Rahmandad, Hazhir.

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

Format:

Electronic Resources

Alıntı:

in college-level calculus and statistics. Each chapter describes a key method, presenting an

7.

Quantum computing without magic : devices

Yazar

Meglicki, Zdzislaw, 1953-

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

Format:

Electronic Resources

Alıntı:

which it is so often cloaked. Quantum Computing without Magic covers the essential probability calculus

8.

Introduction to fluid mechanics

Yazar

Fay, James A., author.

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

Format:

Electronic Resources

Alıntı:

through use of the theorems of vector calculus. This saves considerable time and enables the student to

9.

Decision making under uncertainty : theory and application

Yazar

Kochenderfer, Mykel J., 1980-

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

Format:

Electronic Resources

Alıntı:

and calculus. It can be used as a text for advanced undergraduate and graduate students in fields

10.

Introduction to machine learning

Yazar

Ethem Alpaydın., author.

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

Format:

Electronic Resources

Alıntı:

programming, probability, calculus, and linear algebra. It will also be of interest to engineers in the field

11.

Flight vehicle aerodynamics

Yazar

Drela, Mark, author.

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

Format:

Electronic Resources

Alıntı:

vector calculus, has had some exposure to basic fluid dynamics and aerodynamics, and is somewhat familiar

	{displayName}	{count}
{error}