bib.howest.be Zoekresultaten

U zocht naar: Auteur Hermenegildo

1 - 8 van 8

1. Logic-Based Program Synthesis and Transformation

Auteur:: Hermenegildo; Lopez-Garcia, Pedro
Uitgever:: Springer International Publishing 2017
Type:: e-book

2. Practical Aspects of Declarative Languages

Auteur:: Hermenegildo, Manuel V.; Cabeza, Daniel; Kanade, Takeo; Hermenegildo, Manuel; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

3. Proceedings of the 9th international conference on Functional and logic programming

Auteur:: Garrigue, Jacques; Association for Computing Machinery-Digital Library.; Hermenegildo, Manuel V.; Hermenegildo, Manuel
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

4. Nanoparticles for Catalysis

Auteur:: Sergio Navalón (Ed.); Hermenegildo García (Ed.)
Uitgever:: MDPI - Multidisciplinary Digital Publishing Institute 2017
Type:: e-book

5. Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Auteur:: Hermenegildo, Manuel V.; Morales, José F.
Uitgever:: Cham Springer 2023
Type:: e-book

6. LUA : Lamp + table collection

Auteur:: Da Silva, Hermenegildo Neto; Hogeschool West-Vlaanderen.Departement Professionele Bachelors Kortrijk
Uitgever:: Kortrijk : Howest, departement professionele bachelors, 2020
Jaar:: 2020
Type:: eindwerk

7. Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Auteur:: Barthe, Gilles; Association for Computing Machinery-Digital Library.; Hermenegildo, Manuel; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

8. Prolog

Auteur:: Warren, David S.; Dahl, Veronica; Eiter, Thomas; Hermenegildo, Manuel V.; Kowalski, Robert; Rossi, Francesca
Uitgever:: Cham Springer 2023
Type:: e-book