Computer programming / software engineering Books

Sidebar Sidebar Sidebar
  • Mobile and Ubiquitous Information Access Mobile and Ubiquitous Information Access
    Add to Cart The item has been added

    Mobile and Ubiquitous Information Access

    The ongoing migration of computing and information access from the desktop and te- phone to mobile computing devices such as PDAs, tablet PCs, and next-generation (3G) phones poses critical...
    $122.00

    Add to Cart The item has been added
  • Perspectives of Systems Informatics Perspectives of Systems Informatics
    Add to Cart The item has been added

    Perspectives of Systems Informatics

    Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July 9-12, 2003...
    $122.00

    Add to Cart The item has been added
  • CASL User Manual CASL User Manual
    Add to Cart The item has been added

    CASL User Manual

    CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language ...
    $92.00

    Add to Cart The item has been added
  • Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
    Add to Cart The item has been added

    Logic Programming and Nonmonotonic Reasoning

    The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6-8, 2004...
    $122.00

    Add to Cart The item has been added
  • FST TCS 2003 FST TCS 2003
    Add to Cart The item has been added

    FST TCS 2003

    Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and...
    $92.00

    Add to Cart The item has been added
  • Form-Oriented Analysis Form-Oriented Analysis
    Add to Cart The item has been added

    Form-Oriented Analysis

    Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a...
    $227.00

    Add to Cart The item has been added
  • Advances in Learning Software Organizations Advances in Learning Software Organizations
    Add to Cart The item has been added

    Advances in Learning Software Organizations

    The theme of the 4th International Workshop on Learning Software Organizations (LSO 2002) was "BalancingAgile Processes and Long-Term Learning in Software - ganizations."The LSOWorkshop series...
    $122.00

    Add to Cart The item has been added
  • Advances in Agent Communication Advances in Agent Communication
    Add to Cart The item has been added

    Advances in Agent Communication

    InthisbookwepresentacollectionofpapersaroundthetopicofAgentCom- nication. The communication between agents has been one of the major topics of research in multi-agent systems. The current work can...
    $122.00

    Add to Cart The item has been added
  • Formal Methods at the Crossroads Formal Methods at the Crossroads
    Add to Cart The item has been added

    Formal Methods at the Crossroads

    This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18-21, 2002. Armando...
    $92.00

    Add to Cart The item has been added
  • Matchmaking in Electronic Markets Matchmaking in Electronic Markets
    Add to Cart The item has been added

    Matchmaking in Electronic Markets

    Electronic negotiations concern transactions on the basis of electronic media, such as the Internet. Platforms have been developed to aid participants in electronic markets during the agreement ...
    $122.00

    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

    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...
    $227.00

    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

    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...
    $227.00

    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

    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...
    $184.00

    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

    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...
    $92.00

    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

    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.
    $122.00

    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

    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...
    $184.00

    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

    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,...
    $184.00

    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

    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...
    $249.00

    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

    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...
    $227.00

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

    Claudio Moraga

    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,...
    $220.00

    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

    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...
    $238.00

    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

    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...
    $220.00

    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

    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...
    $227.00

    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

    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...
    $227.00

    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

    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...
    $220.00

    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

    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...
    $184.00

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