【预订】Mathematical Foundations of Software Engineering 9783031 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031262111 Author 作者 O’Regan Format 版本 精装 Pages Number 页数 519页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-05-18 Language 语种 其它(含多语) Book Contents 内容简介 This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications. Topics and features: * Addresses core mathematics for critical thinking and problem solving * Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument. * Examines number theory and its applications to cryptography * Considers the underlying mathematics of error-correcting
¥884.00
海外直订Mathematical Approaches to Software Quality 软件质量的数学方法
¥943.00
明星店铺 中华商务进口图书旗舰店
预订Rhetoric, Comedy, and the Violence of Language in Aristoph 预订,预计下单后3-4周左右发货!
¥1993.1
【预订】Introduction to the History of Computing: A Computing Hi 美国库房发货,通常付款后3-5周到货!
¥677.00
海外直订Optimised Projections for the AB Initio Simulation of La
¥1033
明星店铺 中华商务进口图书旗舰店
【预订】The Innovation in Computing Companion 9783030026189 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030026189 Author 作者 O’Regan Format 版本 平装-胶订 Pages Number 页数 298页 Publication Date 出版日期 2019-01-11 Language 语种 英语 Book Contents 内容简介 This encyclopedic reference provides a concise and engaging overview of the groundbreaking inventions and conceptual innovations that have shaped the field of computing, and the technology that runs the modern world. Each alphabetically-ordered entry presents a brief account of a pivotal innovation and the great minds behind it, selected from a wide range of diverse topics.Topics and features:Describes the development of Babbage’s computing machines, Leibniz’s binary arithmetic, Boole’s symbolic logic, and Von Neumann architectureReviews a range of historical analog and digital computers, significant mainframes and minicomputers, and pioneering home and personal computersDiscusses a selection of programming lan
¥247.00
预订 Guide to Discrete Mathematics: An Accessible Introduction 【全球购】进口原版图书,约5-8周到达国内后发出
¥562.00
预订 A Brief History of Computing (2021) [ISBN:9783030665982] 【全球购】进口原版图书,约5-8周到达国内后发出
¥582.00
海外直订Successfully Teaching and Managing Children with ADHD: A
¥328.00
明星店铺 中华商务进口图书旗舰店
【预订】Existence Theory for Nonlinear Integral and Integrodiffe 美国库房发货,通常付款后3-5周到货!
¥520.00
海外直订Existence Theory for Nonlinear Integral and Integrodiffe
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Concise Guide to Formal Methods 形式方法简明指南
¥747.00
明星店铺 中华商务进口图书旗舰店
海外直订Giants of Computing: A Compendium of Select, Pivotal Pio
¥475.00
明星店铺 中华商务进口图书旗舰店
海外直订A Practical Approach to Software Quality 软件质量的实用方法
¥588.00
明星店铺 中华商务进口图书旗舰店
按需印刷Global English and Political Economy 预订,预计下单后2-3周左右发货!
¥1560
预订Challenging Behaviours Pocketbook:Challenging Behaviours P 预订,预计下单后2-3周左右发货!
¥166.00
【预售 按需印刷】Fabrication and Characterization of Semic
¥789.65
海外直订Brief History of Computing 计算简史
¥773.00
明星店铺 中华商务进口图书旗舰店
¥368.00
明星店铺 中华商务进口图书旗舰店
【预订】World of Computing 9783319758435 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319758435 Author 作者 O’Regan Format 版本 平装-胶订 Pages Number 页数 320页 Publication Date 出版日期 2018-04-13 Language 语种 英语 Book Contents 内容简介 This engaging work provides a concise introduction to the exciting world of computing, encompassing the theory, technology, history, and societal impact of computer software and computing devices. Spanning topics from global conflict to home gaming, international business, and human communication, this text reviews the key concepts unpinning the technology which has shaped the modern world.Topics and features: introduces the foundations of computing, the fundamentals of algorithms, and the essential concepts from mathematics and logic used in computer science; presents a concise history of computing, discussing the historical figures who made important contributions, and the machines which formed major milestones; examines the fields of
¥411.00
预订 高被引Mathematical Approaches to Software Quality [ISBN:9781 【全球购】进口原版图书,约5-8周到达国内后发出
¥903.00
预订 A Brief History of Computing [ISBN:9783030666019] 【全球购】进口原版图书,约5-8周到达国内后发出
¥539.00
按需印刷A Guide to Business Mathematics 预订,预计下单后2-3周左右发货!
¥1425
【预订】Why Red Doesn't Sound Like a Bell: Understanding the Fee 美国库房发货,通常付款后3-5周到货!
¥555.00
【预订】Non-Instantaneous Impulses in Differential Equations (20 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319663838 Author 作者 O'Regan, Donal Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2017-06-11 Language 语种 英语
¥1022
海外直订Australian Television Culture 澳大利亚电视文化
¥398.00
明星店铺 中华商务进口图书旗舰店
海外直订Mathematical Approaches to Software Quality 软件质量的数学方法
¥1033
明星店铺 中华商务进口图书旗舰店
【预订】Successfully Managing ADHD: A Handbook for Sencos and Te 美国库房发货,通常付款后3-5周到货!
¥1369
【中商原版】教师小指南 课堂支持行为A Little Guide for Teachers Supporting Beh
¥118.00
明星店铺 中华商务进口图书旗舰店
按需印刷A Little Guide for Teachers: Supporting Behaviour in the 预订,预计下单后2-3周左右发货!
¥133.00
预订 Set Valued Mappings with Applications in Nonlinear Analys 预订,预计下单后3-4周左右发货!
¥1027.9
海外直订Introduction to Software Process Improvement 软件过程改进导论
¥415.00
明星店铺 中华商务进口图书旗舰店
【预订】Concise Guide to Formal Methods: Theory, Fundamentals an 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319640204 Author 作者 O'Regan, Gerard Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-08-24 Language 语种 英语
¥658.00
【预订】Fabrication and Characterization of Semiconductor Nanowi 美国库房发货,通常付款后3-5周到货!
¥837.00
【预订】Existence Theory for Nonlinear Ordinary Differential Equ 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789048148356 Author 作者 O’Regan Format 版本 平装-胶订 Pages Number 页数 200页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-12-06 Language 语种 英语 Book Contents 内容简介 We begin our applications of fixed point methods with existence of solutions to certain first order initial initial value problems. This problem is relatively easy to treat, illustrates important methods, and in the end will carry us a good deal further than may first meet the eye. Thus, we seek solutions to Y’. = I(t,y) (1. 1 ) { yeO) = r n where I: I X R n ---+ R and I = [0, b]. We shall seek solutions that are de? fined either locally or globally on I, according to the assumptions imposed on I. Notice that (1. 1) is a system of first order equations because I takes its values in Rn. In section 3. 2 we will first establish some basic existence theorems which guarante
¥1431
【预订】ADHD 9780826492340 美国库房发货,通常付款后3-5周到货!
¥349.00
【预订】Mathematics in Computing 9783030342081 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030342081 Author 作者 O’Regan Format 版本 平装-胶订 Pages Number 页数 458页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-02-10 Language 语种 英语 Book Contents 内容简介 This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems.This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, m
¥520.00
【预订】Australian National Cinema 美国库房发货,通常付款后3-5周到货!
¥522.00
【预订】Maggie, the Conductor and Other Stories 美国库房发货,通常付款后3-5周到货!
¥162.00
海外直订Concise Guide to Software Engineering: From Fundamentals
¥515.00
明星店铺 中华商务进口图书旗舰店
海外直订Guide to Discrete Mathematics: An Accessible Introductio
¥753.00
明星店铺 中华商务进口图书旗舰店
¥541.50
海外直订Existence Theory for Nonlinear Integral and Integrodiffe
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Pillars of Computing: A Compendium of Select, Pivotal Te
¥432.00
明星店铺 中华商务进口图书旗舰店
海外直订Optimised Projections for the AB Initio Simulation of La
¥1086
明星店铺 中华商务进口图书旗舰店
预订 A Practical Approach to Software Quality [ISBN:9780387953 【全球购】进口原版图书,约5-8周到达国内后发出
¥473.00
海外直订医药图书Why Red Doesnt Sounds Like a Bell C 为什么红色听起来不像字母C
¥695.00
明星店铺 中华商务进口图书旗舰店
【预订】A Brief History of Computing 9783030665982 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030665982 Author 作者 O’Regan Format 版本 精装 Pages Number 页数 437页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-05 Language 语种 英语 Book Contents 内容简介 This lively and fascinating text traces the key developments in computation – from 3000 B.C. to the present day – in an easy-to-follow and concise manner. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, exercises, and a glossary; presents detailed information on major figures in computing, such as Boole, Babbage, Shannon, Turing, Zuse and Von Neumann; discusses the earliest computers developed in the United States, Germany and Britain; discusses the development of the IBM 360 family of computers and its importance; discusses the invention of the transistor and integr
¥667.00
预订 高被引Optimised Projections for the AB Initio Simulation of 【全球购】进口原版图书,约5-8周到达国内后发出
¥897.00
海外直订Existence Theory for Nonlinear Ordinary Differential Equ
¥1550
明星店铺 中华商务进口图书旗舰店
海外直订Concise Guide to Software Testing 软件测试简明指南
¥515.00
明星店铺 中华商务进口图书旗舰店
海外直订A Practical Approach to Software Quality 软件质量的实用方法
¥588.00
明星店铺 中华商务进口图书旗舰店
海外直订Australian Television Culture 澳大利亚电视文化
¥1588
明星店铺 中华商务进口图书旗舰店
海外直订Giants of Computing: A Compendium of Select, Pivotal Pio
¥475.00
明星店铺 中华商务进口图书旗舰店
预订 高被引Introduction to Software Process Improvement [ISBN:978 【全球购】进口原版图书,约5-8周到达国内后发出
¥306.00
海外直订Successfully Teaching and Managing Children with ADHD: A
¥333.00
明星店铺 中华商务进口图书旗舰店
【预订】Mathematics in Computing 9781447145332 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781447145332 Author 作者 O’Regan Format 版本 精装 Pages Number 页数 288页 Publication Date 出版日期 2012-11-16 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 625g Language 语种 英语 Book Contents 内容简介 This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, forma
¥623.00
预订 Ann Devine: Handle With Care 预订,预计下单后3-4周左右发货!
¥175.75
预订 Wonderland: An Anthology 预订,预计下单后3-4周左右发货!
¥121.60
预订 Fabrication and Characterization of Semiconduct... 978365 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783659694592 作者: O'Regan Colm 装帧: 平装-胶订 页数: 204页 出版社: Omnium Gmbh & Co. Kg. 尺寸: 0.9 x 0.6 x 22.8 cm 出版日期: 2016-01-15 重量: 1g 语种: 其它(含多语) 内容简介 One-dimensional semiconductor nanowires are considered to be promi
¥752.00