TOP
💡 邁向小一的第一步!給孩子一本「查得到自信」的專屬辭典,輕鬆跨越閱讀關卡!🚀
搜尋結果 /

Mechanical Design Optimization Using Advanced Optimization Techniques

共 1803 筆
第38 / 46 頁
出版日:2014/09/16 作者:Haobo Cheng  出版社:Springer Verlag  裝訂:精裝
This book focuses on advanced optical finishing techniques and design for high-performance manufacturing systems. It provides numerous detailed examples of how advanced automation techniques have been
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/11/11 作者:J. R. Barber  出版社:Springer Verlag  裝訂:精裝
This book covers the essential topics for a second-level course in strength of materials or mechanics of materials, with an emphasis on techniques that are useful for mechanical design. Design typical
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2011/10/31 作者:Ihab R. Kamel  出版社:Cambridge Univ Pr  裝訂:精裝
Body MR Imaging at 3.0 Tesla is a practical text enabling radiologists to maximise the benefits of high field 3T MR systems in a range of body applications. It explains the physical principles of MR imaging using 3T magnets, and the differences between 1.5T and 3T when applied extracranially. The book's organ-based approach focuses on optimized techniques, providing recommended protocols for the main vendors of 3T MRI systems. All major thoracic and abdominal organs are covered, including breast, heart, liver, pancreas, the GI tract, kidneys, prostate and female pelvic organs. Abdominal and pelvic MR angiography and MRCP are also discussed. Protocol optimization, appearance of artifacts and novel applications using 3T are emphasized. Written and edited by experts in the field, Body MR Imaging at 3.0 Tesla guides radiologists in optimizing imaging protocols for 3T MR systems, reducing artifacts and identifying the advantages of using 3T in body applications.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Ultra-wideband Rf System Engineering
滿額折
出版日:2013/11/25 作者:Thomas Zwick  出版社:Cambridge Univ Pr  裝訂:精裝
This comprehensive summary of the state of the art in Ultra Wideband (UWB) system engineering takes you through all aspects of UWB design, from components through the propagation channel to system engineering aspects. Mathematical tools and basics are covered, allowing for a complete characterisation and description of the UWB scenario, in both the time and the frequency domains. UWB MMICs, antennas, antenna arrays, and filters are described, as well as quality measurement parameters and design methods for specific applications. The UWB propagation channel is discussed, including a complete mathematical description together with modeling tools. A system analysis is offered, addressing both radio and radar systems, and techniques for optimization and calibration. Finally, an overview of future applications of UWB technology is presented. Ideal for scientists as well as RF system and component engineers working in short range wireless technologies.
優惠價: 9 3568
無庫存
Excel Data Analysis ─ Your Visual Blueprint for Creating and Analyzing Data, Charts and PivotTables
滿額折
出版日:2010/06/18 作者:ETHERIDGE  出版社:JOHN WILEY & SONS;LTD  裝訂:平裝
Advanced techniques for Excel power usersCrunch and analyze Excel data the way the professionals do with this clean, uncluttered, visual guide to advanced Excel techniques. Using numerous screenshots
優惠價: 9 1024
無庫存
BSIM4 and MOSFET Modeling for IC Simulation
滿額折
出版日:2011/12/30 作者:Wiedong Liu; Chenming Hu  出版社:World Scientific Pub Co Inc  裝訂:精裝
This book presents the art of advanced MOSFET modeling for integrated circuit simulation and design. It provides the essential mathematical and physical analyses of all the electrical, mechanical and
優惠價: 9 4835
無庫存
Opencv With Python Blueprints
滿額折
出版日:2015/10/19 作者:Michael Beyeler  出版社:Packt Pub Ltd  裝訂:平裝
Design and develop advanced computer vision projects using OpenCV with PythonAbout This BookProgram advanced computer vision applications in Python using different features of the OpenCV libraryPracti
優惠價: 79 1990
無庫存
Mastering Autodesk Inventor 2012 and Autodesk Inventor LT 2012
滿額折
出版日:2011/05/13 作者:WAGUESPACK  出版社:JOHN WILEY & SONS;LTD  裝訂:平裝
Master the "Inventor" way of 3D mechanical design with this expert guideThis Autodesk Official Training Guide is your best resource for learning how to create, document, and verify your design using A
優惠價: 9 2734
無庫存
出版日:2000/10/16 作者:Adrian Bejan  出版社:Cambridge Univ Pr  裝訂:精裝
Seemingly universal geometric forms unite the flow systems of engineering and nature. For example, tree-shaped flows can be seen in computers, lungs, dendritic crystals, urban street patterns, and communication links. In this groundbreaking book, first published in 2000, Adrian Bejan considers the design and optimization of engineered systems and discovers a deterministic principle of the generation of geometric form in natural systems. Shape and structure spring from the struggle for better performance in both engineering and nature. This idea is the basis of the new constructal theory: the objective and constraints principle used in engineering is the same mechanism from which the geometry in natural flow systems emerges. From heat exchangers to river channels, the book draws many parallels between the engineered and the natural world. Among the topics covered are mechanical structure, thermal structure, heat trees, ducts and rivers, turbulent structure, and structure in transportat
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Shape and Structure, from Engineering to Nature
90 折
出版日:2000/10/01 作者:Adrian Bejan  出版社:Cambridge Univ Pr  裝訂:平裝
Seemingly universal geometric forms unite the flow systems of engineering and nature. For example, tree-shaped flows can be seen in computers, lungs, dendritic crystals, urban street patterns, and communication links. In this groundbreaking book, first published in 2000, Adrian Bejan considers the design and optimization of engineered systems and discovers a deterministic principle of the generation of geometric form in natural systems. Shape and structure spring from the struggle for better performance in both engineering and nature. This idea is the basis of the new constructal theory: the objective and constraints principle used in engineering is the same mechanism from which the geometry in natural flow systems emerges. From heat exchangers to river channels, the book draws many parallels between the engineered and the natural world. Among the topics covered are mechanical structure, thermal structure, heat trees, ducts and rivers, turbulent structure, and structure in transportat
優惠價: 9 2983
無庫存
出版日:2013/07/15 作者:Zhu Han  出版社:Cambridge Univ Pr  裝訂:精裝
Compressive sensing is a new signal processing paradigm that aims to encode sparse signals by using far lower sampling rates than those in the traditional Nyquist approach. It helps acquire, store, fuse and process large data sets efficiently and accurately. This method, which links data acquisition, compression, dimensionality reduction and optimization, has attracted significant attention from researchers and engineers in various areas. This comprehensive reference develops a unified view on how to incorporate efficiently the idea of compressive sensing over assorted wireless network scenarios, interweaving concepts from signal processing, optimization, information theory, communications and networking to address the issues in question from an engineering perspective. It enables students, researchers and communications engineers to develop a working knowledge of compressive sensing, including background on the basics of compressive sensing theory, an understanding of its benefits and
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2020/01/16 作者:Tarik Uzunovi? and Asif Šabanovi?  出版社:CRC Pr I Llc  裝訂:精裝
This book is concerned with the development of design techniques for controlling motion of mechanical systems which are employed to execute certain tasks acting collaboratively. The book introduces un
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mathematical Aspects of Signal Processing
滿額折
出版日:2016/12/06 作者:Pradip Sircar  出版社:Cambridge Univ Pr  裝訂:精裝
Written using clear and accessible language, this text provides detailed coverage of the core mathematical concepts underpinning signal processing. All the core areas of mathematics are covered, including generalized inverses, singular value decomposition, function representation, and optimization, with detailed explanations of how basic concepts in these areas underpin the methods used to perform signal processing tasks. A particular emphasis is placed on the practical applications of signal processing, with numerous in-text practice questions and real-world examples illustrating key concepts, and MATLAB programs with accompanying graphical representations providing all the necessary computational background. This is an ideal text for graduate students taking courses in signal processing and mathematical methods, or those who want to establish a firm foundation in these areas before progressing to more advanced study.
優惠價: 9 3275
無庫存
Lectures on Mechanics
90 折
出版日:1992/04/30 作者:Jerrold E. Marsden  出版社:Cambridge Univ Pr  裝訂:平裝
The use of geometric methods in classical mechanics has proven to be a fruitful exercise, with the results being of wide application to physics and engineering. Here Professor Marsden concentrates on these geometric aspects, and especially on symmetry techniques. The main points he covers are: the stability of relative equilibria, which is analyzed using the block diagonalization technique; geometric phases, studied using the reduction and reconstruction technique; and bifurcation of relative equilibria and chaos in mechanical systems. A unifying theme for these points is provided by reduction theory, the associated mechanical connection and techniques from dynamical systems. These methods can be applied to many control and stabilization situations, and this is illustrated using rigid bodies with internal rotors, and the use of geometric phases in mechanical systems. To illustrate the above ideas and the power of geometric arguments, the author studies a variety of specific systems, in
優惠價: 9 3275
無庫存
Machine Learning for Engineers
滿額折
出版日:2022/08/31 作者:Osvaldo Simeone  出版社:Cambridge Univ Pr  裝訂:精裝
This self-contained introduction to machine learning, designed from the start with engineers in mind, will equip students with everything they need to start applying machine learning principles and algorithms to real-world engineering problems. With a consistent emphasis on the connections between estimation, detection, information theory, and optimization, it includes: an accessible overview of the relationships between machine learning and signal processing, providing a solid foundation for further study; clear explanations of the differences between state-of-the-art techniques and more classical methods, equipping students with all the understanding they need to make informed technique choices; demonstration of the links between information-theoretical concepts and their practical engineering relevance; reproducible examples using Matlab, enabling hands-on student experimentation. Assuming only a basic understanding of probability and linear algebra, and accompanied by lecture slide
優惠價: 9 3217
無庫存
出版日:2010/11/30 作者:Yuan-Pei Lin  出版社:Cambridge Univ Pr  裝訂:精裝
Providing key background material together with advanced topics, this self-contained book is written in an easy-to-read style and is ideal for newcomers to multicarrier systems. Early chapters provide a review of basic digital communication, starting from the equivalent discrete time channel and including a detailed review of the MMSE receiver. Later chapters then provide extensive performance analysis of OFDM and DMT systems, with discussions of many practical issues such as implementation and power spectrum considerations. Throughout, theoretical analysis is presented alongside practical design considerations, whilst the filter bank transceiver representation of OFDM and DMT systems opens up possibilities for further optimization such as minimum bit error rate, minimum transmission power, and higher spectral efficiency. With plenty of insightful real-world examples and carefully designed end-of-chapter problems this is an ideal single-semester textbook for senior undergraduate and gr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Object-Oriented Programming with Visual Basic.NET
90 折
出版日:2004/06/21 作者:Michael McMillan  出版社:Cambridge Univ Pr  裝訂:平裝
Michael McMillan provides a complete presentation of the object-oriented features of the Visual Basic .NET language for advanced Visual Basic programmers. Beginning with an introduction to abstract data types and their initial implementation using structures, he explains standard OOP topics including class design, inheritance, access modifiers and scoping issues, abstract classes, design and implemention of interfaces and design patterns, and refactoring in VB.NET. More advanced OOP topics are included as well, such as reflection, object persistence, and serialization. To tie everything together, McMillan demonstrates sound OOP design and implementation principles through practical examples of standard Windows applications, database applications using ADO.NET, Web-based applications using ASP.NET, and Windows service applications.
優惠價: 9 2632
無庫存
Mathematical Programs with Equilibrium Constraints
90 折
出版日:2008/06/12 作者:Zhi-Quan Luo  出版社:Cambridge Univ Pr  裝訂:平裝
This book provides a solid foundation and an extensive study for an important class of constrained optimization problems known as Mathematical Programs with Equilibrium Constraints (MPEC), which are extensions of bilevel optimization problems. The book begins with the description of many source problems arising from engineering and economics that are amenable to treatment by the MPEC methodology. Error bounds and parametric analysis are the main tools to establish a theory of exact penalisation, a set of MPEC constraint qualifications and the first-order and second-order optimality conditions. The book also describes several iterative algorithms such as a penalty-based interior point algorithm, an implicit programming algorithm and a piecewise sequential quadratic programming algorithm for MPECs. Results in the book are expected to have significant impacts in such disciplines as engineering design, economics and game equilibria, and transportation planning, within all of which MPEC has
優惠價: 9 2866
無庫存
出版日:1996/11/13 作者:Zhi-Quan Luo  出版社:Cambridge Univ Pr  裝訂:精裝
This book provides a solid foundation and an extensive study for an important class of constrained optimization problems known as Mathematical Programs with Equilibrium Constraints (MPEC), which are extensions of bilevel optimization problems. The book begins with the description of many source problems arising from engineering and economics that are amenable to treatment by the MPEC methodology. Error bounds and parametric analysis are the main tools to establish a theory of exact penalisation, a set of MPEC constraint qualifications and the first-order and second-order optimality conditions. The book also describes several iterative algorithms such as a penalty-based interior point algorithm, an implicit programming algorithm and a piecewise sequential quadratic programming algorithm for MPECs. Results in the book are expected to have significant impacts in such disciplines as engineering design, economics and game equilibria, and transportation planning, within all of which MPEC has
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Automated Planning and Acting
滿額折
出版日:2016/06/14 作者:Malik Ghallab  出版社:Cambridge Univ Pr  裝訂:精裝
Autonomous AI systems need complex computational techniques for planning and performing actions. Planning and acting require significant deliberation because an intelligent system must coordinate and integrate these activities in order to act effectively in the real world. This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques. It explains the computational deliberation capabilities that allow an actor, whether physical or virtual, to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective. Useful for students, practitioners, and researchers, this book covers state-of-the-art planning techniques, acting techniques, and their integration which will allow readers to design intelligent systems that are able to act effectively in the real world.
優惠價: 9 3509
無庫存
出版日:2018/01/31 作者:Bartłomiej Błaszczyszyn  出版社:Cambridge Univ Pr  裝訂:精裝
Achieve faster and more efficient network design and optimization with this comprehensive guide. Some of the most prominent researchers in the field explain the very latest analytic techniques and results from stochastic geometry for modelling the signal-to-interference-plus-noise ratio (SINR) distribution in heterogeneous cellular networks. This book will help readers to understand the effects of combining different system deployment parameters on key performance indicators such as coverage and capacity, enabling the efficient allocation of simulation resources. In addition to covering results for network models based on the Poisson point process, this book presents recent results for when non-Poisson base station configurations appear Poisson, due to random propagation effects such as fading and shadowing, as well as non-Poisson models for base station configurations, with a focus on determinantal point processes and tractable approximation methods. Theoretical results are illustrate
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Deep Learning and the Game of Go
滿額折
出版日:2018/10/30 作者:Max Pumperla; Kevin Ferguson  出版社:Manning Pubns Co  裝訂:平裝
It's nearly impossible to build a competent Go-playing machine using conventional programming techniques, let alone have it win. By applying advanced AI techniques, in particular deep learning and rei
定價:2750 元
無庫存
Integer Linear Programming in Computational and Systems Biology ― An Entry-level Text and Course
90 折
出版日:2019/07/31 作者:Dan Gusfield  出版社:Cambridge Univ Pr  裝訂:精裝
Integer linear programming (ILP) is a versatile modeling and optimization technique that is increasingly used in non-traditional ways in biology, with the potential to transform biological computation. However, few biologists know about it. This how-to and why-do text introduces ILP through the lens of computational and systems biology. It uses in-depth examples from genomics, phylogenetics, RNA, protein folding, network analysis, cancer, ecology, co-evolution, DNA sequencing, sequence analysis, pedigree and sibling inference, haplotyping, and more, to establish the power of ILP. This book aims to teach the logic of modeling and solving problems with ILP, and to teach the practical 'work flow' involved in using ILP in biology. Written for a wide audience, with no biological or computational prerequisites, this book is appropriate for entry-level and advanced courses aimed at biological and computational students, and as a source for specialists. Numerous exercises and accompanying soft
優惠價: 9 2969
無庫存
出版日:2007/02/22 作者:Ali M. Niknejad  出版社:Cambridge Univ Pr  裝訂:精裝
Modern communications technology demands smaller, faster and more efficient circuits. This book reviews the fundamentals of electromagnetism in passive and active circuit elements, highlighting various effects and potential problems in designing a new circuit. The author begins with a review of the basics - the origin of resistance, capacitance, and inductance - then progresses to more advanced topics such as passive device design and layout, resonant circuits, impedance matching, high-speed switching circuits, and parasitic coupling and isolation techniques. Using examples and applications in RF and microwave systems, the author describes transmission lines, transformers, and distributed circuits. State-of-the-art developments in Si based broadband analog, RF, microwave, and mm-wave circuits are reviewed. With up-to-date results, techniques, practical examples, illustrations and worked examples, this book will be valuable to advanced undergraduate and graduate students of electrical
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Presenting the latest advances in computational intelligence, this book covers advanced design methodologies, algorithms and implementation techniques, including navigation, localization and mapping o
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/07/30 作者:Anh-Vu H. Pham  出版社:Cambridge Univ Pr  裝訂:精裝
A comprehensive overview of electrical design using Liquid Crystal Polymer (LCP), giving you everything you need to know to get up-to-speed on the subject. This text describes successful design and development techniques for high-performance microwave and millimeter-wave packages and modules in an organic platform. These were specifically developed to make the most of LCP's inert, hermetic, low-cost, high-frequency (DC to 110+ GHz) properties. First-hand accounts show you how to avoid various pitfalls during design and development. You'll get extensive electrical design details in areas of broadband circuit design for low-loss interconnects, couplers, splitters/combiners, baluns, phase shifters, time-delay units (TDU), power amplifier (PA) modules, receiver modules, phased-array antennas, flexible electronics, surface mounted packages, Microelectromechanical Systems (MEMS) and reliability. Ideal for engineers in the fields of RF, microwave, signal integrity, advanced packaging, materia
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/04/30 作者:Lingyang Song  出版社:Cambridge Univ Pr  裝訂:精裝
Covering the fundamental theory together with the state of the art in research and development, this practical guide provides the techniques needed to design, analyze, and optimize device-to-device (D2D) communications in wireless networking. With an ever-increasing demand for higher data rate wireless access, D2D communication is set to become a key feature supported by next generation cellular networks. This book introduces D2D-based wireless communications from the physical, MAC, network, and application layer perspectives, providing all the key background information before moving on to discuss real-world applications as well as potential future developments. Key topics are discussed in detail, such as dynamic resource sharing (for example of spectrum and power) between cellular and ad hoc D2D communications to accommodate larger volumes of traffic and provide better service to users. Readers will understand the practical challenges of resource management, optimization, security, s
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Survivability and Traffic Grooming in WDM Optical Networks
90 折
出版日:2011/07/21 作者:Arun Somani  出版社:Cambridge Univ Pr  裝訂:平裝
The advent of fiber optic transmission systems and wavelength division multiplexing (WDM) have led to a dramatic increase in the usable bandwidth of single fiber systems. This book provides detailed coverage of survivability (dealing with the risk of losing large volumes of traffic data due to a failure of a node or a single fiber span) and traffic grooming (managing the increased complexity of smaller user requests over high capacity data pipes), both of which are key issues in modern optical networks. A framework is developed to deal with these problems in wide-area networks, where the topology used to service various high-bandwidth (but still small in relation to the capacity of the fiber) systems evolves toward making use of a general mesh. Effective solutions, exploiting complex optimization techniques, and heuristic methods are presented to keep network problems tractable. Newer networking technologies and efficient design methodologies are also described.
優惠價: 9 2866
無庫存
出版日:2006/01/19 作者:Arun Somani  出版社:Cambridge Univ Pr  裝訂:精裝
The advent of fiber optic transmission systems and wavelength division multiplexing (WDM) have led to a dramatic increase in the usable bandwidth of single fiber systems. This book provides detailed coverage of survivability (dealing with the risk of losing large volumes of traffic data due to a failure of a node or a single fiber span) and traffic grooming (managing the increased complexity of smaller user requests over high capacity data pipes), both of which are key issues in modern optical networks. A framework is developed to deal with these problems in wide-area networks, where the topology used to service various high-bandwidth (but still small in relation to the capacity of the fiber) systems evolves toward making use of a general mesh. Effective solutions, exploiting complex optimization techniques, and heuristic methods are presented to keep network problems tractable. Newer networking technologies and efficient design methodologies are also described.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
CAD for the Workshop
滿額折
出版日:2014/04/01 作者:Neill Hughes  出版社:Trafalgar Square Books  裝訂:精裝
Computer-aided design (CAD) technology is essential for modern design and manufacture in the workshop. Whether you are new to using CAD or ready to try more advanced software, this title gives a thoro
定價:1258 元
無庫存
出版日:2015/11/23 作者:Michael H?er (EDT); Cristina Silvano (EDT)  出版社:Springer Verlag  裝訂:精裝
This book explores near-threshold computing (NTC), a design-space using techniques to run digital chips (processors) near the lowest possible voltage. Readers will be enabled with specific techniques
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1997/09/01 作者:N. H. Malik; A. A. Al-Arainy; M. I. Qureshi; N. H. Malik (EDT)  出版社:Taylor & Francis  裝訂:精裝
This comprehensive survey of advanced digital and electro-optic techniques covers the design, operations, diagnostics, and testing of electrical insulation in high-voltage power networks. Examines the
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Macroeconomic Dynamics
90 折
出版日:1982/03/18 作者:Keizo Nagatani  出版社:Cambridge Univ Pr  裝訂:平裝
This presentation of advanced macroeconomics emphasizes the dynamic behaviour of the economy. Developed capitalist economies are characterized by large stocks of durable goods and the intertemporal nature of economic decisions that these involve. Such intertemporal decisions based on expectations about an uncertain future are the main sources of mistakes and consequent economic fluctuations. In this book, therefore, macroeconomic theory and policy are viewed as applications of capital theory. Professor Nagatani traces the early contributions to this viewpoint and critically surveys the modern literature. To aid the reader, a lucid exposition of dynamic optimization is provided before the theory is developed analytically. The framework employed has novel aspects and captures the chief characteristics of advanced economies. The analysis is used to draw out broad policy conclusions. This book is suitable for advanced students, for whom examples are provided at the end of chapters. However
優惠價: 9 1520
無庫存
Making Wire Jewellery
滿額折
出版日:2016/11/01 作者:Janice Zethraeus  出版社:Crowood Pr  裝訂:平裝
Precious metal wire is a versatile material that can be used to great advantage in jewelry design. This book focuses on using soldering techniques to confidently construct wearable wire jewelry design
優惠價: 79 709
無庫存
出版日:2012/10/24 作者:Ariga  出版社:John Wiley & Sons Inc  裝訂:平裝
The authors address the fundamentals and techniques of using wet processes for fabricating organized organic ultrathin films for advanced technologies applications and current research developments. G
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/05/31 作者:Jeffrey A. Nanzer  出版社:Artech House  裝訂:精裝
Nanzer (applied physics, Johns Hopkins U.) presents fundamental principles and advanced techniques used in remote security sensing using electromagnetic waves at microwave and millimeter wave lengths.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Specifying Software:A Hands-On Introduction
90 折
出版日:2002/02/25 作者:R. D. Tennent  出版社:Cambridge Univ Pr  裝訂:平裝
Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.
優惠價: 9 1930
無庫存
出版日:2002/02/25 作者:R. D. Tennent  出版社:Cambridge Univ Pr  裝訂:精裝
Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/11/05 作者:Marco Ottavi (EDT); Dimitris Gizopoulos (EDT); Salvatore Pontarelli (EDT)  出版社:Springer Verlag  裝訂:精裝
This book provides comprehensive coverage of the dependability challenges in today's advanced computing systems. It is an in-depth discussion of all the technological and design-level techniques that
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Heat Transfer in Process Engineering
滿額折
出版日:2009/08/12 作者:CAO  出版社:Mcgraw-Hill; Inc.  裝訂:精裝
Cutting-edge heat transfer principles and design applicationsApply advanced heat transfer concepts to your chemical, petrochemical, and refining equipment designs using the detailed information contai
優惠價: 79 2416
無庫存
  • 共 1803筆
    第 46 頁
  • 1
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 46

暢銷榜

客服中心

收藏

會員專區