Pettorossi, Alberto books & textbook
Techniques for Searching, Parsing, and Matching
Springer /2023-01-05 Paperback / 320 Pages
isbn-10: 3030631915 / isbn-13: 9783030631918
Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques (Undergraduate Topics in Computer Science)
Springer /2022-08-13 Paperback / 288 Pages
isbn-10: 3031119649 / isbn-13: 9783031119644
Automatic Program Development: A Tribute to Robert Paige
Danvy, Olivier Henglein, Fritz Mairson, Harry Pettorossi, Alberto
Springer /2010-10-19 Paperback / 286 Pages
isbn-10: 9048176743 / isbn-13: 9789048176748
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649)
Springer /1992-12-02 Paperback / 363 Pages
isbn-10: 3540562826 / isbn-13: 9783540562825
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science, 2372)
Springer /2002-07-17 Paperback / 280 Pages
isbn-10: 3540439153 / isbn-13: 9783540439158
Problems in Mathematical Biophysics: A Volume in Memory of Alberto Gandolfi (SEMA SIMAI Springer Series, 38)
d'Onofrio, Alberto Fasano, Antonio Papa, Federico Sinisgalli, Carmela Bertuzzi, Alessandro Pettorossi, Alberto Gandolfi, Riccardo
Springer /2024-08-10 Hardcover / 304 Pages
isbn-10: 3031607724 / isbn-13: 9783031607721
