- J. Carmo, P. Gouveia, and F. M. Dionísio.
Elementos de
Matemática Discreta.
College Publications, London, 2013.
ISBN 978-1-84890-134-6.
- A. Sernadas and C. Sernadas.
Foundations
of Logic and Theory of Computation - Second Edition.
College Publications, London, 2012.
ISBN 978-1-904987-88-8.
- A. Sernadas and C. Sernadas.
Fundamentos de
Lógica e Teoria da Computação - Segunda Edição.
College Publications, London, 2012.
ISBN 978-1-84890-081-3.
- W. A. Carnielli, M. E.
Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas.
Analysis
and Synthesis of Logics - How To Cut And Paste Reasoning Systems,
volume 35 of Applied Logic.
Springer, 2008.
Get a preprint: 06-CCGGS-fibringbook.pdf
- A. Sernadas and C. Sernadas.
Foundations of Logic and Theory of Computation.
College Publications, London, 2008.
ISBN 978-1-904987-88-8.
Get a preprint: 08-SS-FLTC.pdf
- J. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition).
IST Press, 2004.
- J. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica (Introduction to
Programming in Mathematica).
IST Press, 1999.
- C. Sernadas.
Introdução à Teoria da Computação (An Introduction
to Computing Theory).
Editorial Presença, 1993.
- Ana Ferreira, Luís Barreto, Pedro Brandao,
Ricardo Correia, Susana Sargento, and Luís Antunes.
Accessing an
existing virtual electronic patient record with a secure wireless
architecture, chapter II.
Mobile Health Solutions for Biomedical Applications. IGI global, Medical
Information Science Reference, 2009.
- Ana Ferreira, Ricardo Correia, Luís Antunes, and
David Chadwick.
Security
of Electronic Medical Records, chapter III.
Handbook of Research on Distributed Medical Informatics and E-Health. IGI
global, Medical Information Science Reference, 2009.