software application development

SAP ABAP ― Hands -On Test Projects With Business Scenarios

作者：Sushil Markandeya; Kaushik Roy 出版社：Springer-Verlag New York Inc 出版日：2014/01/27 裝訂：平裝

SAP ABAP (Advanced Business Application Programming) elucidates the numerous features of the core programming platform, which is used for development for the entire SAP software suite. SAP ABAP uses n

定價：3600 元，優惠價：1 3600

無庫存，下單後進貨(到貨天數約30-45天)

42.

River Basin Management II

作者：C. A. Brebbia (EDT) 出版社：Computational Mechanics 出版日：2003/01/01 裝訂：精裝

This collection from the April 2003 conference presents recent advances in the development and application of hydroinformatics software tools for the prediction of flow, water quality, sediment transp

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

43.

Guide to Distributed Simulation With Hla

作者：Top蓰; Okan; Oguzt; Halit 出版社：Springer-Verlag New York Inc 出版日：2017/08/14 裝訂：精裝

This invaluable textbook/reference provides a hands-on guide to the application of good software development practices to the construction of distributed simulation systems, with a particular focus on

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

Numerical Solution of Elliptic and Parabolic Partial Differential Equations

90折

44.

Numerical Solution of Elliptic and Parabolic Partial Differential Equations

作者：John A. Trangenstein 出版社：Cambridge Univ Pr 出版日：2013/05/27 裝訂：精裝

For mathematicians and engineers interested in applying numerical methods to physical problems this book is ideal. Numerical ideas are connected to accompanying software, which is also available online. By seeing the complete description of the methods in both theory and implementation, students will more easily gain the knowledge needed to write their own application programs or develop new theory. The book contains careful development of the mathematical tools needed for analysis of the numerical methods, including elliptic regularity theory and approximation theory. Variational crimes, due to quadrature, coordinate mappings, domain approximation and boundary conditions, are analyzed. The claims are stated with full statement of the assumptions and conclusions, and use subscripted constants which can be traced back to the origination (particularly in the electronic version, which can be found on the accompanying CD-ROM).

定價：2762 元，優惠價：9 2486

無庫存，下單後進貨(到貨天數約45-60天)

45.

Patterns for API Design: Simplifying Integration with Loosely Coupled Message Exchanges

作者：Olaf Zimmermann 出版社：ADDISON WESLEY PUB CO INC 出版日：2022/12/19 裝訂：平裝

As thousands of developers focus on constructing reliable, well-performing, and secure APIs, there's immense demand for a practical, up-to-date, technology-and-platform-independent guide to API design. API Design Patterns fills this gap. A team of expert authors cut through the complexity of API communication and message content, presenting rich and complete design guidelines and heuristics for engineering APIs sustainably and specifying them clearly. API Design Patterns covers the entire API lifecycle, from launching projects and establishing business goals through defining architecturally significant requirements, elaborating and implementing designs, and documentation. It illuminates patterns drawn from both public web APIs and proprietary application development and software integration projects the authors have led or participated in. You'll find a complete library of concrete, actionable design patterns, each formatted consistently to explain context, forces, problem, solution, d

定價：2200 元，優惠價：1 2200

無庫存，下單後進貨(到貨天數約30-45天)

90折

46.

TinyOS Programming

作者：Philip Levis 出版社：Cambridge Univ Pr 出版日：2009/04/13 裝訂：平裝

Do you need to know how to write systems, services, and applications using the TinyOS operating system? Learn how to write nesC code and efficient applications with this indispensable guide to TinyOS programming. Detailed examples show you how to write TinyOS code in full, from basic applications right up to new low-level systems and high performance applications. Two leading figures in the development of TinyOS also explain the reasons behind many of the design decisions made and, for the first time, how nesC relates to and differs from other C dialects. Handy features such as a library of software design patterns, programming hints and tips, end-of-chapter exercises, and an appendix summarizing the basic application-level TinyOS APIs make this the ultimate guide to TinyOS for embedded systems programmers, developers, designers, and graduate students.

定價：2989 元，優惠價：9 2690

無庫存，下單後進貨(到貨天數約45-60天)

Handshake Circuits：An Asynchronous Architecture for VLSI Programming

90折

47.

Handshake Circuits：An Asynchronous Architecture for VLSI Programming

作者：Kees van Berkel 出版社：Cambridge Univ Pr 出版日：2004/12/16 裝訂：平裝

'Design by programming' has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of VLSI realizations of handshake circuits includes various forms of optimization, handshake refinement, message encoding, circuit initialization, and testing. The approach is illustrated with a host of examples drawn from a wide range of application areas. The book will be of use to electrical engineers and computer scientists involved in VLSI design.

定價：3834 元，優惠價：9 3451

無庫存，下單後進貨(到貨天數約45-60天)

90折

48.

Time Series Techniques for Economists

作者：Terence C. Mills 出版社：Cambridge Univ Pr 出版日：1991/06/13 裝訂：平裝

The application of time series techniques in economics has become increasingly important, both for forecasting purposes and in the empirical analysis of time series in general. In this book, Terence Mills not only brings together recent research at the frontiers of the subject, but also analyses the areas of most importance to applied economics. It is an up-to-date text which extends the basic techniques of analysis to cover the development of methods that can be used to analyse a wide range of economic problems. The book analyses three basic areas of time series analysis: univariate models, multivariate models, and non-linear models. In each case the basic theory is outlined and then extended to cover recent developments. Particular emphasis is placed on applications of the theory to important areas of applied economics and on the computer software and programs needed to implement the techniques. This book clearly distinguishes itself from its competitors by emphasising the techniques

定價：2989 元，優惠價：9 2690

無庫存，下單後進貨(到貨天數約45-60天)

49.

Mobile Computing Principles：Designing and Developing Mobile Applications with UML and XML

作者：Reza B'Far 出版社：Cambridge Univ Pr 出版日：2004/11/01 裝訂：精裝

Written to address technical concerns that mobile developers face regardless of the platform (J2ME, WAP, Windows CE, etc.), this 2005 book explores the differences between mobile and stationary applications and the architectural and software development concepts needed to build a mobile application. Using UML as a tool, Reza B'far guides the developer through the development process, showing how to document the design and implementation of the application. He focuses on general concepts, while using platforms as examples or as possible tools. After introducing UML, XML and derivative tools necessary for developing mobile software applications, B'far shows how to build user interfaces for mobile applications. He covers location sensitivity, wireless connectivity, mobile agents, data synchronization, security, and push-based technologies, and finally homes in on the practical issues of mobile application development including the development cycle for mobile applications, testing mobile

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

50.

Bayesian Inference for Gene Expression and Proteomics

作者：Kim-Anh Do 出版社：Cambridge Univ Pr 出版日：2006/07/24 裝訂：精裝

The interdisciplinary nature of bioinformatics presents a research challenge in integrating concepts, methods, software and multiplatform data. Although there have been rapid developments in new technology and an inundation of statistical methods for addressing other types of high-throughput data, such as proteomic profiles that arise from mass spectrometry experiments. This book discusses the development and application of Bayesian methods in the analysis of high-throughput bioinformatics data that arise from medical, in particular, cancer research, as well as molecular and structural biology. The Bayesian approach has the advantage that evidence can be easily and flexibly incorporated into statistical methods. A basic overview of the biological and technical principles behind multi-platform high-throughput experimentation is followed by expert reviews of Bayesian methodology, tools and software for single group inference, group comparisons, classification and clustering, motif discov

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

滿額折

51.

Bayesian Inference for Gene Expression and Proteomics

作者：Kim-Anh Do 出版社：Cambridge Univ Pr 出版日：2012/04/30 裝訂：平裝

The interdisciplinary nature of bioinformatics presents a research challenge in integrating concepts, methods, software and multiplatform data. Although there have been rapid developments in new technology and an inundation of statistical methods for addressing other types of high-throughput data, such as proteomic profiles that arise from mass spectrometry experiments. This book discusses the development and application of Bayesian methods in the analysis of high-throughput bioinformatics data that arise from medical, in particular, cancer research, as well as molecular and structural biology. The Bayesian approach has the advantage that evidence can be easily and flexibly incorporated into statistical methods. A basic overview of the biological and technical principles behind multi-platform high-throughput experimentation is followed by expert reviews of Bayesian methodology, tools and software for single group inference, group comparisons, classification and clustering, motif discov

定價：2729 元，優惠價：9 2456

無庫存，下單後進貨(到貨天數約45-60天)

Soft Computing in Electromagnetics ─ Methods and Applications

滿額折

52.

Soft Computing in Electromagnetics ─ Methods and Applications

作者：Balamati Choudhury 出版社：Cambridge Univ Pr 出版日：2016/01/14 裝訂：精裝

Soft computing techniques are emerging as an important tool in solving design, performance and optimisation problems in electromagnetics. Soft Computing in Electromagnetics offers detailed discussion on the application of soft computing concepts in the field of metamaterial antennas, radar absorbers, transmission line characterisation and optimised radar absorbing material (RAM) and introduces implementation of soft computing tools in a relatively new area of metamaterials. The soft computing methods are used to optimise fault detection, electromagnetic propagation and path loss detection. The development of two CAD packages for design of metamaterial split ring resonators (SRR) and path-loss prediction is discussed. The concepts are explained with the help of algorithms and the corresponding software codes. Numerical examples and MATLAB codes are provided throughout the text to facilitate understanding.

定價：2989 元，優惠價：9 2690

無庫存，下單後進貨(到貨天數約45-60天)

53.

Building High Integrity Applications With Spark

作者：John W. McCormick 出版社：Cambridge Univ Pr 出版日：2015/10/15 裝訂：精裝

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

滿額折

54.

Building High Integrity Applications With Spark

作者：John W. McCormick 出版社：Cambridge Univ Pr 出版日：2015/10/15 裝訂：平裝

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

定價：2859 元，優惠價：9 2573

無庫存，下單後進貨(到貨天數約45-60天)

55.

The Patterns Handbook：Techniques, Strategies, and Applications

作者：Linda Rising 出版社：Cambridge Univ Pr 出版日：1998/06/28 裝訂：平裝

In The Patterns Handbook, Linda Rising has selected seminal articles and essays that illustrate the growing importance of patterns in application development. In this important collection, you will find articles on pattern writing, pattern templates, system test patterns, frameworks and design patterns, how patterns work in teams, patterns and antipatterns, and patterns of thought. A partial list of well published experts includes James Coplien, Kent Beck, Grady Booch, Ralph Johnson, Robert Martin, Andrew Koenig, and John Vlissides. This reference contains an overview, examples and experience, resources, an annotated bibliography, and contact information. The use of patterns leads to successful solutions to recurring problems. This book will show you how to use patterns to improve productivity and quality and to become a better software designer.

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

56.

Logic in Computer Science：Modelling and Reasoning about Systems

作者：Michael Huth 出版社：Cambridge Univ Pr 出版日：2004/08/26 裝訂：平裝

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers,

到貨時通知我

缺貨無法訂購

Practical WAP：Developing Applications for the Wireless Web

90折

57.

Practical WAP：Developing Applications for the Wireless Web

作者：Chris Bennett 出版社：Cambridge Univ Pr 出版日：2001/05/07 裝訂：平裝

The marriage of mobile communications with Internet technologies opens up the Web to a vastly expanded audience. New types of applications that take advantage of user location, provide time-critical information, and offer personalized content are now possible. WAP, the Wireless Application Protocol, provides the technology to build this wireless Web. You will learn about the WAP Forum, mobile devices, and what makes a good WAP application. This book shows you around the WAP standards, explaining which ones you really need to build WAP applications. It guides you through the critical success factors in designing WAP applications and helps you choose the right architecture for your WAP project Tutorials on WML (the HTML of wireless web) WMLScript, and Push technology are combined with real world examples to make Practical WAP ideal for software developers, architects, and managers.

定價：3184 元，優惠價：9 2866

無庫存，下單後進貨(到貨天數約45-60天)

58.

Emboss Developer's Guide

作者：Jon C. Ison 出版社：Cambridge Univ Pr 出版日：2011/07/25 裝訂：平裝

The European Molecular Biology Open Software Suite (EMBOSS) is a high quality, well documented package of open source software tools for molecular biology. EMBOSS includes extensive and extensible C programming libraries, providing a powerful and robust toolkit for developing new bioinformatics tools from scratch. The EMBOSS Developer's Guide is the official and definitive guide to developing software under EMBOSS. It includes comprehensive reference information and guidelines, including step-by-step instructions and real-world code examples: • Learn how to write fully-featured tools guided by the people who developed EMBOSS • Step-by-step guide to writing EMBOSS applications, illustrated with functional, deployed code • ACD file development - learn how to customise existing tools without coding, or design and write entirely new application interfaces • EMBOSS API programming guidelines - quickly master application development • Wrapping and porting applications under EMBOSS - learn ho

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

59.

Agile and Lean Concepts for Teaching and Learning ― Bringing Methodologies from Industry to the Classroom

作者：David Parsons (EDT); Kathryn Maccallum (EDT) 出版社：Springer Nature 出版日：2018/11/06 裝訂：精裝

This book explores the application of agile and lean techniques, originally from the field of software development and manufacturing, to various aspects of education. It covers a broad range of topics

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

60.

Assessing Measurement Invariance for Applied Research

作者：Craig S. Wells 出版社：Cambridge Univ Pr 出版日：2021/04/30 裝訂：精裝

This book focuses on the practical application of statistical techniques for assessing measurement invariance with less emphasis on theoretical development or exposition. Instead, it describes the methods using a pedagogical framework followed by extensive illustrations that demonstrate how to use software to analyze real data. The chapters illustrate the practical methods to assess measurement invariance and shows how to apply them to a range of data. The computer syntax and data sets used in this book are available for download here: people.umass.edu/cswells.

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

熱搜：

進擊的巨人：愛藏版

腦筋急轉彎2 原文書

誰是被害者2

NG書-DogMan

買書看棒球!

許倬雲

佛法是科學的終極典範

漫畫少年學墨菲定律

景氣燈號

拜登

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

SAP ABAP ― Hands -On Test Projects With Business Scenarios

River Basin Management II

Guide to Distributed Simulation With Hla

Numerical Solution of Elliptic and Parabolic Partial Differential Equations

Patterns for API Design: Simplifying Integration with Loosely Coupled Message Exchanges

TinyOS Programming

Handshake Circuits：An Asynchronous Architecture for VLSI Programming

Time Series Techniques for Economists

Mobile Computing Principles：Designing and Developing Mobile Applications with UML and XML

Bayesian Inference for Gene Expression and Proteomics

Bayesian Inference for Gene Expression and Proteomics

Soft Computing in Electromagnetics ─ Methods and Applications

Building High Integrity Applications With Spark

Building High Integrity Applications With Spark

The Patterns Handbook：Techniques, Strategies, and Applications

Logic in Computer Science：Modelling and Reasoning about Systems

Practical WAP：Developing Applications for the Wireless Web

Emboss Developer's Guide

Agile and Lean Concepts for Teaching and Learning ― Bringing Methodologies from Industry to the Classroom

Assessing Measurement Invariance for Applied Research