Gesamtpreis (1 Artikel Artikel):
Versandziel:
meng sun (40 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (40)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (32)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (17)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: Como nuevo. : Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda.
-
Zustand: Muy bueno. : Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda.
-
HERBAL MEDICINE FOR RARE DISEASES ALLEVIATING SYMPTOMS BY GMP HERBAL FORMULATIONS (PB 2025)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Aspects of Component Software (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new.
-
Herbal Medicine for Rare Diseases: Alleviating Symptoms by GMP Herbal Formulations
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 68,01
EUR 7,46 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 910, 2024, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031712609 ISBN 13: 9783031712609
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,94
EUR 11,48 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 164 pages. 9.25x6.10x9.21 inches. In Stock.
-
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3030024490 ISBN 13: 9783030024499
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,00
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 496 pages. 9.25x6.10x0.98 inches. In Stock.
-
Database Systems for Advanced Applications
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642145884 ISBN 13: 9783642145889
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,42
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 491 pages. 9.30x6.10x1.00 inches. In Stock.
-
Electromagnetic Compatibility: Principles and Applications
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,36
EUR 11,48 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 241 pages. 9.25x6.10x0.71 inches. In Stock.
-
Database Systems for Advanced Applications
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642145884 ISBN 13: 9783642145889
Zustand: New.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Sep 2024, 2024
ISBN 10: 3031712609 ISBN 13: 9783031712609
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.
-
Formal Aspects of Component Software : 20th International Conference, FACS 2024, Milan, Italy, September 9¿10, 2024, Proceedings
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031712609 ISBN 13: 9783031712609
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 908 | Sprache: Englisch | Produktart: Bücher | This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2021. Due to the COVID-19 pandemic the conference and workshops were held online. The 104 papers were thoroughly reviewed and selected from 180 papers submited for the workshops. This two-volume set includes the proceedings of the following workshops:Workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2021)Workshop on Parallel, Distributed and Federated Learning (PDFL 2021)Workshop on Graph Embedding and Mining (GEM 2021)Workshop on Machine Learning for Irregular Time-series (ML4ITS 2021)Workshop on IoT, Edge, and Mobile for Embedded Machine Learning (ITEM 2021)Workshop on eXplainable Knowledge Discovery in Data Mining (XKDD 2021)Workshop on Bias and Fairness in AI (BIAS 2021)Workshop on Workshop on Active Inference (IWAI 2021)Workshop on Machine Learning for Cybersecurity (MLCS 2021)Workshop on Machine Learning in Software Engineering (MLiSE 2021)Workshop on MIning Data for financial applications (MIDAS 2021)Sixth Workshop on Data Science for Social Good (SoGood 2021)Workshop on Machine Learning for Pharma and Healthcare Applications (PharML 2021)Second Workshop on Evaluation and Experimental Design in Data Mining and Machine Learning (EDML 2020)Workshop on Machine Learning for Buildings Energy Management (MLBEM 2021).
-
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030024490 ISBN 13: 9783030024499
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
-
Electromagnetic Compatibility
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Singapore|Science Press|Springer, 2023
ISBN 10: 9811664544 ISBN 13: 9789811664540
Zustand: New. This book highlights principles and applications of electromagnetic compatibility (EMC). After introducing the basic concepts, research progress, standardizations and limitations of EMC, the book puts emphasis on presenting the generation mechanisms and sup.
-
Cognitive Systems and Information Processing
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 9819980208 ISBN 13: 9789819980208
EUR 70,33
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Cognitive Systems and Information Processing: 8th International Conference, Iccsip 2023, Luoyang, China, August 1012, 2023, Revised Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 118,12
EUR 11,48 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 312 pages. 9.26x6.10x0.66 inches. In Stock.
-
Formal Methods and Software Engineering
Sprache: Englisch
Verlag: Springer Nature Singapore Nov 2024, 2024
ISBN 10: 9819606160 ISBN 13: 9789819606160
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methodsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
-
Theoretical Aspects of Software Engineering: 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 119,03
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 376 pages. 9.25x6.10x0.78 inches. In Stock.
-
Cognitive Systems and Information Processing
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 9819980178 ISBN 13: 9789819980178
EUR 83,50
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Herbal Medicine for Rare Diseases: Alleviating Symptoms by GMP Herbal Formulations
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 121,89
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 208 pages. 10.00x7.00x10.00 inches. In Stock.
-
Theoretical Aspects of Software Engineering
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing Jun 2023, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4¿6, 2023.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.
-
Cognitive Systems and Information Processing
Sprache: Englisch
Verlag: Springer Nature Singapore, Springer Nature Singapore Nov 2023, 2023
ISBN 10: 9819980208 ISBN 13: 9789819980208
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10¿12, 2023.The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections:Volume I : Award; Algorithm & Control; and Application.Volume II: Robotics & Bioinformatics; and Vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.
-
Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Sprache: Englisch
Verlag: Springer Nature Singapore, 2024
ISBN 10: 9819606160 ISBN 13: 9789819606160
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions.The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4¿6, 2023, Proceedings
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions.They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; andAI for formal methods.
-
Cognitive Systems and Information Processing : 8th International Conference, ICCSIP 2023, Luoyang, China, August 10-12, 2023, Revised Selected Papers, Part II
Sprache: Englisch
Verlag: Springer Nature Singapore, Springer Nature Singapore, 2023
ISBN 10: 9819980208 ISBN 13: 9789819980208
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10-12, 2023.The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections:Volume I :Award;Algorithm & Control; andApplication.VolumeII:Robotics & Bioinformatics; andVision.
-
Cognitive Systems and Information Processing : 8th International Conference, ICCSIP 2023, Luoyang, China, August 10¿12, 2023, Revised Selected Papers, Part II
Sprache: Englisch
Verlag: Springer Nature Singapore, 2023
ISBN 10: 9819980208 ISBN 13: 9789819980208
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 316 | Sprache: Englisch | Produktart: Bücher | The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10¿12, 2023. The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections: Volume I : Award; Algorithm & Control; and Application.Volume II: Robotics & Bioinformatics; and Vision.
-
Cognitive Systems and Information Processing: 8th International Conference, Iccsip 2023, Luoyang, China, August 1012, 2023, Revised Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 140,11
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 450 pages. 9.26x6.10x0.91 inches. In Stock.
-
Cognitive Systems and Information Processing
Sprache: Englisch
Verlag: Springer Nature Singapore, Springer Nature Singapore Nov 2023, 2023
ISBN 10: 9819980178 ISBN 13: 9789819980178
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10¿12, 2023.The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections:Volume I : Award; Algorithm & Control; and Application.Volume II: Robotics & Bioinformatics; and Vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.
-
Machine Learning And Principles And Prac
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
