【预订】Architecting Critical Systems 9783642135552
美国库房发货,通常付款后3-5周到货!
/ 2010-06-15
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9783642135552 Author 作者 Giese Format 版本 平装-胶订 Pages Number 页数 205页 Publication Date 出版日期 2010-06-15 Language 语种 英语 Book Contents 内容简介 Architecting critical systems has gained major importance in commercial, g- ernmentalandindustrialsectors. Emergingsoftwareapplicationsencompasscr- icalities that are associated with either the whole system or some of its com- nents. Therefore, eective methods, techniques, and tools for constructing, te- ing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques and tools must address - sues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for arc
¥520.00
【预订】Spanish Anecdotes: Arranged for Translation and Conversa
美国库房发货,通常付款后3-5周到货!
/ 2009-12-31
¥158.00
【预订】Joint Interpretation of Geophysical and Geological Data
美国库房发货,通常付款后3-5周到货!
/ 2012-09-25
/ 暂无出版社信息
¥1447
【预订】Graph Transformation 9783319091075
美国库房发货,通常付款后3-5周到货!
/ 2014-08-04
Product Details 基本信息 ISBN-13 书号 9783319091075 Author 作者 Giese Format 版本 平装-胶订 Pages Number 页数 285页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2014-08-04 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 462g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.
¥467.00
【预订】Experimentelle Untersuchung Uber Erfrierung... 978114964
美国库房发货,通常付款后3-5周到货!
/ 2010-05-25
¥111.00
【预订】Novel Mechanisms of Memory 9783319243627
美国库房发货,通常付款后3-5周到货!
/ 2015-12-15
Product Details 基本信息 ISBN-13 书号 9783319243627 Author 作者 Giese Format 版本 精装 Pages Number 页数 181页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-12-15 Shipping Weight 商品重量 461g Language 语种 英语 Book Contents 内容简介 This book integrates discoveries from recent years to show the diversity of molecular mechanisms that contribute to memory consolidation, reconsolidation, extinction, and forgetting. It provides a special focus on the processes that govern functional and structural plasticity of dendritic spines.?In nine chapters, new and important ideas related to learning and memory processes will be presented. Themes discussed include?the role of AMPA receptors in memory, two signalling cascades involved in local spine remodelling and memory, the role of extracellular matrix proteins in memory, the regulation of gene expression and protein tra
¥1002
【预订】Formal Techniques for Distributed Systems 9783642307928
国外库房发货,通常付款后3-5周到货!
/ 2012-05-31
Product Details 基本信息 ISBN-13 书号 9783642307928 Author 作者 Giese Format 版本 平装-胶订 Pages Number 页数 269页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-05-31 Shipping Weight 商品重量 434g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and
¥520.00
【预订】Introduction to Molecular Vaccinology 9783319258300
美国库房发货,通常付款后3-5周到货!
/ 2015-12-31
/ Springer
¥1143
【预订】Software Engineering for Self-Adaptive Systems III. Assu
美国库房发货,通常付款后3-5周到货!
/ 2018-01-18
/ Springer
Product Details 基本信息 ISBN-13 书号 9783319741826 Author 作者 Giese, Holger Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-01-18 Language 语种 英语
¥520.00
【预订】Medienkompetenz ALS Gesellschaftliche Und Individuelle S
美国库房发货,通常付款后3-5周到货!
/ 1988-08-08
¥330.00
【预订】Experimental Investigation of the Influence of Molecular
美国库房发货,通常付款后3-5周到货!
/ 2012-09-20
¥589.00
【预订】Dienste Und Protokolle in Kommunikationssystemen: Die Di
美国库房发货,通常付款后3-5周到货!
/ 2011-11-22
/ 暂无出版社信息
¥535.00
【预订】Dynamic Neural Field Theory for Motion Perception Y97814
美国库房发货,通常付款后3-5周到货!
/ 1988-08-08
/ Springer
¥1002
【预订】Colloid And Surface Properties Of Clays And Related Mine
国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780367447038 Author 作者 Giese Rossman F. Format 版本 平装-胶订 Pages Number 页数 312页 Publisher 出版社 CRC Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9 x 5.9 x 0.6 cm Shipping Weight 商品重量 950g Language 语种 英语
¥696.00
预订 Joint Interpretation of Geophysical and Geologi... 978940
海外仓库发货,通常付款后4-9周到货!
/ 2012-09-25
/ Springer
图书信息 书号: 9789401055925 作者: P Giese 装帧: 平装-胶订 页数: 245页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-09-25 重量: 1g 语种: 其它(含多语) 内容简介 The contributions published in this volume are the re- sults of the NATO Advanced Res
¥1456
预订 Experimentelle Untersuchung Uber Erfrierung... 9781149646
海外仓库发货,通常付款后4-9周到货!
/ 2010-05-25
图书信息 书号: 9781149646298 作者: Ernst Giese 装帧: 平装-胶订 页数: 34页 出版社: BiblioLife 尺寸: 1.0 x 0.7 x 24.6 cm 出版日期: 2010-05-25 重量: 81g 语种: 其它(含多语) 内容简介 This is a reproduction of a book published before 1923. This book may have occ
¥104.00
【预订】Molecular Vaccines 9783709119563
美国库房发货,通常付款后3-5周到货!
/ 2016-08-23
Product Details 基本信息 ISBN-13 书号 9783709119563 Author 作者 Matthias Giese Format 版本 平装-胶订 Pages Number 页数 447页 Publisher 出版社 Springer Vienna Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 1050g Language 语种 英语 Book Contents 内容简介 This book gives a comprehensive overview to all aspects of global molecular vaccine research. It introduces concepts of vaccine immunology and molecular vaccine development for viral, bacterial, parasitic and fungal infections. Furthermore, the broad field of research and development in molecular cancer vaccines is discussed in detail. This book is a must have for scientists and clinicians interested in new developments in molecular vaccine research and application in infections and cancer.
¥1560
【预订】Models in Software Engineering 9783540690696
国外库房发货,通常付款后3-5周到货!
/ 2008-07-01
Product Details 基本信息 ISBN-13 书号 9783540690696 Author 作者 Holger Giese Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-07-01 Shipping Weight 商品重量 522g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735). The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators’ symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven de
¥520.00
预订 Model-Based Engineering of Embedded Real-Time S... 978364
海外仓库发货,通常付款后4-9周到货!
/ 2010-10-06
/ Springer
图书信息 书号: 9783642162763 作者: Holger Giese 装帧: 平装-胶订 页数: 385页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-10-06 重量: 1g 语种: 其它(含多语) 内容简介 Thetopicof"Model-BasedEngineeringofReal-TimeEmbeddedSystems"brings together a ch
¥839.00
【预订】Molecular Vaccines 9783319376752
美国库房发货,通常付款后3-5周到货!
/ 2016-08-23
Product Details 基本信息 ISBN-13 书号 9783319376752 Author 作者 Matthias Giese Format 版本 平装-胶订 Pages Number 页数 423页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 999g Language 语种 英语 Book Contents 内容简介 This title discusses all aspects of non-infectious and non-cancer– so called NINC – vaccines. Hypertension, diabetes and allergy vaccine development are referred to as well as the use of adjuvants and nanotechnology in vaccine development. The way of novel vaccines from bench to preclinical to clinical studies and launch to the market under EMEA (European Medicines Agency) and FDA (Food and Drug Administration) guidelines are described in-depth. The book is therefore of interest for researchers and clinicians engaged in vaccine development and molecular vaccine application.
¥1560
预订 Dienste Und Protokolle in Kommunikationssystemen 97836427
海外仓库发货,通常付款后4-9周到货!
/ 2011-11-22
/ Springer
图书信息 书号: 9783642704406 作者: Eckart Giese 装帧: 平装-胶订 页数: 216页 出版社: Springer 尺寸: 1.0 x 0.7 x 0.0 cm 出版日期: 2011-11-22 重量: 1g 语种: 德语 内容简介 Mit der Einf?hrung des Paketvermittlungsdienstes, des DATEX-P- Dienstes, bietet die Post neben
¥687.00
预订 Formal Techniques for Distributed Systems 9783642307928
海外仓库发货,通常付款后4-9周到货!
/ 2012-05-31
/ Springer
图书信息 书号: 9783642307928 作者: Holger Giese 装帧: 平装-胶订 页数: 269页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-05-31 重量: 1g 语种: 其它(含多语)
¥832.00
【预订】Automated Reasoning with Analytic Tableaux and Related M
国外库房发货,通常付款后3-5周到货!
/ 2009-06-24
Product Details 基本信息 ISBN-13 书号 9783642027154 Author 作者 Martin Giese Oslo Norway Format 版本 平装-胶订 Pages Number 页数 341页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-06-24 Shipping Weight 商品重量 545g Language 语种 英语 Book Contents 内容简介 This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. This conference was the 18th in a series of international meetings since 1992 (listed on page IX). It was collocated with FTP 2009, the Workshop on First-Order Theorem Proving. The Program Committee of TABLEAUX 2009 received 44 submissions from 24 countries. Each paper was reviewed by at least three referees, after which the reviews were sent to the authors for comment in a rebuttal phase. After a nal intensiv
¥520.00