Search Results for Logic programming.

56 Results Found

1 2 3 4 5

000000000000DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

13.

Systematic program design from clarity to efficiency

Liu, Yanhong Annie, 1965-

Click to View

Format:

Excerpt:

-oriented programming languages with different data, control, and module abstractions. Designed for courses or self

14.

Essential Mathcad for engineering, science, and math ISE

Maxfield, Brent.

ScienceDirect http://www.sciencedirect.com/science/book/9780123747839

Format:

Excerpt:

-- Selected Mathcad Functions -- Plotting -- Simple Logic Programming -- Introduction to Symbolic Calculations

15.

Apple I replica creation: back to the garage

Owad, Tom.

Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus
ScienceDirect https://www.sciencedirect.com/science/book/9781931836401

Format:

Excerpt:

Cover; Contents; Foreword; The History of the Apple 1; Tools and Materials; Digital Logic; Building

16.

Programmable controllers : an engineer's guide

Parr, E. A. (E. Andrew)

ScienceDirect http://www.sciencedirect.com/science/book/9780750657570

Format:

Excerpt:

Preface; Computers and industrial control; Programming techniques; Programming style; Analog

17.

Handbook of critical issues in goal programming

Romero, Carlos, 1946-

ScienceDirect http://www.sciencedirect.com/science/book/9780080406619

Format:

Excerpt:

Criteria Decision Making (MCDM) paradigm. GP combines the logic of optimisation in mathematical programming

18.

Computer programming and formal systems

Braffort, P. (Paul), editor.

ScienceDirect https://www.sciencedirect.com/science/book/9780444534002
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/35
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=35

Format:

Excerpt:

equations / A. Robinson -- Programming and the theory of automata / Arthur W. Burks -- Algebraic theory of

19.

Computer programming and formal systems

Braffort, P. (Paul)

ScienceDirect http://www.sciencedirect.com/science/book/9780444533913

Format:

Excerpt:

equations / A. Robinson -- Programming and the theory of automata / Arthur W. Burks -- Algebraic theory of

20.

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Zhan, Naijun. author.

http://dx.doi.org/10.1007/978-3-319-47016-0

Format:

Excerpt:

Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL Prover -- 9

21.

Programmable logic controllers

Bolton, W. (William), 1933-

ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
ScienceDirect http://www.sciencedirect.com/science/book/9780128029299

Format:

Excerpt:

technology. Ladder programming is highlighted throughout with detailed coverage of design characteristics

22.

Programming language pragmatics

Scott, Michael Lee, 1959- author.

ScienceDirect http://www.sciencedirect.com/science/book/9780123745149

Format:

Excerpt:

abstraction and object orientation -- Functional languages -- Logic languages -- Concurrency -- Scripting

23.

Multi-tier application programming with PHP : practical guide for architects and programmers

Wall, David, 1974-

ScienceDirect http://www.sciencedirect.com/science/book/9780127323503

Format:

Excerpt:

Accessor Layer; Chapter 8. Business Logic; Chapter 9. The Presentation Layer; Chapter 10. The Elsewhere

24.

Cafe : an industrial-strength algebraic formal method

Futatsugi, Kokichi.

ScienceDirect https://www.sciencedirect.com/science/book/9780444505569

Format:

Excerpt:

; Contents; Chapter 1. Building Equational Proving Tools by Reflection in Rewriting Logic; Chapter 2. CafeOBJ

	{displayName}	{count}
{error}