反应式和并发系统的时序逻辑 一部形式化方法领域的经典和权威著作,作者均为国际著名计算机科学家,其中一位荣获1996年图灵奖
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型,是该领域的经典和权威著作。
¥39.50定价:¥79.00 (5折)
【预售】【翰德图书】城市灵魂:马拉喀什 Soul of Marrakesh 英文原版旅行 预售图书大约10-12周发货
¥105.50
【预订】城市灵魂:马拉喀什 Soul of Marrakesh 英文原版旅行 善本图书 预订图书大约8-12周发货
¥102.00
情绪丰富的机器人Emotional Robots AI未来乌托邦故事漫画图像小说 智能取代人类 英文原版 善本图书 现货图书24小时发货
¥98.00
¥134.90
按需印刷How and when to break the rules in chess 预订,预计下单后3-4周左右发货!
¥270.75
【预订】The Temporal Logic of Reactive and Concurrent 美国库房发货,通常付款后3-5周到货!
¥1143
【预订】Sasquatch Sonya 预订商品,平装,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥178.16
海外直订Metacognition in Science Education: Trends in Current Re
¥1033
明星店铺 中华商务进口图书旗舰店
预订 Mathematical Theory of Computation [ISBN:9780486432380] 【全球购】进口原版图书,约5-8周到达国内后发出
¥195.00
海外直订Higher Order Thinking in Science Classrooms: Students' L
¥1033
明星店铺 中华商务进口图书旗舰店
¥211.00
明星店铺 中华商务进口图书旗舰店
海外直订For Teachers with Love: Helping Educators Become Signifi
¥174.00
明星店铺 中华商务进口图书旗舰店
海外直订Spiritual Capital: Wealth We Can Live by 精神资本:我们赖以生存的财富
¥213.00
明星店铺 中华商务进口图书旗舰店
【预订】Obsessive Compulsive Disorder - Current Science and Clin 美国库房发货,通常付款后3-5周到货!
¥1010
【预订】Metacognition in Science Education 9789400721319 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789400721319 Author 作者 Zohar Format 版本 精装 Pages Number 页数 280页 Publication Date 出版日期 2011-10-20 Shipping Weight 商品重量 596g Language 语种 英语 Book Contents 内容简介 Why is metacognition gaining recognition, both in education generally and in science learning in particular What does metacognition contribute to the theory and practice of science learning??Metacognition in Science Education discusses emerging topics at the intersection of metacognition with the teaching and learning of science concepts, and with higher order thinking more generally. The book provides readers with a background on metacognition and analyses the latest developments in the field. It also gives an account of best-practice methodology.?Expanding on the theoretical underpinnings of metacognition, and written by world leaders in metacognitive research, the chapters present cutt
¥1022
【预订】Highpoints 9780812234053 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780812234053 Author 作者 Zohar Eitan Format 版本 精装 Pages Number 页数 187 pages 页 Publisher 出版社 University of Pennsylvania Press Publication Date 出版日期 1997-08-26 Product Dimensions 商品尺寸 26 cm. Shipping Weight 商品重量 0.8 KG Language 语种 其它(含多语) Book Contents 内容简介 In Highpoints Zoltan Eitan investigates a universal melodic phenomenon--the melodic peak--in Western repertories ranging from eighteenth-century Galant music to twentieth-century Expressionism. Using "hard" statistical analysis, Eitan examines the rhythmic, melodic, harmonic, and dynamic configurations associated with contour peaks in the music of Haydn, Chopin, and Berg, three composers of decidedly different t musical casts.
¥795.00
【预订】Poetics of Children's Literature 美国库房发货,通常付款后3-5周到货!
¥275.00
【预订】Temporal Verification of Reactive Systems: Safety Y97803 美国库房发货,通常付款后3-5周到货!
¥1040
按需印刷DGYT The World Jewish Congress during the Holocaust 预订,预计下单后3-6周左右发货!
¥1396
海外直订Heat Convection in Micro Ducts 微管道内的热对流
¥1033
明星店铺 中华商务进口图书旗舰店
【预订】Access-Right: The Future of Digital Copyright Law 美国库房发货,通常付款后3-5周到货!
¥1258
【预售 按需印刷】 The World Jewish Congress during the Holoc 北京直发,付款后10日内发货
¥150.00
海外直订Spiritual Capital: Wealth We Can Live by [Standard Large
¥462.00
明星店铺 中华商务进口图书旗舰店
海外直订Heat Convection in Micro Ducts 微管道中的热对流
¥1033
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】 The World Jewish Congress during the Holoc 北京直发,付款后10日内发货
¥1187
按需印刷DGYT The World Jewish Congress during the Holocaust 预订,预计下单后3-6周左右发货!
¥176.00
【预订】Heat Convection in Micro Ducts 9781441953209 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781441953209 Author 作者 Zohar Format 版本 平装-胶订 Pages Number 页数 202页 Publication Date 出版日期 2010-12-07 Language 语种 英语 Book Contents 内容简介 As the field of Microsystems expands into more disciplines and new applications such as RF-MEMS, Optical MEMS and Bio-MEMS, thermal management is becoming a critical issue in the operation of many microdevices, including microelectronic chips. Heat Convection in Micro Ducts focuses on the fundamental physics of convective heat transfer in microscale and specific applications such as: microchannel heat sinks, micro heat pipes, microcoolers and micro capillary pumped loops. This book will be of interest to the professional engineer and graduate student interested in learning about heat removal and temperature control in advanced integrated circuits and microelectromechanical systems.
¥1002
【预订】Higher Order Thinking in Science Classrooms: Students' L 美国库房发货,通常付款后3-5周到货!
¥1022
海外直订The Education of Prospective Teachers 未来教师的教育
¥831.00
明星店铺 中华商务进口图书旗舰店
海外直订Justice in Biloxi.: Anatomy of a malpractice case A Nove
¥98.00
明星店铺 中华商务进口图书旗舰店
【预订】The Education of Prospective Teachers 美国库房发货,通常付款后3-5周到货!
¥1092
【预订】A Past Without Shadow 9781138799066 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781138799066 Author 作者 Zohar Shavit Format 版本 平装-胶订 Pages Number 页数 384页 Publisher 出版社 Routledge Publication Date 出版日期 2014-05-30 Shipping Weight 商品重量 521g Language 语种 英语 Book Contents 内容简介 A Past Without Shadow examines fifty years of German children’s books in which the darkest horrors of the Third Reich have routinely remained hidden.
¥703.00
预订 Heat Convection in Micro Ducts [ISBN:9781402072567] 【全球购】进口原版图书,约5-8周到达国内后发出
¥903.00
¥369.00
明星店铺 中华商务进口图书旗舰店
【预订】The History of Medicine in Jerusalem 9781841714127 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781841714127 Author 作者 Zohar Amar Format 版本 平装-胶订 Pages Number 页数 175页 Publisher 出版社 British Archaeological Reports(BAR Publishing) Publication Date 出版日期 2002-07-30 Product Dimensions 商品尺寸 11.69 x 8.27 x 0.37 Shipping Weight 商品重量 0.95 Language 语种 其它(含多语) Book Contents 内容简介 This book joins a long series of studies conducted in recent years at the Department for Land of Israel Studies at Bar-Ilan University in the Unit for the History of Medicine in Ancient Times. Since the field of study is extensive, the special focus of this treatise is the study of medicine in Greater Jerusalem, but it may serve as a faithful reflection of the nature of medicine and the changes it underwent throughout Israel and Syria in ancient times. The study is based primarily on historical sources. The first part of the book con
¥580.00
海外直订医药图书Obsessive-Compulsive Disorder: Current Science and C
¥910.00
明星店铺 中华商务进口图书旗舰店
【预售按需印刷】The Education of Prospective Teachers
¥1024.25
海外直订WONDERHAND Help! Peanuts! 救命啊!花生!
¥127.00
明星店铺 中华商务进口图书旗舰店
¥116.00
明星店铺 中华商务进口图书旗舰店
【预订】Financial Cryptography and Data Security 9783662588192 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783662588192 Author 作者 Aviv Zohar Hebrew University Jerusalem Israel Format 版本 平装-胶订 Pages Number 页数 382页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-02-11 Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the refereed proceedings of 3 workshops held at the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, in Nieuwport, Cura?ao, in March 2018. The 23 full papers presented together with 2 short papers were carefully reviewed and selected from 52 submissions. They feature the outcome of the 5th Workshop on Bitcoin and Blockchain Research, BITCOIN 2018, the Third Workshop on Secure Voting Systems, VOTING 2018,and the Second Workshop on Trusted Smart Contracts, WTSC 2018. The papers are grouped in topical sections named: Blockchain, Distributed Ledgers, C
¥520.00
【预订】Scaling-up Higher Order Thinking 9783031159664 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031159664 Author 作者 Anat Zohar Format 版本 精装 Pages Number 页数 295页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-24 Language 语种 其它(含多语) Book Contents 内容简介 This open access book addresses the evasive problem of why truly effective educational innovation on a wide scale is so difficult to achieve, and what leaders may do about this. Examining the case of system-wide reform processes centering on teaching a thinking-rich curriculum, it discusses general issues pertaining to implementing deep, large-scale changes in the core of learning and instruction. The book emphasizes challenges related to professional development, assessment, achievement gaps, and the tension between knowledge and skills in 21st century curricula. It summarizes insights the author has gained from approximately 25 years of engaging with the
¥520.00
【现货】 Emotional Robots,情绪丰富的机器人 英文原版图书籍进口正版 故事漫画 现货图书24小时发货
¥91.48
¥170.00
【预订】Scaling-up Higher Order Thinking 9783031159695 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031159695 Author 作者 Anat Zohar Format 版本 平装-胶订 Pages Number 页数 295页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-24 Language 语种 其它(含多语) Book Contents 内容简介 This open access book addresses the evasive problem of why truly effective educational innovation on a wide scale is so difficult to achieve, and what leaders may do about this. Examining the case of system-wide reform processes centering on teaching a thinking-rich curriculum, it discusses general issues pertaining to implementing deep, large-scale changes in the core of learning and instruction. The book emphasizes challenges related to professional development, assessment, achievement gaps, and the tension between knowledge and skills in 21st century curricula. It summarizes insights the author has gained from approximately 25 years of engaging w
¥417.00
【预订】Sephardic and Mizrahi Jewry: From the Golden Age of 美国库房发货,通常付款后3-5周到货!
¥287.00
海外直订The Book of Imagination: A coloring book for all ages 想象
¥239.00
明星店铺 中华商务进口图书旗舰店
【预订】A Past Without Shadow: Constructing the Past in German B 美国库房发货,通常付款后3-5周到货!
¥1503
【预订】Temporal Verification of Reactive Systems: Safety 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥1492.79
【预售 按需印刷】Quality of Life in Jewish Bioethics
¥1098.2
预订 Heat Convection in Micro Ducts 9781402072567 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9781402072567 作者: Yitshak Zohar 装帧: 精装 页数: 202页 出版社: Springer Us 尺寸: 25.4 x 15.2 x 2.5 cm 出版日期: 2002-10-31 重量: 454g 语种: 其它(含多语) 内容简介 As the field of Microsystems expands into more disciplines and new applications
¥1653
海外直订The Temporal Logic of Reactive and Concurrent Systems: S
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时
¥1137
明星店铺 中华商务进口图书旗舰店
【预订】Quality of Life in Jewish Bioethics: 美国库房发货,通常付款后3-5周到货!
¥761.00
【预订】Heat Convection in Micro Ducts 美国库房发货,通常付款后3-5周到货!
¥1002
【预订】Temporal Verification of Reactive Systems: Safety 美国库房发货,通常付款后3-5周到货!
¥1022
预订 Temporal Verification of Reactive Systems: Safety [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥921.00
【预订】Poetics of Children's Literature 预订商品,平装,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥399.86
预订 The Temporal Logic of Reactive and Concurrent Systems: Sp 【全球购】进口原版图书,约5-8周到达国内后发出
¥461.00
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时
¥1033
明星店铺 中华商务进口图书旗舰店