熱門搜尋

    您輸入的關鍵字: Margaria

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 50 筆, 頁數 1 / 1

    The Construction of Fatherhood: The Jurisprudence of the European Court of Human Rights

    The Construction of Fatherhood: The Jurisprudence of the European Court of Human Rights

    • 優惠價: 2700
    Process Design for Natural Scientists: An Agile Model-driven Approach

    Process Design for Natural Scientists: An Agile Model-driven Approach

    • 優惠價: 3299

    This book presents an agile and model-driven approach to manage scientific workflows. The approach i... more

    Software Business

    Software Business

    • 優惠價: 2999
    Formal Methods for Industrial Critical Systems: A Survey of Applications

    Formal Methods for Industrial Critical Systems: A Survey of Applications

    • 優惠價: 5827

    Today, formal methods are widely recognized as an essential step in the design process of industrial... more

    Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications,

    Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications,

    • 優惠價: 3299

    Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications o... more

    Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications,

    Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications,

    • 優惠價: 6599

    Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications o... more

    Semantic Web Services Challenge: Results from the First Year

    Semantic Web Services Challenge: Results from the First Year

    • 優惠價: 10000

    Service-Oriented Computing is one of the most promising software engineering trends for future distr... more

    Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

    Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

    • 優惠價: 6599

    This book constitutes the refereed proceedings of the 6th International Conference on Service-Orient... more

    Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, G

    Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, G

    • 優惠價: 10199

    This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on ... more

    Software Process Improvement: 14th European Conference, EuroJSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

    Software Process Improvement: 14th European Conference, EuroJSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

    • 優惠價: 3299

    This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conf... more

    Services and Visualization: Towards User-Friendly Design : Acos’98, Visual’98, Ain’97 Selected Papers

    Services and Visualization: Towards User-Friendly Design : Acos’98, Visual’98, Ain’97 Selected Papers

    • 優惠價: 4950

    This book comprises a strictly refereed selection of papers presented at three international worksho... more

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret

    • 優惠價: 4799

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... more

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos

    • 優惠價: 4499

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... more

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

    • 優惠價: 3299

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... more

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

    • 優惠價: 4499

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... more

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isol

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isol

    • 優惠價: 4799

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... more

    Leading Works in Law and Anthropology

    Leading Works in Law and Anthropology

    • 優惠價: 7975

    The academic disciplines of law and sociocultural anthropology have a long but at times contentious ... more

    Engineering of Computer-Based Systems: 8th International Conference, Ecbs 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

    Engineering of Computer-Based Systems: 8th International Conference, Ecbs 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

    • 優惠價: 4199

    This book constitutes the refereed proceedings of the 8th International Conference on Engineering of... more

    Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

    Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

    • 優惠價: 4199

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the... more

    Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

    Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

    • 優惠價: 4799

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the... more

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece

    • 優惠價: 4799

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the... more

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

    • 優惠價: 5999

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the... more

    Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISo

    Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISo

    • 優惠價: 4799

    This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comp... more

    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

    • 優惠價: 3299

    The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International... more

    Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

    Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

    • 優惠價: 5999

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internationa... more

    Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

    Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

    • 優惠價: 3299

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internationa... more

    Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

    Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

    • 優惠價: 3299

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internationa... more

    Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

    Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

    • 優惠價: 3299

    This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical Univer... more

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

    • 優惠價: 3299

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the ... more

    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

    • 優惠價: 3299

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the ... more

    Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem

    Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem

    • 優惠價: 3299

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the ... more

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November

    • 優惠價: 3299

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the ... more

    Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe

    Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe

    • 優惠價: 3299

    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference... more

    Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe

    Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Part of the European Joint Confe

    • 優惠價: 3299

    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference... more

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20

    • 優惠價: 3299

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Internati... more

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co

    • 優惠價: 6599

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Internati... more

    Sofsem 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec

    Sofsem 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec

    • 優惠價: 3299

    This book constitutes the proceedings of the 41st International Conference on Current Trends in Theo... more

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20

    • 優惠價: 3299

    The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Internati... more

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im

    • 優惠價: 3299

    The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Internati... more

    Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of

    Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of

    • 優惠價: 3299

    This volume contains a selection of revised papers that were presented at the Software Aspects of Ro... more

    Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

    Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

    • 優惠價: 3299
    Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

    Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-

    • 優惠價: 3299

    The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th Int... more

    Semantic Web Services Challenge: Results from the First Year

    Semantic Web Services Challenge: Results from the First Year

    • 優惠價: 10140

    Service-Oriented Computing is one of the most promising software engineering trends for future distr... more

    Fundamental Approaches to Software Engineering: 7th International Conference, Fase 2004, Held as Part of the Joint European Conferences on Theory and

    Fundamental Approaches to Software Engineering: 7th International Conference, Fase 2004, Held as Part of the Joint European Conferences on Theory and

    • 優惠價: 3299
    Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere

    Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere

    • 優惠價: 6599
    Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas ’’96, Passau, Germany, March 27 - 29, 1996, Pro

    Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas ’’96, Passau, Germany, March 27 - 29, 1996, Pro

    • 優惠價: 3299
    The Construction of Fatherhood: The Jurisprudence of the European Court of Human Rights

    The Construction of Fatherhood: The Jurisprudence of the European Court of Human Rights

    • 優惠價: 8280
    Security and Management 2016: Proceedings of the 2016 International Conference on Security & Management

    Security and Management 2016: Proceedings of the 2016 International Conference on Security & Management

    • 優惠價: 5997

    Security and Management is a compendium of articles and papers that were presented at SAM 15, an in... more

    Family and Parenting Support: Policy and Provision in a Global Context

    Family and Parenting Support: Policy and Provision in a Global Context

    • 優惠價: 1500
    Biomechanics and Energetics of Muscular Exercise

    Biomechanics and Energetics of Muscular Exercise

    • 優惠價: 1121

    搜尋推薦

    您可能感興趣的活動

    • 2025邀請新朋友,推薦禮回饋無上限