海外直订Programming Languages and Systems in Computational Econo
¥1542
海外直订Programming Languages and Systems: 31st European Symposi
¥425.00
【预订】Programming Languages and Systems 9783030720186 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030720186 Format 版本 平装-胶订 Pages Number 页数 693页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.4 cm Shipping Weight 商品重量 2150g Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
¥486.00
【预订】Programming Languages and Systems: 15th Asian Symposium, 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319712369 Author 作者 Chang, Bor-Yuh Evan Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-11-19 Language 语种 英语
¥608.00
【预订】Programming Languages and Systems 9781013271243 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271243 Format 版本 平装-胶订 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1900-01-01 Language 语种 其它（含多语）
¥2201
【预订】Programming Languages and Systems 9783662544334 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Programming Languages and Systems 9783540297352 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540297352 Author 作者 Yi Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-10-21 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more.
¥608.00
【预订】Programming Languages and Systems 9783540787389 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540787389 Author 作者 Sophia Drossopoulou Format 版本 平装-胶订 Pages Number 页数 402页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-03-18 Shipping Weight 商品重量 635g Language 语种 英语 Book Contents 内容简介 ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprisedve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT, AVIS, Bytecode, CMCS, COCV, DCC, FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, andWRLA), ninetutorials, andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were
¥608.00
【预订】Programming Languages and Systems 9783642197178 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642197178 Author 作者 Barthe Format 版本 平装-胶订 Publication Date 出版日期 2011-03-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
¥608.00
【预订】Programming Languages and Systems 9783030890506 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030890506 Format 版本 平装-胶订 Pages Number 页数 321页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-10-26 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1040g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.* The conference was held in a hybrid format due to the COVID-19 pandemic.
¥913.00
【预订】Programming Languages and Systems 9783540766360 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540766360 Author 作者 Zhong Shao Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-11-07 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues.
¥608.00
【预订】Programming Languages and Systems 9783642548321 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783662466681 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Programming Languages and Systems 9783319127354 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems: 27th European Symposi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013269882 Author 作者 Amal Ahmed(Created by) Format 版本 平装-胶订 Pages Number 页数 1056页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 2.07 Shipping Weight 商品重量 5.27 Language 语种 其它（含多语）
¥2709
【预订】Programming Languages and Systems 9783540418627 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540418627 Author 作者 Sands Format 版本 平装-胶订 Pages Number 页数 438页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-03-21 Language 语种 英语 Book Contents 内容简介 ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these -
¥608.00
【预订】Programming Languages and Systems 9783540254355 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540254355 Author 作者 Sagiv Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-03-23 Language 语种 英语 Book Contents 内容简介 ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations t
¥608.00
【预订】Programming Languages and Systems: 11th European 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems: 18th European 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems in Computational 美国库房发货，通常付款后3-5周到货！
¥1825
【预订】Programming Languages and Systems: 19th European 美国库房发货，通常付款后3-5周到货！
¥1217
【预售 按需印刷】Programming Languages and Systems
¥671.50
【预订】Programming Languages and Systems 9783540205364 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540205364 Author 作者 Ohori Format 版本 平装-胶订 Pages Number 页数 434页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-12 Language 语种 英语 Book Contents 内容简介 With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues wh
¥608.00
【预订】Programming Languages and Systems 9783540489375 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540489375 Author 作者 Kobayashi Format 版本 平装-胶订 Pages Number 页数 423页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-11-06 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions were received. Each submission was reviewed by at least three Program Committee members with the help of external reviewers. The ProgramCommittee meeting was conducted electronically over a 2-week period. After careful discussion, the Program C- mittee selected 22 papers. I would like to sincerely thank all the members of the APLAS 2006 Program Committee for their excellent
¥608.00
【预订】Programming Languages and Systems: 10th Asian Symposium, 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783642370359 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783030644369 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030644369 Format 版本 平装-胶订 Pages Number 页数 374页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1210g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic.
¥608.00
【预订】Programming Languages and Systems 9783319265285 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783030993351 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030993351 Author 作者 Ilya Sergey Format 版本 平装-胶订 Pages Number 页数 14页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-04-15 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.25 Shipping Weight 商品重量 1.89 Language 语种 其它（含多语） Book Contents 内容简介 This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
¥486.00
【预订】Programming Languages and Systems 9783540672623 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540672623 Author 作者 Smolka Format 版本 平装-胶订 Pages Number 页数 428页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-03-15 Language 语种 英语 Book Contents 内容简介 ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within it
¥608.00
【预订】Programming Languages and Systems 9783030027674 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030027674 Author 作者 Ryu Format 版本 平装-胶订 Pages Number 页数 437页 Publication Date 出版日期 2018-10-22 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
¥608.00
【预订】Programming Languages and Systems 9783540713142 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540713142 Author 作者 Rocco De Nicola Format 版本 平装-胶订 Pages Number 页数 542页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-03-08 Language 语种 英语 Book Contents 内容简介 It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
¥1217
【预订】Programming Languages and Systems 9783540330950 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540330950 Author 作者 Sestoft Format 版本 平装-胶订 Pages Number 页数 342页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-03-16 Language 语种 英语 Book Contents 内容简介 ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance
¥608.00
【预订】Programming Languages and Systems: 17th Asian Symposium, 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030341749 Author 作者 Lin Format 版本 平装-胶订 Pages Number 页数 492页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-11-09 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1550g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
¥608.00
【预订】Programming Languages and Systems: 27th European Symposi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013269899 Author 作者 Amal Ahmed(Created by) Format 版本 精装 Pages Number 页数 1056页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 2.13 Shipping Weight 商品重量 5.94 Language 语种 其它（含多语）
¥2855
【预订】Programming Languages and Systems 9783030449131 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030449131 Author 作者 Müller Format 版本 平装-胶订 Pages Number 页数 772页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-18 Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 29thEuropean Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
¥486.00
【预订】Programming Languages and Systems 9783540213130 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540213130 Author 作者 Schmidt Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-03-18 Language 语种 英语 Book Contents 内容简介 This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to explaining fundamental issues in the specication, analysis, and implementation of programming languages and systems. The volume begins with a summary of an invited contribution by Peter O’Hearn,titledResources,ConcurrencyandLocalReasoning,andcontinueswith the 27 papers selected by the Program Committee from 118 submissions. Each submission was reviewed by at least thre
¥1582
【预订】Programming Languages and Systems 9783319898834 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319898834 Author 作者 Ahmed Format 版本 平装-胶订 Pages Number 页数 1058页 Publication Date 出版日期 2018-04-15 Language 语种 英语 Book Contents 内容简介 Thisbook is Open Access under a CC BY licence.This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.
¥608.00
【预订】Programming Languages and Systems: 8th European 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783319035413 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783540893295 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540893295 Author 作者 G. Ramalingam Format 版本 平装-胶订 Pages Number 页数 343页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-11-14 Shipping Weight 商品重量 545g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, int
¥608.00
【预订】Programming Languages and Systems 9783319479576 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783540008866 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540008866 Author 作者 Degano Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-03-14 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.
¥608.00
【预订】Programming Languages and Systems: 28th European Symposi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030171834 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-06 Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
¥608.00
【预售 按需印刷】Programming Languages and Systems
¥616.25
【预订】Programming Languages and Systems 9783642288685 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642288685 Author 作者 Seidl Format 版本 平装-胶订 Pages Number 页数 602页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-03-14 Shipping Weight 商品重量 937g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012.The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
¥608.00
【预订】Programming Languages and Systems 9783540643029 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540643029 Author 作者 Hankin Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-03-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP’98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
¥608.00
【预订】Programming Languages and Systems 9783662494974 美国库房发货，通常付款后3-5周到货！
¥608.00
【预售按需印刷】Programming Languages and Systems
¥769.25
【预订】Programming Languages and Systems: 32nd European Symposi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031300431 Format 版本 平装-胶订 Pages Number 页数 566页 Publisher 出版社 Springer Publication Date 出版日期 2023-04-18 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.17 Shipping Weight 商品重量 1.77 Language 语种 其它（含多语）
¥486.00
【预订】Programming Languages and Systems in Computational Econo 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461353690 Author 作者 Nielsen Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer US Publication Date 出版日期 2012-10-30 Product Dimensions 商品尺寸 23.4 x 15.6 x 2.4 cm Shipping Weight 商品重量 0.7 kg Language 语种 其它（含多语） Book Contents 内容简介 The developments within the computationally and numerically oriented ar? eas of Operations Research, Finance, Statistics and Economics have been sig? nificant over the past few decades. Each area has been developing its own computer systems and languages that suit its needs, but there is relatively little cross-fertilization among them yet. This volume contains a collection of papers that each highlights a particular system, language, model or paradigm from one of the computational disciplines, aimed at researchers and practitioners from the other fields. The 15 pape
¥1825
预订 Programming Languages and Systems in Computational Econom 【全球购】进口原版图书，一般5-8周左右到国内
¥1957
按需印刷Programming Languages and Systems 预订，预计下单后3-4周左右发货！
¥826.00
海外直订Programming Languages and Systems: 15th European Symposi
¥553.00
3-6周达 Programming Languages and Systems [ISBN:9783031210365] 【全球购】进口原版图书，预计3-6周左右到国内
¥602.00
3-6周达 Programming Languages and Systems: 19th Asian Symposiu 【全球购】进口原版图书，预计3-6周左右到国内
¥778.00
预订 Programming Languages and Systems: 16th European Symposiu 【全球购】进口原版图书，一般4~6周左右国内
¥1010
预订 Programming Languages and Systems [ISBN:9781013271243] 【全球购】进口原版图书，一般5-8周左右到国内
¥798.00
海外直订Programming Languages and Systems: 26th European Symposi
¥1193
3-6周达 Programming Languages and Systems: 33rd European Sympo 【全球购】进口原版图书，预计3-6周左右到国内
¥416.00
