HASLab - Capítulos de livro
: [9]
Estatísticas
Percorrer
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-9 de um total de 9
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-9 de um total de 9
Entradas recentes
Why Adjunctions Matter—A Functional Programmer Perspective
Preface [Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops]
On infinitary equational hybrid logic
A note on reactive transitions and Reo connectors
The specification and analysis of use properties of a nuclear control system
Descobrir
Assunto
Data de publicação