TOP
經典不再等待!讀懂羅馬人的強大,開啟你的智力冒險
縮小範圍
搜尋結果 /

Computing

7812
191 / 196
Foundations of Component-Based Systems
90 折
出版日:2010/08/19 作者:Gary T. Leavens  出版社:Cambridge Univ Pr  裝訂:平裝
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract
優惠價: 9 2573
無庫存
The Cambridge Encyclopedia of Language
90 折
出版日:2010/07/26 作者:David Crystal  出版社:Cambridge Univ Pr  裝訂:平裝
This new, thoroughly revised edition of the acclaimed Cambridge Encyclopedia of Language incorporates the major developments in language study which have taken place since the mid 1990s. Two main new areas have been added: the rise of electronic communication in all its current forms from email to texting, and the crisis affecting the world's languages, of which half are thought to be so seriously endangered that they will die out this century. • All language statistics have been updated, and additional information provided about their linguistic affiliation • All topics involving technology have been revised to take account of recent developments, notably in phonetics, language disability, and computing • Maps have been revised to include new countries or country names • Special attention has been paid to fast-moving areas such as language teaching and learning • The text design has been completely updated with many new illustrations throughout
優惠價: 9 2457
無庫存
Babbage's Calculating Engines:Being a Collection of Papers Relating to them; their History and Construction
90 折
出版日:2010/05/20 作者:Charles Babbage  出版社:Cambridge Univ Pr  裝訂:平裝
The famous and prolific nineteenth-century mathematician, engineer and inventor Charles Babbage (1791–1871) was an early pioneer of computing. He planned several calculating machines, but none was built in his lifetime. On his death his youngest son, Henry P. Babbage, was charged with the task of completing an unfinished volume of papers on the machines, which was finally published in 1889 and is reissued here. The papers, by a variety of authors, were collected from journals including The Philosophical Magazine, The Edinburgh Review and Scientific Memoirs. They relate to the construction and potential application of Charles Babbage's calculating engines, notably the Difference Engine and the more complex Analytical Engine, which was to be programmed using punched cards. The book also includes correspondence with members of scientific societies, as well as proceedings, catalogues and drawings. Included is a complete catalogue of the drawings of the Analytical Engine.
優惠價: 9 2105
無庫存
Path Integrals and Anomalies in Curved Space
90 折
出版日:2009/10/01 作者:Fiorenzo Bastianelli  出版社:Cambridge Univ Pr  裝訂:平裝
Path integrals provide a powerful method for describing quantum phenomena. This book introduces the quantum mechanics of particles that move in curved space by employing path integrals and then using them to compute anomalies in quantum field theories. The authors start by deriving path integrals for particles moving in curved space and their supersymmetric generalizations. They then discuss the regularization schemes essential to constructing and computing these path integrals. This topic is used to introduce regularization and renormalization in quantum field theories in a wider context. These methods are then applied to discuss and calculate anomalies in quantum field theory. Such anomalies provide enormous constraints in the search for physical theories of elementary particles, quantum gravity and string theories. An advanced text for researchers and graduate students of quantum field theory and string theory, the first part is also a stand-alone introduction to path integrals in q
優惠價: 9 2483
無庫存
出版日:2009/08/24 作者:Yijun Liu  出版社:Cambridge Univ Pr  裝訂:精裝
The fast multipole method is one of the most important algorithms in computing developed in the 20th century. Along with the fast multipole method, the boundary element method (BEM) has also emerged as a powerful method for modeling large-scale problems. BEM models with millions of unknowns on the boundary can now be solved on desktop computers using the fast multipole BEM. This is the first book on the fast multipole BEM, which brings together the classical theories in BEM formulations and the recent development of the fast multipole method. Two- and three-dimensional potential, elastostatic, Stokes flow, and acoustic wave problems are covered, supplemented with exercise problems and computer source codes. Applications in modeling nanocomposite materials, bio-materials, fuel cells, acoustic waves, and image-based simulations are demonstrated to show the potential of the fast multipole BEM. Enables students, researchers, and engineers to learn the BEM and fast multipole method from a s
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/04/20 作者:Robin Milner  出版社:Cambridge Univ Pr  裝訂:精裝
The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Space and Motion of Communicating Agents
90 折
出版日:2009/03/19 作者:Robin Milner  出版社:Cambridge Univ Pr  裝訂:平裝
The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance.
優惠價: 9 2515
無庫存
A Computational Introduction to Number Theory and Algebra
90 折
出版日:2009/02/16 作者:Victor Shoup  出版社:Cambridge Univ Pr  裝訂:精裝
Number theory and algebra play an increasingly significant role in computing and communications, as evidenced by the striking applications of these subjects to such fields as cryptography and coding theory. This introductory book emphasizes algorithms and applications, such as cryptography and error correcting codes, and is accessible to a broad audience. The presentation alternates between theory and applications in order to motivate and illustrate the mathematics. The mathematical coverage includes the basics of number theory, abstract algebra and discrete probability theory. This edition now includes over 150 new exercises, ranging from the routine to the challenging, that flesh out the material presented in the body of the text, and which further develop the theory and present new applications. The material has also been reorganized to improve clarity of exposition and presentation. Ideal as a textbook for introductory courses in number theory and algebra, especially those geared t
優惠價: 9 3158
無庫存
Schur Algebras and Representation Theory
90 折
出版日:2009/01/18 作者:Stuart Martin  出版社:Cambridge Univ Pr  裝訂:平裝
The Schur algebra is an algebraic system providing a link between the representation theory of the symmetric and general linear groups (both finite and infinite). In the text Dr Martin gives a full, self-contained account of this algebra and these links, covering both the basic theory of Schur algebras and related areas. He discusses the usual representation-theoretic topics such as constructions of irreducible modules, the blocks containing them, their modular characters and the problem of computing decomposition numbers; moreover deeper properties such as the quasi-hereditariness of the Schur algebra are discussed. The opportunity is taken to give an account of quantum versions of Schur algebras and their relations with certain q-deformations of the coordinate rings of the general linear group. The approach is combinatorial where possible, making the presentation accessible to graduate students. This is the first comprehensive text in this important and active area of research; it wi
優惠價: 9 2690
無庫存
可信計算(簡體書)
滿額折
出版日:2009/01/01 作者:查利納[美]  出版社:機械工業出版社  裝訂:平裝
本書圍繞不斷快速發展的可信計算學科展開全書內容,其內容涵蓋了如何使用可信計算模塊(TPM)提供安全解決方案,并討淪了如何編碼實現。本書介紹了TPM的基本功能以及如何編寫代碼通過標準TCC(Trusted Computing Group,可信計算組織)軟件棧訪問這些功能,同時還提供了相關范例,并討論了利用TPM能夠實現的解決方案。本書簡明實用,可作為高等院校相關專業的教材或教學參考書,同時也適合軟件
優惠價: 87 198
無庫存
數據結構(C++語言版)(簡體書)
滿額折
出版日:2008/12/01 作者:王曉東  出版社:科學出版社  裝訂:平裝
本書以ACM和IEEE/CS Computing Curricula 2005課程體系,以及教育部計算機科學與技術教學指導委員會發布的“高等學校計算機科學與技術本科專業規范”中制定的關于數據結構和算法設計與分析的知識結構和體系為依據,以基本數據結構和抽象數據類型為知識單元編寫而成。全書共分12章,涵蓋cc2005課程體系中有關算法與數據結構的知識結構和體系的重要內容,包括數據結構與算法概論,線性表
優惠價: 87 287
無庫存
Weather Prediction by Numerical Process
90 折
出版日:2007/08/23 作者:Lewis Fry Richardson  出版社:Cambridge Univ Pr  裝訂:平裝
The idea of forecasting the weather by calculation was first dreamt of by Lewis Fry Richardson. He set out in this book a detailed algorithm for systematic numerical weather prediction. The method of computing atmospheric changes, which he mapped out in great detail in this book, is essentially the method used today. He was greatly ahead of his time because, before his ideas could bear fruit, advances in four critical areas were needed: better understanding of the dynamics of the atmosphere; stable computational algorithms to integrate the equations; regular observations of the free atmosphere; and powerful automatic computer equipment. Over the ensuing years, progress in numerical weather prediction has been dramatic. Weather prediction and climate modelling have now reached a high level of sophistication, and are witness to the influence of Richardson's ideas. This new edition contains a new foreword by Peter Lynch that sets the original book in context.
優惠價: 9 3568
無庫存
Science and Reform:Selected Works of Charles Babbage
90 折
出版日:2007/05/31 作者:Charles Babbage  出版社:Cambridge Univ Pr  裝訂:平裝
Charles Babbage was a key figure of a great era of British history. Best remembered for his pioneering Difference and Analytical Engines, forerunners of the modern computer, Babbage was also an active reformer of science and society. Among his friends were the Bonapartes, the Duke of Wellington, the Duke of Somerset, Byron's daughter Ada Lovelace and the reforming Earl of Shaftesbury, whose interest Babbage directed to the factories. In this book, Anthony Hyman has selected passages from Babbage's many publications, including his proposals on profit sharing and life peerages and his ideas on such topics as the applications of science, scientific management, taxation and life assurance. Setting each extract in perspective, Hyman has provided the passages with an explanatory editorial commentary. Together with his concern for the systematic application of science, technology and mathematical method to commercial, industrial and economic problems, his work on computing makes Charles Babba
優惠價: 9 2866
無庫存
出版日:2006/12/04 作者:Lucy Suchman  出版社:Cambridge Univ Pr  裝訂:精裝
This 2007 book considers how agencies are currently figured at the human-machine interface, and how they might be imaginatively and materially reconfigured. Contrary to the apparent enlivening of objects promised by the sciences of the artificial, the author proposes that the rhetorics and practices of those sciences work to obscure the performative nature of both persons and things. The question then shifts from debates over the status of human-like machines, to that of how humans and machines are enacted as similar or different in practice, and with what theoretical, practical and political consequences. Drawing on scholarship across the social sciences, humanities and computing, the author argues for research aimed at tracing the differences within specific sociomaterial arrangements without resorting to essentialist divides. This requires expanding our unit of analysis, while recognizing the inevitable cuts or boundaries through which technological systems are constituted.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Human-Machine Reconfigurations:Plans and Situated Actions
90 折
出版日:2006/12/04 作者:Lucy Suchman  出版社:Cambridge Univ Pr  裝訂:平裝
This 2007 book considers how agencies are currently figured at the human-machine interface, and how they might be imaginatively and materially reconfigured. Contrary to the apparent enlivening of objects promised by the sciences of the artificial, the author proposes that the rhetorics and practices of those sciences work to obscure the performative nature of both persons and things. The question then shifts from debates over the status of human-like machines, to that of how humans and machines are enacted as similar or different in practice, and with what theoretical, practical and political consequences. Drawing on scholarship across the social sciences, humanities and computing, the author argues for research aimed at tracing the differences within specific sociomaterial arrangements without resorting to essentialist divides. This requires expanding our unit of analysis, while recognizing the inevitable cuts or boundaries through which technological systems are constituted.
優惠價: 9 1871
無庫存
Protecting Information:From Classical Error Correction to Quantum Cryptography
90 折
出版日:2006/07/31 作者:Susan Loepp  出版社:Cambridge Univ Pr  裝訂:平裝
For many everyday transmissions, it is essential to protect digital information from noise or eavesdropping. This undergraduate introduction to error correction and cryptography is unique in devoting several chapters to quantum cryptography and quantum computing, thus providing a context in which ideas from mathematics and physics meet. By covering such topics as Shor's quantum factoring algorithm, this text informs the reader about current thinking in quantum information theory and encourages an appreciation of the connections between mathematics and science.Of particular interest are the potential impacts of quantum physics:(i) a quantum computer, if built, could crack our currently used public-key cryptosystems; and (ii) quantum cryptography promises to provide an alternative to these cryptosystems, basing its security on the laws of nature rather than on computational complexity. No prior knowledge of quantum mechanics is assumed, but students should have a basic knowledge of compl
優惠價: 9 1930
無庫存
出版日:2006/07/20 作者:Fiorenzo Bastianelli  出版社:Cambridge Univ Pr  裝訂:精裝
Path integrals provide a powerful method for describing quantum phenomena. This book introduces the quantum mechanics of particles that move in curved space by employing path integrals and then using them to compute anomalies in quantum field theories. The authors start by deriving path integrals for particles moving in curved space and their supersymmetric generalizations. They then discuss the regularization schemes essential to constructing and computing these path integrals. This topic is used to introduce regularization and renormalization in quantum field theories in a wider context. These methods are then applied to discuss and calculate anomalies in quantum field theory. Such anomalies provide enormous constraints in the search for physical theories of elementary particles, quantum gravity and string theories. An advanced text for researchers and graduate students of quantum field theory and string theory, the first part is also a stand-alone introduction to path integrals in q
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2006/07/10 作者:Susan Loepp  出版社:Cambridge Univ Pr  裝訂:精裝
For many everyday transmissions, it is essential to protect digital information from noise or eavesdropping. This undergraduate introduction to error correction and cryptography is unique in devoting several chapters to quantum cryptography and quantum computing, thus providing a context in which ideas from mathematics and physics meet. By covering such topics as Shor's quantum factoring algorithm, this text informs the reader about current thinking in quantum information theory and encourages an appreciation of the connections between mathematics and science.Of particular interest are the potential impacts of quantum physics:(i) a quantum computer, if built, could crack our currently used public-key cryptosystems; and (ii) quantum cryptography promises to provide an alternative to these cryptosystems, basing its security on the laws of nature rather than on computational complexity. No prior knowledge of quantum mechanics is assumed, but students should have a basic knowledge of compl
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Ultrafast Fiber Switching Devices and Systems
90 折
出版日:2006/04/20 作者:Mohammed N. Islam  出版社:Cambridge Univ Pr  裝訂:平裝
This 1992 book surveys the field of ultrafast fiber switching devices and systems that have potential processing speeds in excess of 50 gigabits-per-second. The treatment covers basic physical principles, device physics and systems applications. The purpose of the book is to provide a complete tour of the key research issues and approaches in ultrafast switching. Topics covered include routing and logic devices, solitons in optical fibers, and the application of ultrafast gates to telecommunications transmission systems, local area networks and optical computing. The author is a member of the Technical Staff in basic research at AT&T Bell Laboratories, Holmdel, and is excellently positioned to provide this state-of-the-art survey in this exciting and advancing field. The book will be of great value to all researchers and graduate students working in the areas of high-speed electronics, optical data processing, nonlinear guided-wave optics, and photonic switching.
優惠價: 9 1754
無庫存
Foundations of Parallel Programming
90 折
出版日:2005/08/25 作者:D. B. Skillicorn  出版社:Cambridge Univ Pr  裝訂:平裝
The major reason for the lack of use of parallel computing is the mismatch between the complexity and variety of parallel hardware, and the software development tools to program it. The cost of developing software needs to be amortised over decades, but the platforms on which it executes change every few years, requiring complete rewrites. The evident cost-effectiveness of parallel computation has not been realized because of this mismatch. This book presents an integrated approach to parallel software development by addressing both software and performance issues together. It presents a methodology for software construction that produces architecture-independent and intellectually abstract software. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract data types, and of objects. Categorical data types abstract both from the representation of a
優惠價: 9 1754
無庫存
Deep Simplicity ─ Bringing Order To Chaos And Complexity
滿額折
出版日:2005/04/05 作者:John R. Gribbin  出版社:Random House Inc  裝訂:精裝
Over the past two decades, no field of scientific inquiry has had a more striking impact across a wide array of disciplines–from biology to physics, computing to meteorology–than that known as chaos and complexity, the study of complex systems. Now astrophysicist John Gribbin draws on his expertise to explore, in prose that communicates not only the wonder but the substance of cutting-edge science, the principles behind chaos and complexity. He reveals the remarkable ways these two revolutionary theories have been applied over the last twenty years to explain all sorts of phenomena–from weather patterns to mass extinctions.Grounding these paradigm-shifting ideas in their historical context, Gribbin also traces their development from Newton to Darwin to Lorenz, Prigogine, and Lovelock, demonstrating how–far from overturning all that has gone before–chaos and complexity are the triumphant extensions of simple scientific laws. Ultimately, Gribbin illustrates how chaos and complexity perme
優惠價: 1 1102
無庫存
Protocols by Invariants
90 折
出版日:2004/08/19 作者:Anneke A. Schoone  出版社:Cambridge Univ Pr  裝訂:平裝
When several computers have to cooperate to achieve a certain task (i.e. distributed computing) we need 'recipes' (i.e. protocols) to tell them what to do. Unfortunately, human minds are not well suited to keeping track of what might happen given even a very simple protocol. In this book Dr Schoone shows how we can derive properties of those protocols that always hold (i.e. invariants), irrespective of what actually happens in an execution of the protocol. From these invariants the basic attributes of the protocols can be obtained. Each protocol is explained intuitively, proved correct using invariants, and analysed to establish the relation between parameter settings and its essential features. The protocols belong to a wide range of layers in the ISO reference model hierarchy, and include the following: a class of communication protocols that tolerate and correct message loss, duplication, and resequencing; protocols for determining and maintaining routing information, both in a stat
優惠價: 9 2281
無庫存
出版日:2004/08/12 作者:C. J. van Rijsbergen  出版社:Cambridge Univ Pr  裝訂:精裝
Information retrieval, IR, the science of extracting information from any potential source, can be viewed in a number of ways: logical, probabilistic and vector space models are some of the most important. In this book, the author, one of the leading researchers in the area, shows how these views can be reforged in the same framework used to formulate the general principles of quantum mechanics. All the usual quantum-mechanical notions have their IR-theoretic analogues, and the standard results can be applied to address problems in IR, such as pseudo-relevance feedback, relevance feedback and ostensive retrieval. The relation with quantum computing is also examined. To keep the book self-contained appendices with background material on physics and mathematics are included. Each chapter ends with bibliographic remarks that point to further reading. This is an important, ground-breaking book, with much new material, for all those working in IR, AI and natural language processing.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The New Quantum Universe
90 折
出版日:2003/11/10 作者:Tony Hey  出版社:Cambridge Univ Pr  裝訂:平裝
Following the success of The Quantum Universe, first published in 1987, a host of exciting new discoveries have been made in the field of quantum mechanics. The New Quantum Universe provides an up-to-date and accessible introduction to the essential ideas of quantum physics, and demonstrates how it affects our everyday life. Quantum mechanics gives an understanding of not only atoms and nuclei, but also all the elements and even the stars. The book explains quantum paradoxes and the eventful life of Schroedinger's Cat, along with the Einstein–Podolsky–Rosen paradox and Bell's Inequality. It then looks ahead to the nanotechnology revolution, describing quantum cryptography, quantum computing and quantum teleportation, and ends with an account of quantum mechanics and science fiction. Using simple non-mathematical language, this book is suitable for final-year school students, science undergraduates, and anyone wishing to appreciate how physics allows the new technologies that are chang
優惠價: 9 2165
無庫存
Computational Algebraic Geometry
90 折
出版日:2003/10/06 作者:Hal Schenck  出版社:Cambridge Univ Pr  裝訂:平裝
The interplay between algebra and geometry is a beautiful (and fun!) area of mathematical investigation. Advances in computing and algorithms make it possible to tackle many classical problems in a down-to-earth and concrete fashion. This opens wonderful new vistas and allows us to pose, study and solve problems that were previously out of reach. Suitable for graduate students, the objective of this 2003 book is to bring advanced algebra to life with lots of examples. The first chapters provide an introduction to commutative algebra and connections to geometry. The rest of the book focuses on three active areas of contemporary algebra: Homological Algebra (the snake lemma, long exact sequence inhomology, functors and derived functors (Tor and Ext), and double complexes); Algebraic Combinatorics and Algebraic Topology (simplicial complexes and simplicial homology, Stanley-Reisner rings, upper bound theorem and polytopes); and Algebraic Geometry (points and curves in projective space, Ri
優惠價: 9 1871
無庫存
出版日:2003/09/29 作者:Hal Schenck  出版社:Cambridge Univ Pr  裝訂:精裝
The interplay between algebra and geometry is a beautiful (and fun!) area of mathematical investigation. Advances in computing and algorithms make it possible to tackle many classical problems in a down-to-earth and concrete fashion. This opens wonderful new vistas and allows us to pose, study and solve problems that were previously out of reach. Suitable for graduate students, the objective of this 2003 book is to bring advanced algebra to life with lots of examples. The first chapters provide an introduction to commutative algebra and connections to geometry. The rest of the book focuses on three active areas of contemporary algebra: Homological Algebra (the snake lemma, long exact sequence inhomology, functors and derived functors (Tor and Ext), and double complexes); Algebraic Combinatorics and Algebraic Topology (simplicial complexes and simplicial homology, Stanley-Reisner rings, upper bound theorem and polytopes); and Algebraic Geometry (points and curves in projective space, Ri
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2003/03/27 作者:Teo Mora  出版社:Cambridge Univ Pr  裝訂:精裝
Polynomial equations have been long studied, both theoretically and with a view to solving them. Until recently, manual computation was the only solution method and the theory was developed to accommodate it. With the advent of computers, the situation changed dramatically. Many classical results can be more usefully recast within a different framework which in turn lends itself to further theoretical development tuned to computation. This first book in a trilogy is devoted to the new approach. It is a handbook covering the classical theory of finding roots of a univariate polynomial, emphasising computational aspects, especially the representation and manipulation of algebraic numbers, enlarged by more recent representations like the Duval Model and the Thom Codification. Mora aims to show that solving a polynomial equation really means finding algorithms that help one manipulate roots rather than simply computing them; to that end he also surveys algorithms for factorizing univariate
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2003/03/17 作者:Ákos Seress  出版社:Cambridge Univ Pr  裝訂:精裝
Permutation group algorithms are one of the workhorses of symbolic algebra systems computing with groups. They played an indispensable role in the proof of many deep results, including the construction and study of sporadic finite simple groups. This book describes the theory behind permutation group algorithms, including developments based on the classification of finite simple groups. Rigorous complexity estimates, implementation hints, and advanced exercises are included throughout. The central theme is the description of nearly linear time algorithms, which are extremely fast both in terms of asymptotic analysis and of practical running time. A significant part of the permutation group library of the computational group algebra system GAP is based on nearly linear time algorithms. The book fills a significant gap in the symbolic computation literature. It is recommended for everyone interested in using computers in group theory, and is suitable for advanced graduate courses.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2001/10/22 作者:Howard Bowman  出版社:Cambridge Univ Pr  裝訂:精裝
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-o
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Visions of the Future: Physics and Electronics
90 折
出版日:2001/07/12 作者:J. M. T. Thompson  出版社:Cambridge Univ Pr  裝訂:平裝
Leading young scientists, many holding prestigious Royal Society Research Fellowships, describe their research and give their visions of the future. Re-written in a popular and well illustrated style, the articles are derived from scholarly and authoritative papers published in a special Millennium Issue of the Royal Society's Philosophical Transactions (used by Newton, this is the world's longest running scientific journal). Carefully selected by the journal's editor, Professor J. M. T. Thompson FRS, topics include quantum physics and its relation to relativity theory and human consciousness; electronics for the future; exotic quantum computing and data storage; telecommunications and the internet. The book conveys the excitement and enthusiasm of the young authors for their work in Physics and Electronics. Two companion books cover Astronomy and Earth Science, and Chemistry and Life Science. All are definitive reviews for anyone with a general interest in the future directions of sci
優惠價: 9 2866
無庫存
出版日:2000/09/04 作者:Roy Jackson  出版社:Cambridge Univ Pr  裝訂:精裝
Recent years have seen major progress in the development of equations to describe the motion of fluid-particle mixtures and their application to a limited range of problems. With rapid advances in numerical methods and computing power we are now presented with new opportunities to use direct integration of these equations in the solution of complex practical problems. However, results so obtained are only as good as the equations on which they are based, so it is essential to have a clear understanding of the underlying physics and the extent to which it is reflected properly in these equations. In The Dynamics of Fluidized Particles, first published in 2000, Jackson formulates these equations carefully and fully describes the important existing applications that serve to test their ability to predict salient phenomena. This account will be of value to both starters and established researchers in the field, and also to people interested in applying the equations to practical engineerin
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2000/03/28 作者:Gary T. Leavens  出版社:Cambridge Univ Pr  裝訂:精裝
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1998/08/01 作者:Robin J. Y. McLeod  出版社:Cambridge Univ Pr  裝訂:精裝
This text takes a practical, step-by-step approach to algebraic curves and surface interpolation motivated by the understanding of the many practical applications in engineering analysis, approximation, and curve plotting problems. Because of its usefulness for computing, the algebraic approach is the main theme, but a brief discussion of the synthetic approach is also presented as a way of gaining additional insight before proceeding with the algebraic manipulation. The authors start with simple interpolation, including splines, and extend this in an intuitive fashion to the production of conic sections. They then introduce projective co-ordinates as tools for dealing with higher order curves and singular points. They present many applications and concrete examples, including parabolic interpolation, geometric approximation, and the numerical solution of trajectory problems. In the final chapter they apply the basic theory to the construction of finite element basis functions and surf
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1997/12/11 作者:Isi Mitrani  出版社:Cambridge Univ Pr  裝訂:精裝
Probabilistic modelling is the most cost-effective means of performance and reliability evaluation of complex dynamic systems. This self-contained text will be welcomed by students and teachers for its no-nonsense treatment of the basic results and examples of their application. The only mathematical background that is assumed is basic calculus. The necessary fundamentals of probability theory are included, as well as an introduction to renewal, Poisson and Markov processes. Models arising in the fields of manufacturing, computing and communications, involving single or multiple service stations and one or more customer classes, are examined in some detail. Both exact and approximate solution methods are discussed, including recent techniques such as spectral expansion. Special attention is devoted to models of systems subject to breakdowns and repairs. Throughout the book, strong emphasis is placed on explaining the ideas behind the results and helping the reader to use them, making t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Probabilistic Modelling
90 折
出版日:1997/12/11 作者:Isi Mitrani  出版社:Cambridge Univ Pr  裝訂:平裝
Probabilistic modelling is the most cost-effective means of performance and reliability evaluation of complex dynamic systems. This self-contained text will be welcomed by students and teachers for its no-nonsense treatment of the basic results and examples of their application. The only mathematical background that is assumed is basic calculus. The necessary fundamentals of probability theory are included, as well as an introduction to renewal, Poisson and Markov processes. Models arising in the fields of manufacturing, computing and communications, involving single or multiple service stations and one or more customer classes, are examined in some detail. Both exact and approximate solution methods are discussed, including recent techniques such as spectral expansion. Special attention is devoted to models of systems subject to breakdowns and repairs. Throughout the book, strong emphasis is placed on explaining the ideas behind the results and helping the reader to use them, making t
優惠價: 9 2222
無庫存
Computers and Classroom Culture
90 折
出版日:1995/10/27 作者:Janet Ward Schofield  出版社:Cambridge Univ Pr  裝訂:平裝
As important as it is to realize the potential of computer technology to improve education, it is just as important to understand how the social organization of schools and classrooms influences the use of computers, and in turn is effected by that technology in unanticipated ways. In Computers and Classroom Culture, first published in 1996, Janet Schofield observes the fascinating dynamics of the computer-age classroom. Among her many discoveries, Schofield describes how the use of an artificially-intelligent tutor in a geometry class unexpectedly changes aspects like the level of peer competition and the teachers' grading practices. She also discusses why many teachers fail to make significant instructional use of computers and how gender appears to have a crucial impact on students' reactions to computer use. All educators, sociologists, and psychologists concerned with educational computing and the changing shape of the classroom will find themselves compellingly engaged.
優惠價: 9 1462
無庫存
出版日:1994/01/27 作者:Stuart Martin  出版社:Cambridge Univ Pr  裝訂:精裝
The Schur algebra is an algebraic system providing a link between the representation theory of the symmetric and general linear groups (both finite and infinite). In the text Dr Martin gives a full, self-contained account of this algebra and these links, covering both the basic theory of Schur algebras and related areas. He discusses the usual representation-theoretic topics such as constructions of irreducible modules, the blocks containing them, their modular characters and the problem of computing decomposition numbers; moreover deeper properties such as the quasi-hereditariness of the Schur algebra are discussed. The opportunity is taken to give an account of quantum versions of Schur algebras and their relations with certain q-deformations of the coordinate rings of the general linear group. The approach is combinatorial where possible, making the presentation accessible to graduate students. This is the first comprehensive text in this important and active area of research; it wi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1992/08/06 作者:Mohammed N. Islam  出版社:Cambridge Univ Pr  裝訂:精裝
This 1992 book surveys the field of ultrafast fiber switching devices and systems that have potential processing speeds in excess of 50 gigabits-per-second. The treatment covers basic physical principles, device physics and systems applications. The purpose of the book is to provide a complete tour of the key research issues and approaches in ultrafast switching. Topics covered include routing and logic devices, solitons in optical fibers, and the application of ultrafast gates to telecommunications transmission systems, local area networks and optical computing. The author is a member of the Technical Staff in basic research at AT&T Bell Laboratories, Holmdel, and is excellently positioned to provide this state-of-the-art survey in this exciting and advancing field. The book will be of great value to all researchers and graduate students working in the areas of high-speed electronics, optical data processing, nonlinear guided-wave optics, and photonic switching.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Econometric Applications of Maximum Likelihood Methods
90 折
出版日:1989/07/01 作者:Jan Salomon Cramer  出版社:Cambridge Univ Pr  裝訂:平裝
The advent of electronic computing permits the empirical analysis of economic models of far greater subtlety and rigour than before, when many interesting ideas were not followed up because the calculations involved made this impracticable. The estimation and testing of these more intricate models is usually based on the method of Maximum Likelihood, which is a well-established branch of mathematical statistics. Its use in econometrics has led to the development of a number of special techniques; the specific conditions of econometric research moreover demand certain changes in the interpretation of the basic argument. This book is a self-contained introduction to this field. It consists of three parts. The first deals with general features of Maximum Likelihood methods; the second with linear and nonlinear regression; and the third with discrete choice and related micro-economic models. Readers should already be familiar with elementary statistical theory, with applied econometric res
優惠價: 9 1520
無庫存
  • 7812
    196
  • 1
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • 193
  • 194
  • 195
  • 196

暢銷榜

客服中心

收藏

會員專區