| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, ... Notes in Computer Science, Band 10834) | Taschenbuch | | 978-3-030-14159-2 | 2019 | Massimo Bartoletti · Annalisa Barla · Andrea Bracciali · Gunnar W. Klau · Leif Peterson · Roberto Tagliaferri |
| Martin Davis on Computability, Computational Logic, and Mathematical Foundations | " | | 978-3-319-82443-7 | 2018 | Eugenio G. Omodeo |
| Martin Davis on Computability, Computational Logic, and Mathematical Foundations | Gebunden | | 978-3-319-41841-4 | 2017 | " |
| On Sets and Graphs: Perspectives on Logic and Combinatorics | Taschenbuch | | 978-3-319-85536-3 | 2019 | Eugenio G Omodeo · Alexandru I Tomescu |
| On Sets and Graphs: Perspectives on Logic and Combinatorics | Gebunden | | 978-3-319-54980-4 | 2017 | Eugenio G. Omodeo · Alexandru I. Tomescu |
| Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets | Hardcover | | 978-0-387-95197-3 | 2001 | Domenico Cantone · Eugenio Omodeo |