【预订】Theoretical Aspects of Computing: ICTAC 2010 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Theoretical Aspects of Computing - Ictac 2019: 16th Inte 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030325046 Author 作者 Hierons Format 版本 平装-胶订 Pages Number 页数 411页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1300g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.
¥608.00
【预订】Theoretical Aspects of Computing - ICTAC 2008 9783540857 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540857617 Author 作者 John S. Fitzgerald University of Newcastle Centre for Softw Format 版本 平装-胶订 Pages Number 页数 455页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-08-18 Shipping Weight 商品重量 718g Language 语种 英语 Book Contents 内容简介 Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe functionality, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited for modelling and analyzing intended computing systems before the expensive c- mitment is made to real programs and hardware. Recent years have seen major improvements in the cost-eectiveness of tools supporting the exploitation of theories through proof, model-checking and testing
¥608.00
【预订】Theoretical Aspects of Computing – ICTAC 2020 9783030642 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030642754 Format 版本 平装-胶订 Pages Number 页数 317页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-25 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1040g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the17th International Colloquium onTheoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020.The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic.The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for sys
¥608.00
【预订】Theoretical Aspects of Computing - ICTAC 2004 9783540253 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540253044 Author 作者 Liu Format 版本 平装-胶订 Pages Number 页数 566页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-03-08 Language 语种 英语
¥1217
【预订】Theoretical Aspects of Computing - ICTAC 2009 9783642034 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642034657 Author 作者 Martin Leucker TU München Fak. Informatik Garching German Format 版本 平装-胶订 Pages Number 页数 357页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-07-29 Shipping Weight 商品重量 569g Language 语种 英语 Book Contents 内容简介 ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). It brings together practitionersandresearchersfromacademia,industryandgovernmenttopresent results and to exchange ideas and experience addressing challenges in both t- oretical aspects of computing and in the exploitation of theory through me
¥608.00
【预订】Theoretical Aspects of Computing - ICTAC 2007 9783540752 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540752905 Author 作者 Cliff B. Jones University of Newcastle upon Tyne Dept. Comp Format 版本 平装-胶订 Pages Number 页数 486页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-09-12 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, princ
¥608.00
【预订】Theoretical Aspects of Computing - Ictac 2017: 14th Inte 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319677286 Author 作者 Kapur, Deepak Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-11-27 Language 语种 英语
¥608.00
【预订】Theoretical Aspects of Computing – ICTAC 2022 9783031177 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031177149 Author 作者 Helmut Seidl Format 版本 平装-胶订 Pages Number 页数 482页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-20 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
¥608.00
【预订】Theoretical Aspects of Computing - ICTAC 2006 9783540488 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540488156 Author 作者 Barkaoui Format 版本 平装-胶订 Pages Number 页数 376页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-30 Language 语种 英语 Book Contents 内容简介 The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academia, - dustry, and governmentto present their results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. The previous events were held in Guiyang, China (2004), and Hanoi, Vi- nam (2005). Beyond its scholarly goals, another main purpose of ICTAC is to promote cooperation in research and education between participants and t
¥608.00
【预订】Theoretical Aspects of Computing – ICTAC 2018 9783030025 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030025076 Author 作者 Fischer Format 版本 平装-胶订 Pages Number 页数 533页 Publication Date 出版日期 2018-10-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing an
¥974.00
【预订】Theoretical Aspects of Computing - Ictac 2012: 9th Inter 美国库房发货，通常付款后3-5周到货！
¥560.00
【预订】Theoretical Aspects of Computing - ICTAC 2015 9783319251 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Theoretical Aspects of Computing – ICTAC 2021 9783030853 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030853143 Author 作者 Antonio Cerone Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-09-11 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in t
¥913.00
【预订】Theoretical Aspects of Computing - ICTAC 2005 9783540291 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540291077 Author 作者 Hung Format 版本 平装-胶订 Pages Number 页数 618页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-10-04 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to
¥1217
【预订】Theoretical Aspects of Computing - ICTAC 2023: 20th Inte 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031479625 Author 作者 Erika Abraham Format 版本 平装-胶订 Pages Number 页数 440页 Publisher 出版社 Springer International Publishing AG Publication Date 出版日期 2023-11-23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4-8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.
¥973.00
预订 Theoretical Aspects of Computing - Ictac 2018: 15th Inter 【全球购】进口原版图书，预计3-6周左右到国内
¥749.00
海外直订Theoretical Aspects of Computing - ICTAC 2008 计算的理论范畴- I
¥553.00
预订 Theoretical Aspects of Computing -- ICTAC 2013 预订商品
¥608.00
海外直订Theoretical Aspects of Computing -- ICTAC 2011: 8th Inte
¥639.00
3-6周达 Theoretical Aspects of Computing – ICTAC 2022 [ISBN:97 【全球购】进口原版图书，预计3-6周左右到国内
¥511.00
预订 Theoretical Aspects of Computing - ICTAC 2008 [ISBN:97835 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
海外直订Theoretical Aspects of Computing - Ictac 2018: 15th Inte
¥954.00
海外直订Theoretical Aspects of Computing - Ictac 2019: 16th Inte
¥534.00
海外直订Theoretical Aspects of Computing - Ictac 2015: 12th Inte
¥552.00
预订 Theoretical Aspects of Computing - ICTAC 2004 [ISBN:97835 【全球购】进口原版图书，一般5-8周左右到国内
¥1279
预订 Theoretical Aspects of Computing - Ictac 2005: Second Int 【全球购】进口原版图书，一般5-8周左右到国内
¥1281
预订 Theoretical Aspects of Computing - Ictac 2014: 11th Inter 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
3-6周达 Theoretical Aspects of Computing -- ICTAC 2013 [ISBN:9 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Theoretical Aspects of Computing - Ictac 2006: Third Int
¥553.00
3-6周达 Theoretical Aspects of Computing: ICTAC 2010 [ISBN:978 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Theoretical Aspects of Computing - ICTAC 2009 [ISBN:97836 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
3-6周达 Theoretical Aspects of Computing - ICTAC 2007 [ISBN:97 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Theoretical Aspects of Computing -- ICTAC 2011: 8th In 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Theoretical Aspects of Computing - Ictac 2019: 16th Inter 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
3-6周达 Theoretical Aspects of Computing - Ictac 2015: 12th In 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Theoretical Aspects of Computing - ICTAC 2006 [ISBN:97835 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
海外直订Theoretical Aspects of Computing - Ictac 2023: 20th Inte
¥765.00
海外直订Theoretical Aspects of Computing--ICTAC 2009 计算的理论方面——IC
¥553.00
海外直订Theoretical Aspects of Computing - Ictac 2017: 14th Inte
¥534.00
3-6周达 Theoretical Aspects of Computing - Ictac 2012: 9th Int 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥466.00
海外直订Theoretical Aspects of Computing - Ictac 2012: 9th Inter
¥588.00
3-6周达 Theoretical Aspects of Computing – ICTAC 2023 [ISBN:97 【全球购】进口原版图书，预计3-6周左右到国内
¥756.00
3-6周达 Theoretical Aspects of Computing - Ictac 2017: 14th In 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Theoretical Aspects of Computing: ICTAC 2010 计算的理论方面：ICT
¥553.00
海外直订Theoretical Aspects of Computing - Ictac 2005: Second In
¥1033
预订 Theoretical Aspects of Computing – ICTAC 2024: 21st Inter 国外库房发货，通常付款后3-5周到货
¥803.00
【预订】Theoretical Aspects of Distributed Computing in Sensor N 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642148484 Author 作者 Sotiris Nikoletseas Computer Technology Institute Rion Pa Format 版本 精装 Pages Number 页数 914页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-01-05 Shipping Weight 商品重量 1512g Language 语种 英语 Book Contents 内容简介 Wireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks is a real challenge for abstract modelling, algorithmic design and analysis, but a solid foundational and theoretical background seems to be lacking. This book presents high-quality contributions by leading experts worldwide on the key algorithmic and complexity-theoretic aspects of wireless sensor networks. The intended audience includes researchers and graduate students working on senso
¥1217
【预订】Theoretical Aspects of Distributed Computing in Sensor N 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662519394 Author 作者 Sotiris Nikoletseas Computer Technology Institute Rion Pa Format 版本 平装-胶订 Pages Number 页数 914页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Shipping Weight 商品重量 1612g Language 语种 英语 Book Contents 内容简介 Wireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks is a real challenge for abstract modelling, algorithmic design and analysis, but a solid foundational and theoretical background seems to be lacking. This book presents high-quality contributions by leading experts worldwide on the key algorithmic and complexity-theoretic aspects of wireless sensor networks. The intended audience includes researchers and graduate students working o
¥1217
【预订】Theoretical Aspects of Evolutionary Computing 9783642086 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642086762 Author 作者 Kallel Format 版本 平装-胶订 Pages Number 页数 499页 Publication Date 出版日期 2010-12-07 Language 语种 英语 Book Contents 内容简介 During the first week of September 1999, the Second EvoNet Summer School on Theoretical Aspects of Evolutionary Computing was held at the Middelheim cam? pus of the University of Antwerp, Belgium. Originally intended as a small get? together of PhD students interested in the theory of evolutionary computing, the summer school grew to become a successful combination of a four-day workshop with over twenty researchers in the field and a two-day lecture series open to a wider audience. This book is based on the lectures and workshop contributions of this summer school. Its first part consists of tutorial papers which introduce the reader to a num? ber of important directions in the theory of evolutionary computing. The tut
¥1825
【预订】Theoretical Aspects of Evolutionary Computing 9783540673 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540673965 Author 作者 Kallel Format 版本 精装 Pages Number 页数 499页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-05-08 Language 语种 英语 Book Contents 内容简介 During the first week of September 1999, the Second EvoNet Summer School on Theoretical Aspects of Evolutionary Computing was held at the Middelheim cam? pus of the University of Antwerp, Belgium. Originally intended as a small get? together of PhD students interested in the theory of evolutionary computing, the summer school grew to become a successful combination of a four-day workshop with over twenty researchers in the field and a two-day lecture series open to a wider audience. This book is based on the lectures and workshop contributions of this summer school. Its first part consists of tutorial papers which introduce the reader to a num? ber of important directions in
¥1825
预订 Theoretical Aspects of Evolutionary Computing [ISBN:97836 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥1839
预订 Theoretical Aspects of Evolutionary Computing [ISBN:97835 【全球购】进口原版图书，约3-6周到达国内后发出
¥1589
海外直订Theoretical Aspects of Evolutionary Computing 进化计算的理论方面
¥1550
3-6周达 Theoretical Aspects of Distributed Computing in Sensor 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1010
【3-6周达】高被引Theoretical Aspects of Distributed Computing in Se 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
Theoretical Aspects of Computing - ICTAC 2005计算的理论方面 - ICTAC
¥716.00
2004计算的理论方面Theoretical Aspects of Computing - ICTAC
The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes. —proceedings （published in time for the respective conference） —post-proceedings （consisting of thoroughly revised final full papers） —research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）
¥676.20
计算的理论方面 - ICTAC 2006 /会议录/Theoretical aspects of computing -
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
¥464.20定价：¥587.60 (7.9折)
