【预订】Das Violinspiel VOR 1700 美国库房发货,通常付款后3-5周到货!
¥298.00
预订 Handbook of Model Checking (Softcover Reprint of the Orig 【全球购】进口原版图书,约5-8周到达国内后发出
¥1298
海外直订Hybrid Systems: Computation and Control: First Internati
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Embedded Software: First International Workshop 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】Hybrid Systems: Computation and Control 9783540643586 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540643586 Author 作者 Henzinger Format 版本 平装-胶订 Pages Number 页数 417页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-03-25 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of th
¥520.00
预订 Embedded Software: First International Workshop, Emsoft 2 【全球购】进口原版图书,约5-8周到达国内后发出
¥474.00
预售 按需印刷Das Violinspiel vor 1700德语ger
¥334.05
预售 按需印刷Von Apfel-, Mango- und Verzeichnisb?umen德语ger
¥948.60
¥209.40