Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods of Computing" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: Theories of Programming and Formal Methods, Buch

Theories of Programming and Formal Methods

Lecture Notes in Computer Science -Band 14080

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 76,66*
Artikel ist im Warenkorb
Guo-Qiang Zhang: Formal Methods for the Analysis of Biomedical Ontologies, Buch

Guo-Qiang Zhang
Formal Methods for the Analysis of Biomedical Ontologies

Synthesis Lectures on Data, Semantics, and Knowledge

The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almos…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
Valery Dugwald: Secrets of Cloud Computing, Buch

Valery Dugwald
Secrets of Cloud Computing

The first thing to mention is that cloud computing models are not owned by consumers, but rather rented or paid for as needed. Although this may appear to be a loss of control, the other points outweigh t…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 14,23*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.