TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
搜尋結果 /

Higher-Order Components for Grid Programming

516842
1 / 12922
出版日:2009/07/01 作者:Jan Dunnweber; Sergei Gorlatch  出版社:Springer Verlag  裝訂:精裝
A major challenge in grid computing remains the application software development for this new kind of infrastructure. Grid application programmers have to take into account several complicated aspects
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
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
無庫存
Why Higher Education Should Have a Leftist Bias
90 折
出版日:2013/12/11 作者:Donald Lazere  出版社:Palgrave Macmillan  裝訂:精裝
"Presenting a thoughtful justification for the academic left in American higher education, Donald Lazere argues that in order to teach students rhetoric and critical thinking, key components of a huma
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Clausal Theory of Types
90 折
出版日:2009/07/30 作者:D. A. Wolfram  出版社:Cambridge Univ Pr  裝訂:平裝
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest
優惠價: 9 1520
無庫存
出版日:2005/03/14 作者:Mark Jason Dominus  出版社:Morgan Kaufmann Pub  裝訂:平裝
"Higher-Order Perl is the most exciting, most clearly-written, most comprehensive, and most forward-looking programming book I've read in at least ten years. It's your map to the future of programmin
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Clausal Theory of Types
90 折
出版日:1993/04/22 作者:D. A. Wolfram  出版社:Cambridge Univ Pr  裝訂:精裝
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest
優惠價: 9 3393
無庫存
出版日:2014/12/04 作者:Alireza Sadeghian (EDT); Hooman Tahayori (EDT)  出版社:Springer-Verlag New York Inc  裝訂:精裝
Frontiers of Higher Order Fuzzy Sets, provides a unified representation theorem for higher order fuzzy sets. The book elaborates on the concept of gradual elements and their integration with the highe
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Higher-Order Thinking Skills to Develop 21st Century Learners
滿額折
出版日:2011/10/03 作者:Wendy Conklin  出版社:Teacher Created Materials  裝訂:平裝
Uses practical and research-based approaches to improve students' higher-order thinking skills and includes strategies for differentiating higher-order thinking skills and developing them in English l
優惠價: 85 1034
無庫存
出版日:2008/08/30 作者:Marco Danelutto (EDT); Paraskevi Frangopoulou (EDT); Vladimir Getov (EDT)  出版社:Springer-Verlag New York Inc  裝訂:精裝
Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments held at the Institute of Co
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Higher Order Operational Techniques in Semantics
90 折
出版日:1998/01/22 作者:Andrew D. Gordon  出版社:Cambridge Univ Pr  裝訂:精裝
Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This 1998 book contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments reflected by the book is that mathematical structures and techniques used in denotational semantics (such as fixpoint induction) may be recovered from a purely operational starting point. The book surveys and introduces techniques such as contextual equivalence, applicative bisimulation, logical relations, improvement relations, explicit models of memory management, and labelling techniques for confluence properties
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Higher-Order Networks:An Introduction to Simplicial Complexes
90 折
出版日:2021/09/30 作者:Ginestra Bianconi  出版社:Cambridge Univ Pr  裝訂:平裝
Higher-order networks describe the many-body interactions of a large variety of complex systems, ranging from the the brain to collaboration networks. Simplicial complexes are generalized network structures which allow us to capture the combinatorial properties, the topology and the geometry of higher-order networks. Having been used extensively in quantum gravity to describe discrete or discretized space-time, simplicial complexes have only recently started becoming the representation of choice for capturing the underlying network topology and geometry of complex systems. This Element provides an in-depth introduction to the very hot topic of network theory, covering a wide range of subjects ranging from emergent hyperbolic geometry and topological data analysis to higher-order dynamics. This Elements aims to demonstrate that simplicial complexes provide a very general mathematical framework to reveal how higher-order dynamics depends on simplicial network topology and geometry.
優惠價: 9 972
無庫存
出版日:2014/09/22 作者:Victor A. Galaktionov; Enzo L. Mitidieri; Stanislav I. Pohozaev  出版社:Taylor & Francis  裝訂:精裝
Blow-up for Higher-Order Parabolic, Hyperbolic, Dispersion and Schrodinger Equations shows how four types of higher-order nonlinear evolution partial differential equations (PDEs) have many commonalit
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Higher Order Derivatives
90 折
出版日:2012/01/02 作者:Satya Mukhopadhyay  出版社:Chapman & Hall  裝訂:精裝
The concept of higher order derivatives is useful in many branches of mathematics and its applications. As they are useful in many places, nth order derivatives are often defined directly. Higher Orde
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Higher-Order Finite Element Methods
90 折
出版日:2003/07/01 作者:Pavel Solin; Karel Segeth; Ivo Dolezel  出版社:CRC Press UK  裝訂:精裝
The finite element method has always been a mainstay for solving engineering problems numerically. The most recent developments in the field clearly indicate that its future lies in higher-order meth
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/09/22 作者:Nalin Kumar Sharma; Janardhanan Sivaramakrishnan  出版社:Springer Nature  裝訂:精裝
This monograph investigates the existence of higher order sliding mode in discrete-time systems and propounds a new concept of discrete-time higher order sliding mode. The authors propose a definition
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Systems Programming in Unix/Linux
90 折
出版日:2018/09/10 作者:K. C. Wang  出版社:Springer-Nature New York Inc  裝訂:精裝
Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes progra
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/01/09 作者:David C. Geary (EDT); Daniel B. Berch (EDT); Robert Ochsendorf (EDT); Kathleen Mann Koepke (EDT)  出版社:Academic Pr  裝訂:精裝
Acquisition of Complex Arithmetic Skills and Higher-Order Mathematics Concepts focuses on typical and atypical learning of complex arithmetic skills and higher-order math concepts. As part of the seri
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Smart Grid REvolution ― Electric Power Struggles
滿額折
出版日:2016/11/17 作者:Jennie C. Stephens  出版社:Cambridge Univ Pr  裝訂:平裝
The term 'smart grid' has become a catch-all phrase to represent the potential benefits of a revamped and more sophisticated electricity system that can fulfil several societal expectations related to enhanced energy efficiency and sustainability. Smart grid promises to enable improved energy management by utilities and by consumers, to provide the ability to integrate higher levels of variable renewable energy into the electric grid, to support the development of microgrids, and to engage citizens in energy management. However, it also comes with potential pitfalls, such as increased cybersecurity vulnerabilities and privacy risks. Although discussions about smart grid have been dominated by technical and economic dimensions, this book takes a sociotechnical systems perspective to explore critical questions shaping energy system transitions. It will be invaluable for advanced students, academic researchers, and energy professionals in a wide range of disciplines, including energy stud
優惠價: 9 2573
無庫存
出版日:2016/05/05 作者:Ming Zhang (EDT)  出版社:Information Science Reference  裝訂:精裝
In recent years, Higher Order Neural Networks (HONNs) have been widely adopted by researchers for applications in control signal generating, pattern recognition, nonlinear recognition, classification,
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Smart Grid ─ Networking, Data Management, and Business Models
90 折
出版日:2016/05/03 作者:Jennifer Lambe; Elizabeth M. Perse  出版社:Productivity Press  裝訂:精裝
The electric grid, empowered by intelligence, is transforming our society in many aspects, including communities that share power and smart homes that save energy. The traditional components of the el
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Smart Grid (R)evolution ― Electric Power Struggles
90 折
出版日:2014/12/31 作者:Jennie C. Stephens  出版社:Cambridge Univ Pr  裝訂:精裝
The term 'smart grid' has become a catch-all phrase to represent the potential benefits of a revamped and more sophisticated electricity system that can fulfil several societal expectations related to enhanced energy efficiency and sustainability. Smart grid promises to enable improved energy management by utilities and by consumers, to provide the ability to integrate higher levels of variable renewable energy into the electric grid, to support the development of microgrids, and to engage citizens in energy management. However, it also comes with potential pitfalls, such as increased cybersecurity vulnerabilities and privacy risks. Although discussions about smart grid have been dominated by technical and economic dimensions, this book takes a sociotechnical systems perspective to explore critical questions shaping energy system transitions. It will be invaluable for advanced students, academic researchers, and energy professionals in a wide range of disciplines, including energy stud
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/11/04 作者:Susumu Mori; J-donald Tournier  出版社:Academic Pr  裝訂:精裝
The concepts behind diffusion tensor imaging (DTI) are commonly difficult to grasp, even for magnetic resonance physicists. To make matters worse, a many more complex higher-order methods have been pr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
On the Higher-Order Sheffer Orthogonal Polynomial Sequences
滿額折
出版日:2013/01/03 作者:Daniel J. Galiffa  出版社:Springer Verlag  裝訂:平裝
On the Higher-Order Sheffer Orthogonal Polynomial Sequences sheds light on the existence/non-existence of B-Type 1 orthogonal polynomials. This book presents a template for analyzing potential orthogo
優惠價: 1 3189
無庫存
出版日:2010/02/01 作者:Ming Zhang  出版社:Information Science Reference  裝訂:精裝
This collection introduces higher order neural network (HONN) group models and adaptive HONNs for simulating nonlinear data. The computer science chapters describe adaptive tolerance trees for transla
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/07/21 作者:Ming Zhang (EDT)  出版社:Information Science Reference  裝訂:精裝
Artificial higher order neural networks (HONNs) are used in economics and business areas for nonlinear data simulation and prediction. With chapters by international contributors, this book provides p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Geometry of Higher-Order Hamilton Spaces ─ Applications to Hamiltonian Mechanics
90 折
出版日:2003/11/01 作者:Radu Miron  出版社:Springer Verlag  裝訂:精裝
This book is the first to present an overview of higher-order Hamilton geometry with applications to higher-order Hamiltonian mechanics. It is a direct continuation of the book The Geometry of Hamilto
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Generic Programming and the STL—Using and Extending the C++ Standard Template Library
90 折
出版日:1998/10/01 作者:Matthew H. Austern  出版社:Prentice Hall  裝訂:平裝
Introduces programmers to the generic programming paradigm and to the C++ Standard Template Library and its use as an extensible framework for generic and interoperable components. Explains ideas unde
優惠價: 9 2430
無庫存
Embracing and Educating the Autistic Child ― Valuing Those Who Color Outside the Lines
90 折
出版日:2018/12/31 作者:Nicholas D. Young; Kristen Bonanno-sotiropoulos; Melissa A. Mumby  出版社:Rowman & Littlefield Pub Inc  裝訂:精裝
This book contains essential information on understanding the autistic mind, promising evidence-based practices, critical components to developing programming for the autistic student, and the importa
優惠價: 9 2360
無庫存
Embracing and Educating the Autistic Child ― Valuing Those Who Color Outside the Lines
90 折
出版日:2018/12/31 作者:Nicholas D. Young; Kristen Bonanno-sotiropoulos; Melissa A. Mumby  出版社:Rowman & Littlefield Pub Inc  裝訂:平裝
This book contains essential information on understanding the autistic mind, promising evidence-based practices, critical components to developing programming for the autistic student, and the importa
優惠價: 9 1163
無庫存
Hot Skills ― Developing Higher-order Thinking in Young Learners
滿額折
出版日:2018/06/05 作者:Steffen Saifer  出版社:Redleaf Pr  裝訂:平裝
Too many teaching and learning activities require students to use only lower-order thinking (LOT), and many of the attempts educators make to promote higher-order thinking (HOT) are misconstrued. High
優惠價: 1 1518
無庫存
Daily Higher-Order Thinking, Grade 3 - Teacher Edition
滿額折
出版日:2018/01/01 作者:Evan Moor  出版社:Evan-Moor Corp  裝訂:平裝
Critical thinking skills are more important than ever in academic and real-world situations. Daily Higher-Order Thinking provides you with daily activities that build and grow students’ problem-solvin
優惠價: 79 690
無庫存
Daily Higher-Order Thinking, Grade 4 - Teacher Edition
滿額折
出版日:2018/01/01 作者:Evan Moor  出版社:Evan-Moor Corp  裝訂:平裝
Critical thinking skills are more important than ever in academic and real-world situations. Daily Higher-Order Thinking provides you with daily activities that build and grow students’ problem-solvin
優惠價: 79 690
無庫存
Daily Higher-Order Thinking, Grade 5 - Teacher Edition
滿額折
出版日:2018/01/01 作者:Evan Moor  出版社:Evan-Moor Corp  裝訂:平裝
Critical thinking skills are more important than ever in academic and real-world situations. Daily Higher-Order Thinking provides you with daily activities that build and grow students’ problem-solvin
優惠價: 79 690
無庫存
Daily Higher-Order Thinking, Grade 6 - Teacher Edition
滿額折
出版日:2018/01/01 作者:Evan Moor  出版社:Evan-Moor Corp  裝訂:平裝
Critical thinking skills are more important than ever in academic and real-world situations. Daily Higher-Order Thinking provides you with daily activities that build and grow students’ problem-solvin
優惠價: 79 690
無庫存
Linear Programming Using Matlab
90 折
出版日:2017/11/10 作者:Nikolaos Ploskas; Nikolaos Samaras  出版社:Springer Verlag  裝訂:精裝
This book offers a theoretical and computational presentation of a variety of linear programming algorithms and methods with an emphasis on the revised simplex method and its components. A theoretical
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Curricula for Sustainability in Higher Education
90 折
出版日:2017/06/01 作者:J. Paulo Davim (EDT)  出版社:Springer Verlag  裝訂:精裝
This books presents the curricula necessary for sustainability in higher education. It shows how the learning process is transforming in order to promote sustainability. It prepares administrators, te
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Values and Virtues in Higher Education Research ─ Critical Perspectives
90 折
出版日:2016/06/27 作者:McNiff; Jean  出版社:Routledge UK  裝訂:平裝
Values and Virtues in Higher Education Research centres on practitioners studying and researching their practices in higher education settings, in order to improve those practices for the benefit of o
優惠價: 9 2267
無庫存
Values and Virtues in Higher Education Research ─ Critical Perspectives
90 折
出版日:2016/06/27 作者:McNiff; Jean  出版社:Routledge UK  裝訂:精裝
Values and Virtues in Higher Education Research centres on practitioners studying and researching their practices in higher education settings, in order to improve those practices for the benefit of o
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Excel VBA Programming for Dummies
90 折
出版日:2015/10/12 作者:Walkenbach (COR)  出版社:John Wiley & Sons Inc  裝訂:平裝
Take your data analysis and Excel programming skills to new heightsIn order to take Excel to the next level, you need to understand and implement the power of Visual Basic for Applications (VBA). This
優惠價: 9 1418
無庫存
Learn Unity3d Programming With Unityscript
滿額折
出版日:2014/08/02 作者:Janine Suvak  出版社:Springer-Verlag New York Inc  裝訂:平裝
Learn Unity Programming with UnityScript is your step-by-step guide to learning to make your first Unity games using UnityScript. You will move from point-and-click components to fully customized feat
優惠價: 1 2250
無庫存
  • 516842
    12922
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 12922

暢銷榜

客服中心

收藏

會員專區