Narrow your search

Library

ULiège (6)

ULB (2)

KU Leuven (1)

UAntwerpen (1)

UGent (1)


Resource type

book (7)


Language

English (5)

French (2)


Year
From To Submit

2019 (1)

1997 (1)

1989 (2)

1987 (1)

1978 (1)

More...
Listing 1 - 7 of 7
Sort by

Book
Systèmes logiques
Authors: --- ---
Year: 1967 Publisher: Paris : Dunod,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Checking experiments in sequential machines
Author:
ISBN: 0470213655 Year: 1989 Publisher: New York : Wiley,


Book
Automata and computability : a programmer's perspective
Author:
ISBN: 9781138552425 Year: 2019 Publisher: Boca Raton, FL : CRC Press/Taylor & Francis Group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"This class-tested textbook provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus. The book also shows how to sculpt automata by making the regular language conversion pipeline available through a simple command interface. A Jupyter notebook will accompany the book to feature code, YouTube videos, and other supplements to assist instructors and students" [Publisher]

Synthesis of finite state machines : logic optimization
Authors: --- --- ---
ISBN: 0792398920 Year: 1997 Publisher: Boston ; Dordrecht ; London : Kluwer Academic,

Listing 1 - 7 of 7
Sort by