TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
搜尋結果 /

Formal Methods

40323
4 / 1009
出版日:2025/12/15 作者:Étienne André(EDI)  出版社:Springer  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2024/11/29 作者:Kazuhiro Ogata(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2023/09/10 作者:Anne E. Haxthausen(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, Fomlas 2022, and 15th International Workshop,
90 折
出版日:2022/12/30 作者:Omri Isac(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/11/10 作者:Adrian Riesco(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/09/14 作者:Tiziana Margaria(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2026/02/04 作者:Maurice H. Ter Beek(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2024/01/02 作者:Vikram Desai  出版社:Self  裝訂:平裝
優惠價: 1 1250
無庫存
出版日:2025/07/05 作者:José Proença(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2023/03/15 作者:Paolo Masci(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/09/17 作者:Antonio Cerone(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/07/17 作者:Wolfgang Ahrendt(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/03/25 作者:Loek Cleophas(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2020/09/10 作者:Javier Camara(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/12/11 作者:Marieke Huisman(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theory Deep Dive
滿額折
出版日:2024/10/26 作者:Tiziana Margaria(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2024/10/12 作者:Andre Platzer(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/06/23 作者:Aaron Dutle(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2024/10/27 作者:Tiziana Margaria(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/01/03 作者:Radu Calinescu(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/04/14 作者:Antonio Cerone(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2020/11/04 作者:Emil Sekerinski(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2020/11/03 作者:Emil Sekerinski(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Models of Domestic Politics
75 折
出版日:2021/09/30 作者:Scott Gehlbach  出版社:Cambridge Univ Pr  裝訂:平裝
Formal Models of Domestic Politics offers a unified and accessible approach to canonical and important new models of politics. Intended for political science and economics students who have already taken a course in game theory, this new edition retains the widely appreciated pedagogic approach of the first edition. Coverage has been expanded to include a new chapter on nondemocracy; new material on valance and issue ownership, dynamic veto and legislative bargaining, delegation to leaders by imperfectly informed politicians, and voter competence; and numerous additional exercises. Political economists, comparativists, and Americanists will all find models in the text central to their research interests. This leading graduate textbook assumes no mathematical knowledge beyond basic calculus, with an emphasis placed on clarity of presentation. Political scientists will appreciate the simplification of economic environments to focus on the political logic of models; economists will discov
優惠價: 75 1394
庫存:1
Research Methods in Accounting
75 折
出版日:2011/03/04 作者:Malcolm Smith  出版社:SAGE Publications UK  裝訂:平裝
This updated and expanded Second Edition of Research Methods in Accounting continues to provide a practical and accessible overview of the conduct of applied research studies in accounting. Retaining
優惠價: 75 2160
庫存:1
出版日:2024/10/09 作者:Tiziana Margaria(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Little Miss Stoneybrook...and Dawn (The Baby-sitters Club #15)
滿額折
出版日:2021/02/01 作者:Ann M. Martin  出版社:Scholastic Inc.  裝訂:平裝
Dawn's a little jealous when there's a formal ceremony to welcome Jessi and Mallory into the Baby-sitters Club. Don't people know that Dawn's a special baby-sitter too?Then it's Dawn's turn to shine.
優惠價: 79 241
庫存:1
Radiation Detection
75 折
出版日:2020/08/19 作者:Douglas McGregor; J. Kenneth Shultis  出版社:CRC Pr I Llc  裝訂:精裝
Radiation Detection: Concepts, Methods, and Devices provides a modern overview of radiation detection devices and radiation measurement methods. The book topics have been selected on the basis of the
優惠價: 75 6750
庫存:2
The Design Thinking Toolbox: A Guide To Mastering The Most Popular And Valuable Innovation Methods
75 折
出版日:2020/03/25 作者:Lewrick  出版社:John Wiley & Sons Inc  裝訂:平裝
How to use the Design Thinking Tools A practical guide to make innovation happen The Design Thinking Toolbox explains the most important tools and methods to put Design Thinking into action. Based on
優惠價: 75 1054
庫存:4
Statistical Design and Analysis of Clinical Trials ─ Principles and Methods
75 折
出版日:2015/08/27 作者:Weichung Joe Shih; Joseph Aisner  出版社:Taylor & Francis  裝訂:精裝
Statistical Design and Analysis of Clinical Trials: Principles and Methods concentrates on the biostatistics component of clinical trials. Developed from the authors’ courses taught to public health a
優惠價: 75 3070
庫存:1
  • 40323
    1009
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 1009

暢銷榜

客服中心

收藏

會員專區