【预订】Frauen – M?nner – Karrieren 9783658107499 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783658107499 Author 作者 Melanie Steffens Universit?t Koblenz Landau Landau German Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-01-22 Product Dimensions 商品尺寸 21 x 14.8 x 1.3 cm Shipping Weight 商品重量 0.3 kg Language 语种 其它(含多语)
¥437.00
【预订】Mikhail Tal: The Street-Fighting Years 9785604177051 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9785604177051 Author 作者 Koblenz Alexander Format 版本 平装-胶订 Pages Number 页数 174页 Publisher 出版社 Limited Liability Company Elk and Ruby Publis Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 560g Language 语种 其它(含多语)
¥184.00
【预订】Verification of Object-Oriented Software. The KeY Approa 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540689775 Author 作者 Bernhard Beckert Universit?t Koblenz-Landau Institut für In Format 版本 平装-胶订 Pages Number 页数 658页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-01-03 Language 语种 英语 Book Contents 内容简介 Long gone are the days when program verication was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these prog
¥1040
【预订】Tests and Proofs 9783540791232 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540791232 Author 作者 Bernhard Beckert Universit?t Koblenz-Landau Institut für In Format 版本 平装-胶订 Pages Number 页数 193页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-03-31 Shipping Weight 商品重量 326g Language 语种 英语 Book Contents 内容简介 This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9–11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areasfor the advancement of softwarequality. To provethe correctnessof a programis to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a programis to run it with the expectation of discovering bugs. On the surface, the two technique
¥520.00
按需印刷Erving Goffman:From the Perspective of the New Sociology 预订,预计下单后2-3周左右发货!
¥1795
【预订】Technology Assessment 9783409115605 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783409115605 Author 作者 Jürgen Weber WHU Koblenz Otto-Beisheim School of Management Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Gabler Verlag / Springer Fachmedien Wiesbaden Publication Date 出版日期 2012-03-23 Product Dimensions 商品尺寸 24.4 x 17 x 1.4 cm Shipping Weight 商品重量 0.4 kg Language 语种 其它(含多语)
¥535.00
【预订】Handbook on Ontologies 9783662499955 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783662499955 Author 作者 Steffen Staab University of Koblenz-Landau Insitute for Com Format 版本 平装-胶订 Pages Number 页数 811页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-11 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.6 cm Shipping Weight 商品重量 1252g Language 语种 英语 Book Contents 内容简介 An ontology is a formal deion of concepts and relationships that can exist for a community of human and/or machine agents. The notion of ontologies is crucial for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of ontologies considering ontology languages, ontology engineering methods, example ontologies, infrastructures and technologies for ontologies, and how to bring this all into ontology-bas
¥3316
【预订】Schachtraining 9783110088182 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783110088182 Author 作者 Koblenz Format 版本 精装 Pages Number 页数 137页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 1982-04-01 Language 语种 其它(含多语)
¥1143
【预订】Generative and Transformational Techniques in Software E 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540886426 Author 作者 Ralf L?mmel Universit?t Koblenz-Landau Institut für Informa Format 版本 平装-胶订 Pages Number 页数 521页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-10-08 Language 语种 英语 Book Contents 内容简介 The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 2–7, 2007. This volume contains an augmented selection of the material presented at the school, including full tutorials, short tutorials, and contributions to the participants workshop. The GTTSE summer school series brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, metamodels, documentatio
¥520.00
【预订】Learning Difficulties: Is Your Doom Sealed? 美国库房发货,通常付款后3-5周到货!
¥347.00
【预订】Balanced Scorecard & Controlling 9783322889027 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783322889027 Author 作者 Jürgen Weber WHU Koblenz Otto-Beisheim School of Management Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Gabler Verlag / Springer Fachmedien Wiesbaden Publication Date 出版日期 2012-03-19 Product Dimensions 商品尺寸 23.5 x 19.1 x 2 cm Shipping Weight 商品重量 0.6 kg Language 语种 其它(含多语)
¥583.00
【预订】Petri-Netze 9783540769705 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540769705 Author 作者 Lutz Priese Universit?t Koblenz-Landau FB 4 Informatik Kob Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-01-21 Product Dimensions 商品尺寸 23.4 x 15.6 x 2 cm Shipping Weight 商品重量 0.5 kg Language 语种 其它(含多语) Book Contents 内容简介 Petri-Netze sind das meist beachtete und am besten untersuchte Modell f r nebenl ufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur ber Unm glichkeiten, M glichkeiten und die Komplexit t der Ausdrucksmittel von Petri-Netze
¥389.00
预售 按需印刷Guter Unterricht schafft Lerngelegenheiten德语ger
¥274.55
预订 Medienvielfalt im Mathematikunterricht 预订商品
¥367.00
预订Mikhail Tal: The Street-Fighting Years 预订,预计下单后3-6周左右发货!
¥266.00