Gesamtpreis (1 Artikel Artikel):
Versandziel:
zhang zili (57 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (57)
- 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 (49)
- 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 (24)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
EUR 41,73
Währung umrechnenEUR 8,94 für den Versand innerhalb von/der USAAnzahl: 9 verfügbar
In den WarenkorbZustand: New. 2017. Paperback. . . . . . Books ship from the US and Ireland.
-
Agent-based hybrid intelligent systems. an agent-based framework for complex problem solving.
Anbieter: Emile Kerssemakers ILAB, Heerlen, Niederlande
Verkäuferbewertung 5 von 5 Sternen
EUR 20,00
Währung umrechnenEUR 44,00 für den Versand von Niederlande nach USAAnzahl: 1 verfügbar
In den Warenkorb23 cm. original paperback. 196 pp. references. index. "Lecture Notes in Artificial Intelligence". -(libr labels, library stamp, otherwise (very) good). 335g.
-
Knowledge Science, Engineering and Management: 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,96
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,96
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings (Lecture Notes in Computer Science, 9403)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,96
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving (Lecture Notes in Computer Science, 2938)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,55
Währung umrechnenEUR 12,19 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Big Data: 8th CCF Conference, BigData 2020, Chongqing, China, October 22-24, 2020, Revised Selected Papers (Communications in Computer and Information Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Softcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Stochastic Dynamics
Verlag: Aarhus Universitetsforlag, 2017
ISBN 10: 8771842322 ISBN 13: 9788771842326
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,48
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 220 pages. 9.00x6.75x0.50 inches. In Stock.
-
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 63,86
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving (Lecture Notes in Computer Science, 2938)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,65
Währung umrechnenEUR 13,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 2127, 2019, Tutorial Lectures
Verlag: Springer-Nature New York Inc, 2020
ISBN 10: 3030550885 ISBN 13: 9783030550882
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,83
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 240 pages. 9.25x6.10x0.75 inches. In Stock.
-
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3030029271 ISBN 13: 9783030029272
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,83
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 240 pages. 9.25x6.10x0.51 inches. In Stock.
-
Big Data: 8th Ccf Conference, Big Data 2020, Chongqing, China, October 2224, 2020, Revised Selected Papers
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 9811607044 ISBN 13: 9789811607042
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,19
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 261 pages. 9.25x6.10x0.67 inches. In Stock.
-
Engineering Trustworthy Software Systems: Second International School, SETSS 2016 Chongqing, China, March 28 - April 2, 2016 Tutorial Lectures
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 331956840X ISBN 13: 9783319568409
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,40
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 257 pages. 9.00x6.00x0.75 inches. In Stock.
-
Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319296272 ISBN 13: 9783319296272
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,38
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 340 pages. 9.00x6.00x0.75 inches. In Stock.
-
Knowledge Science, Engineering and Management: 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings (Lecture Notes in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,13
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 516 pages. 9.25x6.10x1.32 inches. In Stock.
-
Knowledge Science, Engineering and Management
Verlag: Springer International Publishing, Springer International Publishing Okt 2015, 2015
ISBN 10: 3319251589 ISBN 13: 9783319251585
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and reviewed from 247 submissions. The papers are organized in topical sections on formal reasoning and ontologies; knowledge management and concept analysis; knowledge discovery and recognition methods; text mining and analysis; recommendation algorithms and systems; machine learning algorithms; detection methods and analysis; classification and clustering; mobile data analytics and knowledge management; bioinformatics and computational biology; and evidence theory and its application.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 888 pp. Englisch.
-
Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 86,85
Währung umrechnenEUR 28,64 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 858 pages. 9.00x6.00x1.75 inches. In Stock.
-
Big Data
Verlag: Springer Nature Singapore, Springer Nature Singapore Apr 2021, 2021
ISBN 10: 9811607044 ISBN 13: 9789811607042
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 8th CCF Conference on Big Data, BigData 2020, held in Chongqing, China, in October 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 65 submissions. They present recent research on theoretical and technical aspects on big data, as well as on digital economy demands in big data applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
-
Engineering Trustworthy Software Systems
Verlag: Springer International Publishing, Springer Nature Switzerland Aug 2020, 2020
ISBN 10: 3030550885 ISBN 13: 9783030550882
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K ¿ A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.
-
Engineering Trustworthy Software Systems
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2018, 2018
ISBN 10: 3030029271 ISBN 13: 9783030029272
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.
-
Knowledge Science, Engineering and Management
Verlag: Springer International Publishing, Springer Nature Switzerland Jul 2017, 2017
ISBN 10: 3319635573 ISBN 13: 9783319635576
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -¿This book constitutes the refereed proceedings of the 10th International Conference on Knowledge Science, Engineering and Management, KSEM 2017, held in Melbourne, Australia, in August 2017.The 35 revised full papers and 12 short papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in the following topical sections: text mining and document analysis; formal semantics and fuzzy logic; knowledge management; knowledge integration; knowledge retrieval; recommendation algorithms and systems; knowledge engineering; and knowledge representation and reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.
-
Engineering Trustworthy Software Systems
Verlag: Springer International Publishing, Springer International Publishing Mär 2016, 2016
ISBN 10: 3319296272 ISBN 13: 9783319296272
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in ChongqingChina.The material is useful for postgraduate studentsresearchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programmingcomponent- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.
-
Engineering Trustworthy Software Systems
Verlag: Springer International Publishing, Springer International Publishing Apr 2017, 2017
ISBN 10: 331956840X ISBN 13: 9783319568409
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.
-
Geo-disaster Modeling and Analysis
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 109,56
Währung umrechnenEUR 7,45 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xxiv + 189 130 Illus. (8 Col.).
-
Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21¿27, 2019, Tutorial Lectures
Verlag: Springer International Publishing, 2020
ISBN 10: 3030550885 ISBN 13: 9783030550882
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 61,86 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K - A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
