Ihre Suche ergab 577 Treffer.
Transforming the IT Services Lifecycle with AI Technologies
Produktform: E-Buch Text Elektronisches Buch in proprietärem
58,84 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Diagrammatic Representation and Inference
9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This book proposes a new way of formalizing in logic and mathematics – a “pyramidal graph system,” devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema.
117,69 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tools and Algorithms for the Construction and Analysis of Systems
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis
First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
HIV Interactions with Dendritic Cells
Infection and Immunity
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This book synthesizes rapid progress of research and advanced techniques the study of HIV interactions with host cells and factors. The editors summarize the current literature, and offer critical analysis and an appraisal of future directions in research.
149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Bioinformatics Research and Applications
9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Biomarker Discovery
First MICCAI Workshop, AIIIMA 2022, and First MICCAI Workshop, MIABID 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18 and 22, 2022, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
58,84 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Artificial Intelligence over Infrared Images for Medical Applications
Second International Workshop held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 2, 2023.da, October 2, 2023, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage