bib.howest.be Zoekresultaten

U zocht naar: Auteur Hanus

1 - 10 van 10

1. Declarative Programming and Knowledge Management

Auteur:: Seipel; Michael Hanus; Salvador Abreu; Abreu, Salvador; Hanus, Michael
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

Auteur:: Hanus, Michael.; Igarashi, Atsushi
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

3. Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Auteur:: Hanus, Michael.; Inclezan, Daniela
Uitgever:: Cham Springer 2023
Type:: e-book

4. Functional and Constraint Logic Programming

Auteur:: Michael Hanus; Sacerdoti Coen, Claudio
Uitgever:: Springer International Publishing 2021
Type:: e-book

5. Methods and Techniques of Signal Processing in Physical Measurements

Auteur:: Hanus; Kreischer, Christian; Mazur, Damian
Uitgever:: Springer International Publishing 2019
Type:: e-book

6. Declarative Programming and Knowledge Management

Auteur:: Michael Hanus, Ricardo Rocha; Rocha, Ricardo
Uitgever:: Springer International Publishing 2014
Type:: e-book

7. Logic-Based Program Synthesis and Transformation

Auteur:: Hanus, Michael; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

8. Applications of Declarative Programming and Knowledge Management

Auteur:: Seipel, Dietmar; Hanus, Michael; Kanade, Takeo; Wolf, Armin
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

9. Applications of Declarative Programming and Knowledge Management

Auteur:: Kanade, Takeo; Seipel, Dietmar; Geske, Ulrich; Hanus, Michael; Bartenstein, Oskar
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

10. Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

Auteur:: Hanus, Michael; Association for Computing Machinery-Digital Library.; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book