Alberto Pettorossi

Information: science and technology for the new century

Sequential and concurrent programming in Java

Elements of computability, decidability, and complexity

Automata theory and formal languages

Techniques for searching, parsing, and matching

Semantics of programming languages

Semantics of programming languages. Ediz. italiana

Automata tehory and formal languages

Automata theory and formal languages

Techniques for searching, parsing, and matching

Elements of computability, decidability, and complexity

Elements of concurrent programming

Semantics of programming languages

Elements of computability, decidability, and complexity

Quaderni di informatica 1

Quaderni di informatica. Vol. 2

Learning Pascal through examples. Una raccolta di programmi Pascal

Theory of computation. Vol. 3

Theory of computation. Vol. 4

Programming in C++

Elements of concurrent programming