【预订】Programming with Turing and Object Oriented Turing 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Programming the Web with Visual Basic.Net 美国库房发货，通常付款后3-5周到货！
¥567.00
【预订】Programming Environments for Massively Parallel Distribu 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】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.
¥548.00
¥673.20
【预售 按需印刷】Programming .Net Security
¥520.20
【预订】Programming the Internet of Things: An Introduction to B 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781492081418 Author 作者 King Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 O’Reilly Media Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 7 x 0.8 cm Shipping Weight 商品重量 1470g Language 语种 其它（含多语）
¥725.00
【预订】Programming in Visual Basic 2010: The Very Beginner's Gu 美国库房发货，通常付款后3-5周到货！
¥1996
【预订】Programming for Computations: Python: A Gentle Introduct 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319812823 Author 作者 Linge, Svein(作者) Format 版本 平装-胶订 Pages Number 页数 250页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 10 x 7 x 0.5 cm Shipping Weight 商品重量 970g Language 语种 英语
¥548.00
【预订】Programming Phase-Field Modeling 9783319411941 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319411941 Author 作者 S. Bulent Biner Format 版本 精装 Pages Number 页数 400页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-02-09 Shipping Weight 商品重量 1051g Language 语种 英语 Book Contents 内容简介 This textbook provides a fast-track pathway to numerical implementation of phase-field modeling—a relatively new paradigm that has become the method of choice for modeling and simulation of microstructure evolution in materials. It serves as a cookbook for the phase-field method by presenting a collection of codes that act as foundations and templates for developing other models with more complexity. Programming Phase-Field Modeling uses the Matlab/Octave programming package, simpler and more compact than other high-level programming languages, providing ease of use to the widest audience. Particular attention is devoted to
¥1424
【预订】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.
¥548.00
【预售 按需印刷】Programming Microsoft Dynamics 365 Busine
¥630.70
【预订】Programming in C++ 9783110595390 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783110595390 Format 版本 平装-胶订 Pages Number 页数 290页 Publisher 出版社 Walter de Gruyter Publication Date 出版日期 2019-01-21 Language 语种 英语 Book Contents 内容简介 The book presents an up-to-date overview of C++ programming with object-oriented programming concepts, with a wide coverage of classes, objects, inheritance, constructors, and polymorphism. Selection statements, looping, arrays, strings, function sorting and searching algorithms are discussed. With abundant practical examples, the book is an essential reference for researchers, students, and professionals in programming.
¥851.00
【预订】Programming Models for Parallel Computing 美国库房发货，通常付款后3-5周到货！
¥1005
¥877.20
【预订】Programming 101 9781484281932 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781484281932 Author 作者 Jeanine Meyer Format 版本 平装-胶订 Pages Number 页数 350页 Publisher 出版社 Apress Publication Date 出版日期 2022-08-17 Language 语种 其它（含多语） Book Contents 内容简介 Programming permeates almost all aspects of our lives. This includes being active on social media, shopping online, and participating in virtual courses. It also includes driving a car and using many devices. This book will teach you the basics of programming using the Processing programming language and provide practice with logical, algorithmic thinking. It can provide insight into what is involved in producing the technical infrastructure of our world. While reading this book, you can build programs based on your own ideas, using images you create or acquire and making connections to activities you enjoy.The chapters in the book will demonstrate the process of
¥515.00
【预订】Programming Persistent Memory 9781484249314 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781484249314 Author 作者 Scargall Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Apress Publication Date 出版日期 2019-12-26 Language 语种 英语 Book Contents 内容简介 Beginning and experienced programmers will use this comprehensive guide to persistent memory programming. You will understand how persistent memory brings together several new software/hardware requirements, and offers great promise for better performance and faster application startup times—a huge leap forward in byte-addressable capacity compared with current DRAM offerings.This revolutionary new technology gives applications significant performance and capacity improvements over existing technologies. It requires a new way of thinking and developing, which makes this highly disruptive to the IT/computing industry. The full spectrum of industry sectors that will benefit from this t
¥515.00
【预订】Programming in HTML and PHP: Coding for Scientists and E 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319569727 Author 作者 Brooks, David R Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-09-10 Language 语种 英语
¥658.00
【预订】Programming IOS 11: Dive Deep Into Views, View Controlle 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781491999226 Author 作者 Neuburg, Matt Format 版本 平装-胶订 Publisher 出版社 O'Reilly Media Publication Date 出版日期 2017-12-21 Language 语种 英语
¥757.00
【预订】Programming Languages: Implementations, Logics, and Prog 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540633983 Author 作者 Glaser Format 版本 平装-胶订 Pages Number 页数 428页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-08-13 Language 语种 英语 Book Contents 内容简介 This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP ’97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analy
¥548.00
【预订】PROGRAMMING IN C# 10 - Basic Techniques 9791221401783 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9791221401783 Author 作者 De Ghetto Format 版本 平装-胶订 Pages Number 页数 350页 Publisher 出版社 Youcanprint Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.61 x 6.69 x 0.73 Shipping Weight 商品重量 1.23磅 Language 语种 其它（含多语）
¥483.00
【预订】Programming Language Concepts (2017) 9783319607887 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319607887 Author 作者 Sestoft, Peter Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-09-25 Language 语种 英语
¥580.00
【预订】Programming Hive 9781449319335 美国库房发货，通常付款后3-5周到货！
¥541.00
【预订】Programming 9781783267064 美国库房发货，通常付款后3-5周到货！
¥736.00
【预订】Programming ASP.Net MVC 4 9781449320317 美国库房发货，通常付款后3-5周到货！
¥499.00
【预订】Programming IOS 13: Dive Deep Into Views, View Controlle 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781492074618 Author 作者 Neuburg Format 版本 平装-胶订 Pages Number 页数 1208页 Publisher 出版社 O’Reilly Media Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 6.9 x 1.6 cm Shipping Weight 商品重量 3600g Language 语种 英语
¥684.00
【预售 按需印刷】Programming of Articulators 北京发货，付款后10天内发货
¥957.00
【预订】Programming Heterogeneous MPSoCs 9783319006741 美国库房发货，通常付款后3-5周到货！
¥1095
【预订】Programming Languages and Systems 9783319035413 美国库房发货，通常付款后3-5周到货！
¥548.00
【预订】Programming Game AI by Example 美国库房发货，通常付款后3-5周到货！
¥589.00
【预售 按需印刷】Programming Languages and Systems
¥671.50
【预订】Programming for Adults: A Guide for Small and Medium 美国库房发货，通常付款后3-5周到货！
¥1111
【预订】Programming the PIC Microcontroller with MBasic 美国库房发货，通常付款后3-5周到货！
¥949.00
【预售 按需印刷】Programming ASP.NET MVC 4
¥583.10
【预订】Programming The Boundary Element Method - An 美国库房发货，通常付款后3-5周到货！
¥953.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
¥1424
【预售 按需印刷】Programming with ASP.NET 北京发货，付款后10天内发货
¥1203
【预订】Programming Behavioral Experiments with MATLAB and Psych 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781138671928 Author 作者 Erman Misirlisoy Format 版本 精装 Pages Number 页数 80页 Publisher 出版社 Routledge Publication Date 出版日期 2016-11-17 Shipping Weight 商品重量 310g Language 语种 英语 Book Contents 内容简介 A step-by-step guide for students and researchers in psychology and neuroscience, aimed at beginners and offering a clear and concise tutorial in how to program a complete experiment with MATLAB
¥1958
【预订】Programming Elastic Mapreduce: Using Aws Services to Bui 美国库房发货，通常付款后3-5周到货！
¥473.00
【预售 按需印刷】Programming Interactivity 北京发货，付款后10天内发货
¥489.01
【预订】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.
¥548.00
【预订】Programming Languages: Principles and Practices 97816324 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781632409058 Format 版本 平装-胶订 Publisher 出版社 Wiley Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1751
【预订】Programming in the 1990s 9780387973821 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780387973821 Author 作者 Cohen Format 版本 平装-胶订 Pages Number 页数 265页 Publisher 出版社 Springer Publication Date 出版日期 1990-10-02 Product Dimensions 商品尺寸 9.1 x 6.1 x 0.5 cm Language 语种 英语 Book Contents 内容简介 Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by ’induction’: features of some famous programming languages are given operational meaning (e.g. a loop ’goes round and round’), a number of examples are shown, and by induction, we are asked to develop other programs, often radically different from the ones we’ve seen. Basically we are taught to guess our programs, and then to patch up our guesses. Our errors are given the cute name of ’bugs’. Fixing them becomes puzzle-solving, as does finding tricks that exploit or avoid poorly designed fea
¥548.00
【预订】Programming Methodology 9781441929648 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441929648 Author 作者 Mclver Format 版本 平装-胶订 Pages Number 页数 470页 Publication Date 出版日期 2010-12-03 Language 语种 英语 Book Contents 内容简介 The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people to pull everything together in an acceptable timescale. The question of how pro gram? mers understand their own tasks, and how the
¥1205
【预订】Programming Languages and Systems: 18th European 美国库房发货，通常付款后3-5周到货！
¥548.00
【预售 按需印刷】Programming Microsoft Dynamics Nav
¥729.30
【预订】Programming Many-Core Chips 9781489991690 美国库房发货，通常付款后3-5周到货！
¥1228
【预订】Programming for People with Special Needs: A Guide for M 美国库房发货，通常付款后3-5周到货！
¥544.00
【预订】Programming for People with Special Needs: A Guide for M 美国库房发货，通常付款后3-5周到货！
¥1174
【预订】Programming Finite Elements in Java 美国库房发货，通常付款后3-5周到货！
¥985.00
【预订】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 -
¥548.00
【预订】Programming Constraint Services 9783540433712 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540433712 Author 作者 Schulte Format 版本 平装-胶订 Pages Number 页数 176页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-03-20 Language 语种 英语 Book Contents 内容简介 Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Articial Intelligence, Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic search. Constraint Programming is based on an abstraction that decomposes a problem solver into a reusable constraint engine and a declarative program modeling the problem. The constraint engine implements the required pr- agation and search algorithms. It can be realized as a library for a general purpose programming language (e.g. C++), as an extension of an existing language
¥548.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
¥548.00
【预订】Programming and Performance Visualization Tools 97830301 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030178710 Author 作者 Abhinav Bhatele Format 版本 平装-胶订 Pages Number 页数 285页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-04-25 Language 语种 英语 Book Contents 内容简介 This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International Workshop on Visual Performance Analysis, VPA 2017 and VPA 2018.The 11 full papers of ESPT 2017 and ESPT 2018 and the 6 full papers of VPA 2017 and VPA 2018 were carefully reviewed and selected for inclusion in this book. The papers discuss the requirements for exascale-
¥635.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
¥548.00
【预订】Programming Sound with Pure Data: Make Your Apps Come Al 美国库房发货，通常付款后3-5周到货！
¥538.00
【预订】Programming Wcf Services: Design and Build Maintainable 美国库房发货，通常付款后3-5周到货！
¥811.00
【预订】Programming Visual Illusions for Everyone (2018) 9783319 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319640655 Author 作者 Bertamini, Marco Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-09-28 Language 语种 英语
¥492.00
【预订】Programming Languages; 21st Century Milestones 美国库房发货，通常付款后3-5周到货！
¥867.00
【预订】Programming-Based Formal Languages and Automata Theory 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031439728 Author 作者 Marco T. Morazán Format 版本 精装 Pages Number 页数 590页 Publisher 出版社 Springer Nature Switzerland AG Publication Date 出版日期 2023-12-04 Language 语种 其它（含多语） Book Contents 内容简介 This textbook introductes formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in computational theory courses, it is also quite different from many of them. Machines, grammars, and algorithms developed as part of a constructive proof are intended to be rendered as programs.The book is divided into four parts that build on each other. Part I reviews fundamental concepts. It introduces programming in FSM and reviews program design. In addition, it reviews essential mathematical background on sets, relations, and reasoning abou
¥658.00
京公网安备11010502037644号|经营许可证编号：合字B2-20160011|互联网药品信息服务资格证
购物车