【预订】Patterns, Programming and Everything 9781447123491
美国库房发货,通常付款后3-5周到货!
/ 2012-04-27
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9781447123491 Author 作者 Breitman Format 版本 精装 Pages Number 页数 176页 Publication Date 出版日期 2012-04-27 Shipping Weight 商品重量 450g Language 语种 英语 Book Contents 内容简介 With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? this book reflects on Dr Bishop?s outstanding?contribution to computer science. Having?worked at three different universities she now holds a leadership position in the research division of a major software company.The topics covered reflect some of the transitions in her career. The dominant theme is programming languages, with chapters on object oriented programming, real-time programming, component programming and design patterns. Another m
¥1002
【预订】Semantic Web: Concepts, Technologies and Applications 97
国外库房发货,通常付款后3-5周到货!
/ 2007-01-24
Product Details 基本信息 ISBN-13 书号 9781846285813 Author 作者 Karin Breitman Pontifícia Universidade Católica do Rio de J Format 版本 精装 Pages Number 页数 327页 Publisher 出版社 Springer London Publication Date 出版日期 2007-01-24 Language 语种 英语 Book Contents 内容简介 Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is still required to interpret the results. The Semantic Web unleashes a revolution of new possibilities in which content is given formal, machine processable semantics. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web Services and software agents) to more formal aspects (lo
¥520.00
【预订】Formal Methods and Software Engineering 9783642103728
国外库房发货,通常付款后3-5周到货!
/ 2009-11-17
Product Details 基本信息 ISBN-13 书号 9783642103728 Author 作者 Karin Breitman Rio de Janeiro Brazil Format 版本 平装-胶订 Pages Number 页数 758页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-11-17 Shipping Weight 商品重量 1169g Language 语种 英语 Book Contents 内容简介 Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, specication languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal method
¥1040
【预订】Semantic Web: Concepts, Technologies and Applications
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
/ Springer
¥755.06
预订 Formal Methods and Software Engineering 9783642103728
海外仓库发货,通常付款后4-9周到货!
/ 2009-11-17
/ Springer
图书信息 书号: 9783642103728 作者: Karin Breitman 装帧: 平装-胶订 页数: 758页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2009-11-17 重量: 2g 语种: 其它(含多语) 内容简介 Formal methods for development of computer systems have been extensively studi
¥1578
【预订】Semantic Web: Concepts, Technologies and Applications 97
美国库房发货,通常付款后3-5周到货!
/ 2010-10-28
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9781849966214 Author 作者 Breitman Format 版本 平装-胶订 Pages Number 页数 327页 Publication Date 出版日期 2010-10-28 Language 语种 英语 Book Contents 内容简介 Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is still required to interpret the results. The Semantic Web unleashes a revolution of new possibilities in which content is given formal, machine processable semantics. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web Services and software agents) to more formal aspects (logic and inference). It includes: real-world (and complete) examples of the application of
¥520.00