Security-Aware Systems Applications and Software Development Methods

1.

Security-Aware Systems Applications and Software Development Methods

出版日：2012/05/31 作者：Khaled M. Khan (EDT) 出版社：Igi Global 裝訂：精裝

This collection of eighteen articles on computer security and programming showcases current scholarship in a variety of topics relating to the development of security aware systems and software. Topic

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

2.

Developing and Evaluating Security-Aware Software Systems

出版日：2012/11/30 作者：Khaled M. Khan (EDT) 出版社：Igi Global 裝訂：精裝

"This book provides innovative ideas and methods on the development, operation, and maintenance of secure software systems and highlights the construction of a functional software system and a secure

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

Structure Preserving Energy Functions in Power Systems

90 折

3.

Structure Preserving Energy Functions in Power Systems

出版日：2013/03/13 作者：K. R. Padiyar 出版社：Taylor & Francis 裝訂：精裝

A guide for software development of the dynamic security assessment and control of power systems, Structure Preserving Energy Functions in Power Systems: Theory and Applications takes an approach that

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

Modelling Systems：Practical Tools and Techniques in Software Development

90 折

4.

Modelling Systems：Practical Tools and Techniques in Software Development

出版日：2009/06/11 作者：John Fitzgerald 出版社：Cambridge Univ Pr 裝訂：精裝

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

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

The National Security Law of Hong Kong: Restoration and Transformation

滿額折

5.

The National Security Law of Hong Kong: Restoration and Transformation

出版日：2022/07/12 作者：Edited by Hualing Fu and Michael Hor 出版社：香港大學出版社 裝訂：精裝

The Law of the People’s Republic of China on Safeguarding National Security in the Hong Kong SAR (the ‘NSL’) promises to be the most important legal development in Hong Kong since the advent of the Basic Law. Many wondered in the aftermath of the NSL how the foundations of Hong Kong’s system might be changed and in what way the freedoms valued by Hong Kong may be affected. Supporters view the law as essential for the preservation of public order and the national security of China and to support the fundamental well-being of “One Country, Two Systems”, an arrangement that has been in place since the return of Hong Kong to China. Critics fear an adverse impact on the spirit of “One Country, Two Systems”.From a discussion initiated by the University of Hong Kong’s Faculty of Law, this collection of essays brings together leading experts on Hong Kong and Chinese law to offer an exploratory study of the NSL and its impact on the legal system and the principle of the rule of law in Hong Kong

優惠價： 79 1745

庫存：1

Managing The Development Of Software-Intensive Systems

90 折

6.

Managing The Development Of Software-Intensive Systems

出版日：2010/01/15 作者：Mcdonald 出版社：John Wiley & Sons Inc 裝訂：精裝

An authoritative primer on managing software-based development projects and complex software/hardware systems Managing the Development of Software-Intensive Systems discusses the application of projec

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

The Business Value of Agile Software Methods

90 折

7.

The Business Value of Agile Software Methods

出版日：2009/09/20 作者：David F. Rico; Hasan H. Sayani; Saya Sone; Jeffrey V. Sutherland (FRW) 出版社：J Ross Pub 裝訂：精裝

Whether to continue using traditional cost and benefit analysis methods such as systems and software engineering standards or to use a relatively new family of software development processes known as

優惠價： 9 2023

無庫存

75 折

8.

Reliability in Scientific Research

出版日：2011/03/31 作者：I. R. Walker 出版社：Cambridge Univ Pr 裝訂：精裝

Covering many techniques widely used in research, this book will help researchers in the physical sciences and engineering solve troublesome - and potentially very time consuming - problems in their work. The book deals with technical difficulties that often arise unexpectedly during the use of various common experimental methods, as well as with human error. It provides preventive measures and solutions for such problems, thereby saving valuable time for researchers. Some of the topics covered are: sudden leaks in vacuum systems, electromagnetic interference in electronic instruments, vibrations in sensitive equipment, and bugs in computer software. The book also discusses mistakes in mathematical calculations, and pitfalls in designing and carrying out experiments. Each chapter contains a summary of its key points, to give a quick overview of important potential problems and their solutions in a given area.

優惠價： 75 2260

庫存：1

Analytic Methods In Systems And Software Testing

滿額折

9.

Analytic Methods In Systems And Software Testing

出版日：2018/07/11 作者：Kenett 出版社：John Wiley & Sons Inc 裝訂：精裝

A comprehensive treatment of systems and software testing using state of the art methods and tools This book provides valuable insights into state of the art software testing methods and explains, wit

優惠價： 9 3452

無庫存

10.

Handbook of System Safety and Security ─ Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems

出版日：2016/10/24 作者：Edward Griffor (EDT) 出版社：Syngress Media Inc 裝訂：精裝

Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems presents an update on the world

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

11.

Software Development Techniques for Constructive Information Systems Design

出版日：2013/03/31 作者：Khalid A. Buragga (EDT); Noor Zaman (EDT) 出版社：Igi Global 裝訂：精裝

Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software development is vital for the success of

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

12.

Designing, Engineering, and Analyzing Reliable and Efficient Software

出版日：2013/02/28 作者：Kulwant Kaur (EDT); Hardeep Singh (EDT) 出版社：Igi Global 裝訂：精裝

Due to the role of software systems in safety-critical applications and in the satisfaction of customers and organizations, the development of efficient software engineering is essential.Designing, En

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

Security of e-Systems and Computer Networks

90 折

13.

Security of e-Systems and Computer Networks

出版日：2007/06/14 作者：Mohammad Obaidat 出版社：Cambridge Univ Pr 裝訂：精裝

E-based systems are ubiquitous in the modern world with applications spanning e-commerce, WLANs, health care and government organisations. The secure transfer of information has therefore become a critical area of research, development, and investment. This book presents the fundamental concepts and tools of e-based security and its range of applications. The core areas of e-based security - authentication of users; system integrity; confidentiality of communication; availability of business service; and non-repudiation of transactions - are covered in detail. Throughout the book the major trends, challenges and applications of e-security are presented, with emphasis on public key infrastructure (PKI) systems, biometric-based security systems, trust management systems, and the e-service paradigm. Intrusion detection technologies, virtual private networks (VPNs), malware, and risk management are also discussed. Technically oriented with many practical examples, this book is suitable f

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

Personal Data (Privacy) Law in Hong Kong: A Practical Guide on Compliance (Third Edition)

滿額折

14.

Personal Data (Privacy) Law in Hong Kong: A Practical Guide on Compliance (Third Edition)

出版日：2024/08/01 作者：Ada CHUNG Lai-ling & Guobin ZHU 出版社：香港城市大學出版社 裝訂：精裝

With an increasing concern of personal data privacy in Hong Kong and around the world, the Office of the Privacy Commissioner for Personal Data (PCPD), Hong Kong publishes this third edition of Personal Data (Privacy) Law in Hong Kong: A Practical Guide on Compliance to provide practical guidance on the law of privacy, and the ways to protect personal data in everyday life.This third edition will guide readers through the recent developments of personal data privacy in the local, regional and global contexts with updates on recent Administrative Appeals Board and Court decisions, and investigation reports and materials from the PCPD. In addition, some most-concerned issues are discussed, such as ethical development and use of AI, the collection and use of personal data by employers during COVID-19, data protection under work-from-home arrangements, data security measures for ICT systems, guidelines on doxxing offences and data breach handling. This book will certainly provide readers a

優惠價： 79 2844

庫存 > 10

Advancements in Real-Time Simulation of Power and Energy Systems

滿額折

15.

Advancements in Real-Time Simulation of Power and Energy Systems

出版日：2021/05/20 作者：Pano Kotsampopoulos; Omar Faruque 出版社：MDPI AG 裝訂：精裝

Modern power and energy systems are characterized by the wide integration of distributed generation, storage and electric vehicles, adoption of ICT solutions, and interconnection of different energy carriers and consumer engagement, posing new challenges and creating new opportunities. Advanced testing and validation methods are needed to efficiently validate power equipment and controls in the contemporary complex environment and support the transition to a cleaner and sustainable energy system. Real-time hardware-in-the-loop (HIL) simulation has proven to be an effective method for validating and de-risking power system equipment in highly realistic, flexible, and repeatable conditions. Controller hardware-in-the-loop (CHIL) and power hardware-in-the-loop (PHIL) are the two main HIL simulation methods used in industry and academia that contribute to system-level testing enhancement by exploiting the flexibility of digital simulations in testing actual controllers and power equipment.

優惠價： 1 3240

庫存：1

An Introduction To Categorical Data Analysis, 3Rd Edition

75 折

16.

An Introduction To Categorical Data Analysis, 3Rd Edition

出版日：2018/11/05 作者：Agresti 出版社：John Wiley & Sons Inc 裝訂：精裝

A valuable new edition of a standard referenceThe use of statistical methods for categorical data has increased dramatically, particularly for applications in the biomedical and social sciences. An In

優惠價： 75 7152

庫存：1

Terrorism and WMDs ─ Awareness and Response

75 折

17.

Terrorism and WMDs ─ Awareness and Response

出版日：2016/07/15 作者：John Pichtel 出版社：Productivity Press 裝訂：精裝

Since the publication of the first edition in 2011, new security threats have come to the forefront. Among these, we have heard about terrorist weapons/delivery methods becoming increasingly sophistic

優惠價： 75 4139

庫存：5

18.

Mobile Applications and Solutions for Social Inclusion

出版日：2018/04/25 作者：Sara Paiva (EDT) 出版社：Information Science Reference 裝訂：精裝

"This book explores indoor navigation, tracking and monitoring, context-aware, alert systems, development enhancements, payments, etc. It contains case studies and practical mobile applications that c

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

90 折

19.

Information Security Management Systems

出版日：2017/12/15 作者：Heru Susanto and Mohammad Nabil Almunawar 出版社：Apple Academic Press UK 裝訂：精裝

This new volume, Information Security Management Systems: A Novel Framework and Software as a Tool for Compliance with Information Security Standard, looks at information security management system st

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

Vehicular Cyber Physical Systems ― Adaptive Connectivity and Security

90 折

20.

Vehicular Cyber Physical Systems ― Adaptive Connectivity and Security

出版日：2016/09/26 作者：Danda B. Rawat 出版社：Springer Verlag 裝訂：精裝

This book provides probabilistic, deterministic and geolocation-aware approaches for adaptive connectivity, robust security and privacy-aware communications for vehicular cyber physical systems (CPS).

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

21.

System and Technology Advancements in Distance Learning

出版日：2012/08/31 作者：Vive Kumar; Fuhua Lin 出版社：Igi Global 裝訂：精裝

"This book reviews distance learning programs and software systems, outlining computational methods, algorithms, implemented prototype systems, and applications of open and distance learning"--Provide

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

22.

Situational Awareness in Computer Network Defense

出版日：2012/01/31 作者：Cyril Onwubiko; Thomas John Owens 出版社：Igi Global 裝訂：精裝

This collection of nineteen articles on information security showcases current scholarship in computer and network security with a focus on the development of situationally aware systems and practices

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

23.

Software and Systems Traceability

出版日：2012/01/31 作者：Jane Cleland-Huang (EDT); Orlena Gotel (EDT); Andrea Zisman (EDT); Anthony Finkelstein (FRW) 出版社：Springer Verlag 裝訂：精裝

Software and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. The term software

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

24.

Specification of Software Systems

出版日：2011/03/31 作者：V. S. Alagar; K. Periyasamy 出版社：Springer-Verlag New York Inc 裝訂：精裝

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for

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

Quality Assurance of Agent-Based and Self-Managed Systems

90 折

25.

Quality Assurance of Agent-Based and Self-Managed Systems

出版日：2009/08/21 作者：Reiner Dumke; Steffen Mencke; Cornelius Wille 出版社：CRC Press UK 裝訂：精裝

The challenges in implementing intelligent and autonomous software systems remain the development of self-adapting systems, self-healing applications, corporate global creation, and collaborated robot

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

90 折

26.

Architecting Secure Software Systems

出版日：2008/12/05 作者：Asoke K. Talukder; Manish Chaitanya 出版社：Auerbach Pub UK 裝訂：精裝

Traditionally, software engineers have defined security as a non-functional requirement. As such, all too often it is only considered as an afterthought, making software applications and services vuln

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

27.

Optical Imaging Sensors And Systems for Homeland Security Applications

出版日：2006/01/20 作者：Bahram Javidi (EDT) 出版社：Springer Verlag 裝訂：精裝

Optical and photonic systems and devices have significant potential for homeland security. Optical Imaging Sensors and Systems for Homeland Security Applications presents original and signifi

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

China's Energy Security in the Twenty-First Century: The Role of Global Governance and Climate Change

滿額折

28.

China's Energy Security in the Twenty-First Century: The Role of Global Governance and Climate Change

出版日：2023/03/13 作者：Kaho Yu 出版社：香港大學出版社 裝訂：精裝

Kaho Yu’s China’s Energy Security in the Twenty-First Century: The Role of Global Governance and Climate Change explores the evolution of China’s energy security from its bilateral going-out strategy to its more multilateral Belt and Road Initiative. By analysing the topic from a multidisciplinary perspective, this book examines China’s evolving role in global energy governance through four empirical case studies: China’s energy cooperation with Russia and Central Asia, Africa, the European Union, and the Asia Infrastructure Investment Bank.

優惠價： 79 1959

庫存：4

Introduction To Network Security: Theory And Practice

75 折

29.

Introduction To Network Security: Theory And Practice

出版日：2015/07/22 作者：Wang 出版社：John Wiley & Sons Inc 裝訂：精裝

Introductory textbook in the important area of network security for undergraduate and graduate students‧ Comprehensively covers fundamental concepts with newer topics such as electronic cash, bit-coin

優惠價： 75 5472

庫存：1

ZnO Nanostructures and Their Applications

75 折

30.

ZnO Nanostructures and Their Applications

出版日：2011/11/11 作者：Xiao Wei Sun; Yi Yang 出版社：Taylor & Francis 裝訂：精裝

This book focuses on the various functional properties and potential applications of one-dimensional ZnO nanostructures, from basic principles to our most recent discoveries. It comprises experimental

優惠價： 75 7200

庫存：1

Building High Integrity Applications With Spark

90 折

31.

Building High Integrity Applications With Spark

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

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

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

Distributed Networks ─ Intelligence, Security, and Applications

90 折

32.

Distributed Networks ─ Intelligence, Security, and Applications

出版日：2013/08/09 作者：Qurban A. Memon (EDT) 出版社：Taylor & Francis 裝訂：精裝

"Intelligent systems have numerous civilian, homeland security, and military applications; however, these applications carry certain requirements like communication bandwidth, sensing range, power con

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

Systems Evaluation：Methods, Models, and Applications

90 折

33.

Systems Evaluation：Methods, Models, and Applications

出版日：2011/12/07 作者：Sifeng Liu; Naiming Xie; Chaoqing Yuan and Zhigeng Fang 出版社：CRC Press UK 裝訂：精裝

A book in the Systems Evaluation, Prediction, and Decision-Making Series, Systems Evaluation: Methods, Models, and Applications covers the evolutionary course of systems evaluation methods, clearly an

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

Secure and Resilient Software ─ Requirements, Test Cases, and Testing Methods

90 折

34.

Secure and Resilient Software ─ Requirements, Test Cases, and Testing Methods

出版日：2011/11/08 作者：Mark S. Merkow and Lakshmikanth Raghavan 出版社：Auerbach Pub UK 裝訂：精裝

Secure and Resilient Software: Requirements, Test Cases, and Testing Methods provides a comprehensive set of requirements for secure and resilient software development and operation. It supplies docum

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

35.

Context-Aware Ranking With Factorization Models

出版日：2010/11/11 作者：Steffen Rendle 出版社：Springer-Verlag New York Inc 裝訂：精裝

Context-aware ranking is an important task with many applications. E.g. in recommender systems items (products, movies, ...) and for search engines webpages should be ranked. In all these applications

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

36.

Software Engineering for Secure Systems

出版日：2010/09/30 作者：Haralambos Mouratidis (EDT) 出版社：Igi Global 裝訂：精裝

This collection of twelve articles on implementing software security benchmarks throughout the development lifecycle, showcases current research on the implementation of security conscious design prin

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

37.

Cryptographic Algorithms on Reconfigurable Hardware

出版日：2006/11/01 作者：Francisco Rodriguez-henriquez; N. A. Saqib; A. Diaz-Perez; Cetin K. Koc 出版社：Springer Verlag 裝訂：精裝

Software-based cryptography can be used for security applications where data traffic is not too large and low encryption rate is tolerable. But hardware methods are more suitable where speed and real-

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

38.

Applications of Information Systems to Homeland Security And Defense

出版日：2005/09/30 作者：Hussein A. Abbass (EDT); Daryl Essam (EDT) 出版社：Igi Global 裝訂：精裝

Applications of Information Systems to Homeland Security and Defense provides an overview of complex systems techniques and presents both guidelines and specific instances of how they can be applied

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

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

90 折

39.

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

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

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]。

A Problem Solving Approach To Aquatic Chemistry

90 折

40.

A Problem Solving Approach To Aquatic Chemistry

出版日：2003/02/27 作者：Jensen 出版社：John Wiley & Sons Inc 裝訂：精裝

This text provides a detailed introduction to aquatic equilibrium chemistry, calculation methods for systems at equilibrium, applications of aquatic chemistry, and chemical kinetics. Software designe

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

熱搜：

蔣中正日記限量套書

BOOK AI開啟與書的深層對話

日花閃爍

冠軍之路(首刷贈熱血應援透卡組)

新基本小六法(2月最新版)

臺北聞人蔡金塗

家弒女王最新作品

Security-Aware Systems Applications and Software Development Methods