Computer programming / software engineering Books

Sidebar Sidebar Sidebar
  • Global Optimization and Constraint Satisfaction Global Optimization and Constraint Satisfaction
    Add to Cart The item has been added

    Global Optimization and Constraint Satisfaction

    Christian Bliek

    This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held in Valbonne-Sophia ...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • High Performance Computing -- HiPC 2003 High Performance Computing -- HiPC 2003
    Add to Cart The item has been added

    High Performance Computing -- HiPC 2003

    Timothy Mark Pinkston

    Message from the Steering Chair It was my pleasure to welcome attendees to the 10th International Conference on High-Performance Computing and to Hyderabad, an emerging center of IT activities in...
    $226.80

    Add to Cart The item has been added
  • Formal Methods and Software Engineering Formal Methods and Software Engineering
    Add to Cart The item has been added

    Formal Methods and Software Engineering

    Jin Song Dong

    This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held...
    $226.80

    Add to Cart The item has been added
  • Conceptual Modeling -- ER 2003 Conceptual Modeling -- ER 2003
    Add to Cart The item has been added

    Conceptual Modeling -- ER 2003

    Il-Yeol Song

    The 22nd International Conference on Conceptual Modeling (ER 2003) returned to Chicago after an absence of 18 years. Chicago, a city well known for its trendsetting and daring architecture, has met...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Agent-Oriented Software Engineering IV Agent-Oriented Software Engineering IV
    Add to Cart The item has been added

    Agent-Oriented Software Engineering IV

    Paolo Giorgini

    The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Categories for Software Engineering Categories for Software Engineering
    Add to Cart The item has been added

    Categories for Software Engineering

    Jose Luiz Fiadeiro

    Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.
    $121.54

    Add to Cart The item has been added
  • Pattern Recognition and Image Processing in C++ Pattern Recognition and Image Processing in C++
    Add to Cart The item has been added

    Pattern Recognition and Image Processing in C++

    Dietrich Paulus

    Parts of this text were used for several years by students in a one~term under­ graduate course in computer science. The students had to prepare projects in small groups (2~4 students).1 This book...
    $267.06

    Add to Cart The item has been added
  • Open Problems in Optimization and Data Analysis Open Problems in Optimization and Data Analysis
    Add to Cart The item has been added

    Open Problems in Optimization and Data Analysis

    Panos M. Pardalos

    Computational and theoretical open problems in optimization, computational geometry, data science, logistics, statistics, supply chain modeling, and data analysis are examined in this book.  Each...
    RRP: $251.90
    $248.12

    Add to Cart The item has been added
  • Principled Software Development Principled Software Development
    Add to Cart The item has been added

    Principled Software Development

    Peter Müller

    This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Advances in Cryptology - CRYPTO 2018 Advances in Cryptology - CRYPTO 2018
    Add to Cart The item has been added

    Advances in Cryptology - CRYPTO 2018

    Hovav Shacham

    The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed proceedings of the 38th Annual International Cryptology Conference, CRYPTO 2018, held in Santa Barbara, CA, USA,...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Evolutionary Multi-Agent Systems Evolutionary Multi-Agent Systems
    Add to Cart The item has been added

    Evolutionary Multi-Agent Systems

    Aleksander Byrski

    This book addresses agent-based computing, concentrating in particular on evolutionary multi-agent systems (EMAS), which have been developed since 1996 at the AGH University of Science and Technology...
    $270.22

    Add to Cart The item has been added
  • Multiple Instance Learning Multiple Instance Learning
    Add to Cart The item has been added

    Multiple Instance Learning

    Francisco Herrera

    This book provides a general overview of multiple instance learning (MIL), defining the framework and covering the central paradigms. The authors discuss the most important algorithms for MIL such as...
    $199.42

    Add to Cart The item has been added
  • Claudio Moraga Claudio Moraga
    Add to Cart The item has been added

    Claudio Moraga

    Rudolf Seising

    The book is an authoritative collection of contributions by leading experts on the topics of fuzzy logic, multi-valued logic and neural network. Originally written as an homage to Claudio Moraga,...
    $219.36

    Add to Cart The item has been added
  • Coordination of Complex Sociotechnical Systems Coordination of Complex Sociotechnical Systems
    Add to Cart The item has been added

    Coordination of Complex Sociotechnical Systems

    Stefano Mariani

    The book discusses the main issues of coordination in complex sociotechnical systems, covering distributed, self-organising, and pervasive systems. A chemistry-inspired model of coordination, a...
    $199.42

    Add to Cart The item has been added
  • Big Data Technologies and Applications Big Data Technologies and Applications
    Add to Cart The item has been added

    Big Data Technologies and Applications

    Borko Furht

    The objective of this book is to introduce the basic concepts of big data computing and then to describe the total solution of big data problems using HPCC, an open-source computing platform.The book...
    $258.42

    Add to Cart The item has been added
  • Genetic Programming Theory and Practice XIII Genetic Programming Theory and Practice XIII
    Add to Cart The item has been added

    Genetic Programming Theory and Practice XIII

    Rick Riolo

    These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world...
    $226.80

    Add to Cart The item has been added
  • Pattern Mining with Evolutionary Algorithms Pattern Mining with Evolutionary Algorithms
    Add to Cart The item has been added

    Pattern Mining with Evolutionary Algorithms

    Sebastián Ventura

    This book provides a comprehensive overview of the field of pattern mining with evolutionary algorithms. To do so, it covers formal definitions about patterns, patterns mining, type of patterns and...
    $199.42

    Add to Cart The item has been added
  • Managing Software Process Evolution Managing Software Process Evolution
    Add to Cart The item has been added

    Managing Software Process Evolution

    Marco Kuhrmann

    This book focuses on the design, development, management, governance and application of evolving software processes that are aligned with changing business objectives, such as expansion to new...
    $226.80

    Add to Cart The item has been added
  • Simulated Evolution and Learning Simulated Evolution and Learning
    Add to Cart The item has been added

    Simulated Evolution and Learning

    Yuhui Shi

    This book constitutes the refereed proceedings of the 11th International Conference on Simulated Evolution and Learning, SEAL 2017, held in Shenzhen, China, in November 2017. The 85 papers presented...
    $199.42

    Add to Cart The item has been added
  • Cloud Computing and Security Cloud Computing and Security
    Add to Cart The item has been added

    Cloud Computing and Security

    Xingming Sun

    This two volume set LNCS 10602 and LNCS 10603 constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Cloud Computing and Security, ICCCS 2017, held...
    $219.36

    Add to Cart The item has been added
  • Conceptual Modeling Perspectives Conceptual Modeling Perspectives
    Add to Cart The item has been added

    Conceptual Modeling Perspectives

    Jordi Cabot

    Conceptual modeling has always been one of the main issues in information systems engineering as it aims to describe the general knowledge of the system at an abstract level that facilitates user...
    $199.42

    Add to Cart The item has been added
  • Low-Power Design and Power-Aware Verification Low-Power Design and Power-Aware Verification
    Add to Cart The item has been added

    Low-Power Design and Power-Aware Verification

    Progyna Khondkar

    Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in...
    $284.26

    Add to Cart The item has been added
  • Advances in Computing Advances in Computing
    Add to Cart The item has been added

    Advances in Computing

    Andrés Solano

    This book constitutes the refereed proceedings of the 12th Colombian Conference on Computing, CCC 2017, held in Cali, Colombia, in September 2017. The 56 revised full papers presented were carefully...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Software Failure Investigation Software Failure Investigation
    Add to Cart The item has been added

    Software Failure Investigation

    Jan Eloff

    This book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures. The...
    $219.36

    Add to Cart The item has been added
  • New Perspectives in End-User Development New Perspectives in End-User Development
    Add to Cart The item has been added

    New Perspectives in End-User Development

    Fabio Paternò

    This book provides an in-depth insight into the emerging paradigm of End-User Development (EUD), discussing the diversity and potential for creating effective environments for end users. Containing a...
    $293.82

    Add to Cart The item has been added
  • Euro-Par 2016 Euro-Par 2016
    Add to Cart The item has been added

    Euro-Par 2016

    Frédéric Desprez

    This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France in August 2016.   The 65...
    $199.42

    Add to Cart The item has been added
  • Model Reduction of Parametrized Systems Model Reduction of Parametrized Systems
    Add to Cart The item has been added

    Model Reduction of Parametrized Systems

    Peter Benner

    The special volume offers a global guide to new concepts and approaches concerning the following topics: reduced basis methods, proper orthogonal decomposition, proper generalized decomposition,...
    $270.22

    Add to Cart The item has been added
  • Multi-Disciplinary Digital Signal Processing Multi-Disciplinary Digital Signal Processing
    Add to Cart The item has been added

    Multi-Disciplinary Digital Signal Processing

    E. S. Gopi

    This book provides a comprehensive overview of digital signal processing for a multi-disciplinary audience. It posits that though the theory involved in digital signal processing stems from...
    $307.32

    Add to Cart The item has been added
  • Green, Pervasive, and Cloud Computing Green, Pervasive, and Cloud Computing
    Add to Cart The item has been added

    Green, Pervasive, and Cloud Computing

    Man Ho Allen Au

    This book constitutes the proceedings of the 12th International Conference on Green, Pervasive, and Cloud Computing, GPC 2017, held in Cetara, Italy, in May 2017 and the following colocated...
    $199.42

    Add to Cart The item has been added
  • Numerical Computations with GPUs Numerical Computations with GPUs
    Add to Cart The item has been added

    Numerical Computations with GPUs

    Volodymyr Kindratenko

    This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear...
    $293.82

    Add to Cart The item has been added
  • Computational Problems in Engineering Computational Problems in Engineering
    Add to Cart The item has been added

    Computational Problems in Engineering

    Nikos Mastorakis

    This book provides readers with modern computational techniques for solving variety of problems from electrical, mechanical, civil and chemical engineering. Mathematical methods are presented in a...
    $334.16

    Add to Cart The item has been added
  • Hagenberg Business Process Modelling Method Hagenberg Business Process Modelling Method
    Add to Cart The item has been added

    Hagenberg Business Process Modelling Method

    Felix Kossak

    This book presents a proposal for designing business process management (BPM) systems  that comprise much more than just process modelling.Based on a purified Business Process Model and Notation...
    $199.42

    Add to Cart The item has been added
  • Intelligent Web Data Management Intelligent Web Data Management
    Add to Cart The item has been added

    Intelligent Web Data Management

    Kun Ma

    This bookpresents some of the emerging techniques and technologies used to handle Webdata management. Authors present novel software architectures and emergingtechnologies and then validate using...
    $226.80

    Add to Cart The item has been added
  • Retrogame Archeology Retrogame Archeology
    Add to Cart The item has been added

    Retrogame Archeology

    John Aycock

    Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited...
    $307.32

    Add to Cart The item has been added
Computer programming / software engineering