Zoeken

U zocht naar: Auteur Dubois, Catherine. Filter Auteur: Dubois, Catherine. weghalen Fulltext online Filter Fulltext: online weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
thumbnail
Full text!
Auteur:
Dubois, Catherine.; Kerber, Manfred
Uitgever:
Cham Springer 2023
Type:
e-book
2. Tests and Proofs
thumbnail
Full text!
Auteur:
Dubois, Catherine; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
3. Formal Methods Teaching
thumbnail
Full text!
Auteur:
Catherine Dubois, Pierluigi San Pietro; San Pietro, Pierluigi
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book