TOP
月月讀書金,登入即領,滿600現折50!!
搜尋結果 /

Programming HTML5 Applications

3455
1 / 87
Bionanotechnology:Concepts and Applications
75 折
出版日:2021/02/04 作者:Ljiljana Fruk  出版社:Cambridge Univ Pr  裝訂:平裝
Connecting theory with real-life applications, this is the first ever textbook to equip students with a comprehensive knowledge of all the key concepts in bionanotechnology. By bridging the interdisciplinary gap from which bionanotechnology emerged, it provides a systematic introduction to the subject, accessible to students from a wide variety of backgrounds. Topics range from nanomaterial preparation, properties and biofunctionalisation, and analytical methods used in bionanotechnology, to bioinspired and DNA nanotechnology, and applications in biosensing, medicine and tissue engineering. Throughout the book, features such as 'Back to basics' and 'Research report' boxes enable students to build a strong theoretical knowledge and to link this to practical applications and up-to-date research. With over 200 detailed, full-colour illustrations and more than 100 end-of-chapter problems, this is an essential guide to bionanotechnology for any student studying this exciting, fast-developin
優惠價: 75 2204
庫存:1
Introduction to Banach Spaces ─ Analysis and Probability
75 折
出版日:2017/11/30 作者:Daniel Li  出版社:Cambridge Univ Pr  裝訂:精裝
This two-volume text provides a complete overview of the theory of Banach spaces, emphasising its interplay with classical and harmonic analysis (particularly Sidon sets) and probability. The authors give a full exposition of all results, as well as numerous exercises and comments to complement the text and aid graduate students in functional analysis. The book will also be an invaluable reference volume for researchers in analysis. Volume 1 covers the basics of Banach space theory, operatory theory in Banach spaces, harmonic analysis and probability. The authors also provide an annex devoted to compact Abelian groups. Volume 2 focuses on applications of the tools presented in the first volume, including Dvoretzky's theorem, spaces without the approximation property, Gaussian processes, and more. In volume 2, four leading experts also provide surveys outlining major developments in the field since the publication of the original French edition.
優惠價: 75 3850
庫存:1
Enumerative Combinatorics
75 折
出版日:2011/11/30 作者:Richard P. Stanley  出版社:Cambridge Univ Pr  裝訂:平裝
Richard Stanley's two-volume basic introduction to enumerative combinatorics has become the standard guide to the topic for students and experts alike. This thoroughly revised second edition of Volume 1 includes ten new sections and more than 300 new exercises, most with solutions, reflecting numerous new developments since the publication of the first edition in 1986. The author brings the coverage up to date and includes a wide variety of additional applications and examples, as well as updated and expanded chapter bibliographies. Many of the less difficult new exercises have no solutions so that they can more easily be assigned to students. The material on P-partitions has been rearranged and generalized; the treatment of permutation statistics has been greatly enlarged; and there are also new sections on q-analogues of permutations, hyperplane arrangements, the cd-index, promotion and evacuation and differential posets.
優惠價: 75 2339
庫存:1
Invariants of Quadratic Differential Forms
75 折
出版日:2004/06/03 作者:Oswald Veblen  出版社:Cambridge Univ Pr  裝訂:平裝
Written in the wake of the advent of Relativity by an author who made important contributions to projective and differential geometry, and topology, this early Cambridge Tract in Mathematics and Theoretical Physics aimed to assist students of the time from the fields of differential geometry and mathematical physics. Beginning by introducing formal preliminaries, the text continues, bringing the underlying differential invariant theory that to this day remains relevant in a range of geometrical and physical applications, to the fore.
優惠價: 75 1266
庫存:1
Putting Auction Theory to Work
75 折
出版日:2004/01/12 作者:Paul Milgrom  出版社:Cambridge Univ Pr  裝訂:平裝
This book provides a comprehensive introduction to modern auction theory and its important new applications. It is written by a leading economic theorist whose suggestions guided the creation of the new spectrum auction designs. Aimed at graduate students and professionals in economics, the book gives the most up-to-date treatments of both traditional theories of 'optimal auctions' and newer theories of multi-unit auctions and package auctions, and shows by example how these theories are used. The analysis explores the limitations of prominent older designs, such as the Vickrey auction design, and evaluates the practical responses to those limitations. It explores the tension between the traditional theory of auctions with a fixed set of bidders, in which the seller seeks to squeeze as much revenue as possible from the fixed set, and the theory of auctions with endogenous entry, in which bidder profits must be respected to encourage participation.
優惠價: 75 1900
庫存:1
Management Across Cultures ― Developing Global Competencies(Third Edition)
75 折
出版日:2016/09/30 作者:Richard M. Steers; Luciara Nardon; Carlos J. Sanchez-Runde  出版社:Cambridge Univ Pr  裝訂:精裝
在全球化已成日常的工作環境中,管理者必須具備跨文化理解與行動能力。本書第三版以「所有管理者都是全球管理者」為前提,重新梳理跨文化管理的理論與實踐。作者不僅介紹主要文化模型,也深入探討領導、溝通與倫理在不同文化脈絡中的差異與調適方式。更新後的內容更貼近現實職場,透過真實案例與具體策略,協助讀者面對國際指派、跨國團隊與多元勞動力的挑戰。語言清楚、結構明確,是學生建立基礎視野、也是專業人士精進能力的重要讀本。The third edition of this popular textbook has been thoroughly expanded and updated throughout to explore the latest approaches to cross-cultural management, presenting strategies and tactics for managing international assignments and global teams. With a clear emphasis on learning and development, this new edition introduces a global management model, along with enhanced 'Applications' and 'Manager's Notebooks', to encourage students to acquire skills in multicultural competence that will be highly valued by their future employers. These skills have never been more important, in a world where, increasingly, all managers are global managers and where management practices and processes can differ significantly across national and regional boundaries. This textbook is suitable for student
優惠價: 75 4500
庫存:1
Foundations of Probabilistic Programming
90 折
出版日:2020/12/31 作者:Gilles Barthe  出版社:Cambridge Univ Pr  裝訂:精裝
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.
優惠價: 9 3023
無庫存
TinyOS Programming
90 折
出版日:2009/04/13 作者:Philip Levis  出版社:Cambridge Univ Pr  裝訂:平裝
Do you need to know how to write systems, services, and applications using the TinyOS operating system? Learn how to write nesC code and efficient applications with this indispensable guide to TinyOS programming. Detailed examples show you how to write TinyOS code in full, from basic applications right up to new low-level systems and high performance applications. Two leading figures in the development of TinyOS also explain the reasons behind many of the design decisions made and, for the first time, how nesC relates to and differs from other C dialects. Handy features such as a library of software design patterns, programming hints and tips, end-of-chapter exercises, and an appendix summarizing the basic application-level TinyOS APIs make this the ultimate guide to TinyOS for embedded systems programmers, developers, designers, and graduate students.
優惠價: 9 2690
無庫存
Concurrent Programming in ML
90 折
出版日:2007/09/17 作者:John H. Reppy  出版社:Cambridge Univ Pr  裝訂:平裝
Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.
優惠價: 9 2456
無庫存
The Haskell School of Expression―Learning Functional Programming Through Multimedia
90 折
出版日:2000/04/01 作者:Paul Hudak  出版社:Cambridge Univ Pr  裝訂:平裝
Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in recent years because of its simplicity, conciseness, and clarity. This book teaches functional programming as a way of thinking and problem solving, using Haskell, the most popular purely functional language. Rather than using the conventional (boring) mathematical examples commonly found in other programming language textbooks, the author uses examples drawn from multimedia applications, including graphics, animation, and computer music, thus rewarding the reader with working programs for inherently more interesting applications. Aimed at both beginning and advanced programmers, this tutorial begins with a gentle introduction to functional programming and moves rapidly on to more advanced topics. Details about progamming in Haskell are presented in boxes throughout the text so they can be easil
優惠價: 9 2398
無庫存
出版日:2000/02/28 作者:Paul Hudak  出版社:Cambridge Univ Pr  裝訂:精裝
Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in recent years because of its simplicity, conciseness, and clarity. This book teaches functional programming as a way of thinking and problem solving, using Haskell, the most popular purely functional language. Rather than using the conventional (boring) mathematical examples commonly found in other programming language textbooks, the author uses examples drawn from multimedia applications, including graphics, animation, and computer music, thus rewarding the reader with working programs for inherently more interesting applications. Aimed at both beginning and advanced programmers, this tutorial begins with a gentle introduction to functional programming and moves rapidly on to more advanced topics. Details about progamming in Haskell are presented in boxes throughout the text so they can be easil
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1999/08/13 作者:John H. Reppy  出版社:Cambridge Univ Pr  裝訂:精裝
Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nominal Sets ─ Names and Symmetry in Computer Science
滿額折
出版日:2013/07/15 作者:Andrew M. Pitts  出版社:Cambridge Univ Pr  裝訂:精裝
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.
優惠價: 9 3041
無庫存
出版日:2013/05/31 作者:Michael R. Hansen  出版社:Cambridge Univ Pr  裝訂:精裝
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, mini-projects and links to further F# sources.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Functional Programming Using F#
滿額折
出版日:2013/05/31 作者:Michael R. Hansen  出版社:Cambridge Univ Pr  裝訂:平裝
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, mini-projects and links to further F# sources.
優惠價: 9 2456
無庫存
Introduction to Functional Programming Systems Using Haskell
90 折
出版日:1992/06/18 作者:Antony J. T. Davie  出版社:Cambridge Univ Pr  裝訂:平裝
Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Haskell is a new, internationally agreed and accepted functional language that is designed for teaching, research and applications, that has a complete formal description, that is freely available, and that is based on ideas that have a wide consensus. Thus it encapsulates some of the main thrusts of functional programming itself, which is a style of programming designed to confront the software crisis directly. Programs written in functional languages can be built up from smaller parts, and they can also be proved correct, important when software has to be reliable. Moreover, a certain amount of parallelism can be extracted from functional languages automatically. This book serves as an introduction both to functional programming and Haskell, and will be most useful to student
優惠價: 9 2398
無庫存
A First Course in Statistical Programming with R
滿額折
出版日:2021/05/31 作者:W. John Braun  出版社:Cambridge Univ Pr  裝訂:平裝
This third edition of Braun and Murdoch's bestselling textbook now includes discussion of the use and design principles of the tidyverse packages in R, including expanded coverage of ggplot2, and R Markdown. The expanded simulation chapter introduces the Box–Muller and Metropolis–Hastings algorithms. New examples and exercises have been added throughout. This is the only introduction you'll need to start programming in R, the computing standard for analyzing data. This book comes with real R code that teaches the standards of the language. Unlike other introductory books on the R system, this book emphasizes portable programming skills that apply to most computing languages and techniques used to develop more complex projects. Solutions, datasets, and any errata are available from www.statprogr.science. Worked examples - from real applications - hundreds of exercises, and downloadable code, datasets, and solutions make a complete package for anyone working in or learning practical data
優惠價: 9 2047
無庫存
出版日:2017/02/28 作者:Kevin D. Dorfman  出版社:Cambridge Univ Pr  裝訂:精裝
Designed primarily for undergraduates, but also graduates and practitioners, this textbook integrates numerical methods and programming with applications from chemical engineering. Combining mathematical rigor with an informal writing style, it thoroughly introduces the theory underlying numerical methods, its translation into MATLAB programs, and its use for solving realistic problems. Specific topics covered include accuracy, convergence and numerical stability, as well as stiffness and ill-conditioning. MATLAB codes are developed from scratch, and their implementation is explained in detail, all while assuming limited programming knowledge. All scripts employed are downloadable, and built-in MATLAB functions are discussed and contextualised. Numerous examples and homework problems - from simple questions to extended case studies - accompany the text, allowing students to develop a deep appreciation for the range of real chemical engineering problems that can be solved using numerica
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
JavaTech, an Introduction to Scientific and Technical Computing with Java
90 折
出版日:2010/06/10 作者:Clark S. Lindsey  出版社:Cambridge Univ Pr  裝訂:平裝
JavaTech is a practical introduction to the Java programming language with an emphasis on the features that benefit technical computing. After presenting the basics of object-oriented programming in Java, it examines introductory topics such as graphical interfaces and thread processes. It goes on to review network programming and develops Web client-server examples for tasks such as monitoring remote devices. The focus then shifts to distributed computing with RMI. Finally, it examines how Java programs can access the local platform and interact with hardware. Topics include combining native code with Java, communication via serial lines, and programming embedded processors. An extensive web site supports the book with additional instructional materials. JavaTech demonstrates the ease with which Java can be used to create powerful network applications and distributed computing applications. It will be used as a textbook for programming courses, and by researchers who need to learn Jav
優惠價: 9 3217
無庫存
出版日:2009/08/20 作者:R. B. Bapat  出版社:Cambridge Univ Pr  裝訂:平裝
This book provides an integrated treatment of the theory of nonnegative matrices (matrices with only positive numbers or zero as entries) and some related classes of positive matrices, concentrating on connections with game theory, combinatorics, inequalities, optimisation and mathematical economics. The wide variety of applications, which include price fixing, scheduling and the fair division problem, have been carefully chosen both for their elegant mathematical content and for their accessibility to students with minimal preparation. Many results in matrix theory are also presented. The treatment is rigorous and almost all results are proved completely. These results and applications will be of great interest to researchers in linear programming, statistics and operations research. The minimal prerequisites also make the book accessible to first-year graduate students.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Bluetooth Essentials for Programmers
90 折
出版日:2007/09/30 作者:Albert S. Huang  出版社:Cambridge Univ Pr  裝訂:平裝
This book provides an introduction to Bluetooth programming, with a specific focus on developing real code. The authors discuss the major concepts and techniques involved in Bluetooth programming, with special emphasis on how they relate to other networking technologies. They provide specific descriptions and examples for creating applications in a number of programming languages and environments including Python, C, Java, GNU/Linux, Windows XP, Symbian Series 60, and Mac OS X. No previous experience with Bluetooth is assumed, and the material is suitable for anyone with some programming background. The authors place special emphasis on the essential concepts and techniques of Bluetooth programming, starting simply and allowing the reader to quickly master the basic concepts before addressing advanced features.
優惠價: 9 2515
無庫存
出版日:2007/07/05 作者:Alan Burns  出版社:Cambridge Univ Pr  裝訂:精裝
Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005 language and the recent advances in real-time programming techniques. It will be of value to software professionals and advanced students of programming alike: indeed every Ada programmer will find it essential reading and a primary reference work that will sit alongside the language reference manual.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Deductive and Declarative Programming
90 折
出版日:2006/11/23 作者:Peter Padawitz  出版社:Cambridge Univ Pr  裝訂:平裝
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference fo
優惠價: 9 2281
無庫存
出版日:2005/10/13 作者:Clark S. Lindsey  出版社:Cambridge Univ Pr  裝訂:精裝
JavaTech is a practical introduction to the Java programming language with an emphasis on the features that benefit technical computing. After presenting the basics of object-oriented programming in Java, it examines introductory topics such as graphical interfaces and thread processes. It goes on to review network programming and develops Web client-server examples for tasks such as monitoring remote devices. The focus then shifts to distributed computing with RMI. Finally, it examines how Java programs can access the local platform and interact with hardware. Topics include combining native code with Java, communication via serial lines, and programming embedded processors. An extensive web site supports the book with additional instructional materials. JavaTech demonstrates the ease with which Java can be used to create powerful network applications and distributed computing applications. It will be used as a textbook for programming courses, and by researchers who need to learn Jav
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Object-Oriented Programming via Fortran 90/95
90 折
出版日:2003/01/13 作者:Ed Akin  出版社:Cambridge Univ Pr  裝訂:平裝
Learn how to write technical applications in a modern object-oriented approach, using Fortran 90 or 95. This book will teach you how to stop focusing on the traditional procedural abilities of Fortran and to employ the principles of object-oriented programming to produce clear, highly efficient executable codes. Get ready now to take advantage of all the features of the finalized, fully object-oriented Fortran 200X! In addition to covering the OOP methodologies the book also covers the basic foundation of the language and good programming skills, making the book valuable also as a good migration tool for experienced Fortran programmers who want to smoothly pick up the OOP paradigm. The author highlights common themes by using comparisons with Matlab and C++ and uses numerous cross-referenced examples to convey all concepts quickly and clearly. Complete code for the examples is included on the book's web page.
優惠價: 9 3392
無庫存
出版日:1997/03/28 作者:R. B. Bapat  出版社:Cambridge Univ Pr  裝訂:精裝
This book provides an integrated treatment of the theory of nonnegative matrices (matrices with only positive numbers or zero as entries) and some related classes of positive matrices, concentrating on connections with game theory, combinatorics, inequalities, optimisation and mathematical economics. The wide variety of applications, which include price fixing, scheduling and the fair division problem, have been carefully chosen both for their elegant mathematical content and for their accessibility to students with minimal preparation. Many results in matrix theory are also presented. The treatment is rigorous and almost all results are proved completely. These results and applications will be of great interest to researchers in linear programming, statistics and operations research. The minimal prerequisites also make the book accessible to first-year graduate students.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
A Practical Introduction to Denotational Semantics
90 折
出版日:1987/02/05 作者:L. Allison  出版社:Cambridge Univ Pr  裝訂:平裝
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.
優惠價: 9 1579
無庫存
出版日:2022/10/31 作者:Norman Ramsey  出版社:Cambridge Univ Pr  裝訂:精裝
Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-an
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Environment and Externality:Theory, Algorithms and Applications
90 折
出版日:2020/12/31 作者:Zili Yang  出版社:Cambridge Univ Pr  裝訂:平裝
This innovative book models pollution mitigation as a negative externality whilst also providing desirable and useful solutions, such as establishing the triangular equivalence relationship among the Lindahl equilibrium without transfers, the Nash bargaining solution with the payoffs of the Cournot-Nash equilibrium as the status quo point, and the social optimum under the Lindahl weights. By introducing programming algorithms to validate these relationships numerically, Zili Yang bridges the gap between analytical results and empirical modelling, ultimately solving the Lindahl equilibrium and hybrid Nash equilibria in the influential RICE model. This text demonstrates the complexity and variety of environment externality problems, ranging from mixed externality to correlated externalities to environmental externality under IRS and policy applications. Integrating theory, algorithms and applications in a comprehensive framework, The Environment and Externality will benefit scholars and
優惠價: 9 2105
無庫存
出版日:2020/12/31 作者:Zili Yang  出版社:Cambridge Univ Pr  裝訂:精裝
This innovative book models pollution mitigation as a negative externality whilst also providing desirable and useful solutions, such as establishing the triangular equivalence relationship among the Lindahl equilibrium without transfers, the Nash bargaining solution with the payoffs of the Cournot-Nash equilibrium as the status quo point, and the social optimum under the Lindahl weights. By introducing programming algorithms to validate these relationships numerically, Zili Yang bridges the gap between analytical results and empirical modelling, ultimately solving the Lindahl equilibrium and hybrid Nash equilibria in the influential RICE model. This text demonstrates the complexity and variety of environment externality problems, ranging from mixed externality to correlated externalities to environmental externality under IRS and policy applications. Integrating theory, algorithms and applications in a comprehensive framework, The Environment and Externality will benefit scholars and
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Learning Scientific Programming with Python
90 折
出版日:2020/10/31 作者:Christian Hill  出版社:Cambridge Univ Pr  裝訂:平裝
Learn to master basic programming tasks from scratch with real-life, scientifically relevant examples and solutions drawn from both science and engineering. Students and researchers at all levels are increasingly turning to the powerful Python programming language as an alternative to commercial packages and this fast-paced introduction moves from the basics to advanced concepts in one complete volume, enabling readers to gain proficiency quickly. Beginning with general programming concepts such as loops and functions within the core Python 3 language, and moving on to the NumPy, SciPy and Matplotlib libraries for numerical programming and data visualization, this textbook also discusses the use of Jupyter Notebooks to build rich-media, shareable documents for scientific analysis. The second edition features a new chapter on data analysis with the pandas library and comprehensive updates, and new exercises and examples. A final chapter introduces more advanced topics such as floating-p
優惠價: 9 2051
無庫存
Basic Computation and Programming With C
滿額折
出版日:2016/06/30 作者:Subrata Saha  出版社:Cambridge Univ Pr  裝訂:平裝
Providing in-depth coverage, this book covers the fundamentals of computation and programming in C language. Essential concepts including operators and expressions, input and output statements, loop statements, arrays, pointers, functions, strings and preprocessors are described in a lucid manner. A unique approach - 'Learn by quiz' - features questions based on confidence-based learning methodology. It helps the reader to identify the right answer with adequate explanation and reasoning as to why the other options are incorrect. Computer programs and review questions are interspersed throughout the text. The book is appropriate for undergraduate students of engineering, computer science and information technology. It can be used for self-study and assists in the understanding of theoretical concepts and their applications.
優惠價: 9 3334
無庫存
出版日:2016/05/12 作者:Vikram Krishnamurthy  出版社:Cambridge Univ Pr  裝訂:精裝
Covering formulation, algorithms, and structural results, and linking theory to real-world applications in controlled sensing (including social learning, adaptive radars and sequential detection), this book focuses on the conceptual foundations of partially observed Markov decision processes (POMDPs). It emphasizes structural results in stochastic dynamic programming, enabling graduate students and researchers in engineering, operations research, and economics to understand the underlying unifying themes without getting weighed down by mathematical technicalities. Bringing together research from across the literature, the book provides an introduction to nonlinear filtering followed by a systematic development of stochastic dynamic programming, lattice programming and reinforcement learning for POMDPs. Questions addressed in the book include: when does a POMDP have a threshold optimal policy? When are myopic policies optimal? How do local and global decision makers interact in adaptive
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/03/11 作者:Suman Dutta  出版社:Cambridge Univ Pr  裝訂:精裝
Optimization is used to determine the most appropriate value of variables under given conditions. The primary focus of using optimisation techniques is to measure the maximum or minimum value of a function depending on the circumstances. This book discusses problem formulation and problem solving with the help of algorithms such as secant method, quasi-Newton method, linear programming and dynamic programming. It also explains important chemical processes such as fluid flow systems, heat exchangers, chemical reactors and distillation systems using solved examples. The book begins by explaining the fundamental concepts followed by an elucidation of various modern techniques including trust-region methods, Levenberg–Marquardt algorithms, stochastic optimization, simulated annealing and statistical optimization. It studies the multi-objective optimization technique and its applications in chemical engineering and also discusses the theory and applications of various optimization software
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/02/29 作者:Christian Hill  出版社:Cambridge Univ Pr  裝訂:精裝
Learn to master basic programming tasks from scratch with real-life scientifically relevant examples and solutions drawn from both science and engineering. Students and researchers at all levels are increasingly turning to the powerful Python programming language as an alternative to commercial packages and this fast-paced introduction moves from the basics to advanced concepts in one complete volume, enabling readers to quickly gain proficiency. Beginning with general programming concepts such as loops and functions within the core Python 3 language, and moving onto the NumPy, SciPy and Matplotlib libraries for numerical programming and data visualisation, this textbook also discusses the use of IPython notebooks to build rich-media, shareable documents for scientific analysis. Including a final chapter introducing challenging topics such as floating-point precision and algorithm stability, and with extensive online resources to support advanced study, this textbook represents a targe
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/10/15 作者:John W. McCormick  出版社:Cambridge Univ Pr  裝訂:精裝
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Building High Integrity Applications With Spark
滿額折
出版日:2015/10/15 作者:John W. McCormick  出版社:Cambridge Univ Pr  裝訂:平裝
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with
優惠價: 9 2573
無庫存
Programming With Higher-Order Logic
90 折
出版日:2012/06/30 作者:Dale Miller  出版社:Cambridge Univ Pr  裝訂:精裝
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.
優惠價: 9 2339
無庫存
Simplicial Algorithms for Minimizing Polyhedral Functions
滿額折
出版日:2011/09/15 作者:M. R. Osborne  出版社:Cambridge Univ Pr  裝訂:平裝
Polyhedral functions provide a model for an important class of problems that includes both linear programming and applications in data analysis. General methods for minimizing such functions using the polyhedral geometry explicitly are developed. Such methods approach a minimum by moving from extreme point to extreme point along descending edges and are described generically as simplicial. The best-known member of this class is the simplex method of linear programming, but simplicial methods have found important applications in discrete approximation and statistics. The general approach considered in this text, first published in 2001, has permitted the development of finite algorithms for the rank regression problem. The key ideas are those of developing a general format for specifying the polyhedral function and the application of this to derive multiplier conditions to characterize optimality. Also considered is the application of the general approach to the development of active se
優惠價: 9 1696
無庫存
出版日:2011/07/25 作者:Jon C. Ison  出版社:Cambridge Univ Pr  裝訂:平裝
The European Molecular Biology Open Software Suite (EMBOSS) is a high quality, well documented package of open source software tools for molecular biology. EMBOSS includes extensive and extensible C programming libraries, providing a powerful and robust toolkit for developing new bioinformatics tools from scratch. The EMBOSS Developer's Guide is the official and definitive guide to developing software under EMBOSS. It includes comprehensive reference information and guidelines, including step-by-step instructions and real-world code examples: • Learn how to write fully-featured tools guided by the people who developed EMBOSS • Step-by-step guide to writing EMBOSS applications, illustrated with functional, deployed code • ACD file development - learn how to customise existing tools without coding, or design and write entirely new application interfaces • EMBOSS API programming guidelines - quickly master application development • Wrapping and porting applications under EMBOSS - learn ho
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 3455
    87
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 87

暢銷榜

客服中心

收藏

會員專區