Add Wish List 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... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Wired/Wireless Internet Communications TheInternationalConferenceonWired/WirelessInternetCommunications(WWIC)was held for the second time, following a successful start in 2002, in LasVegas. The goal of ... RRP: $116.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Multiagent Systems for Manufacturing Control Presents a methodology developed by DaimlerChrysler. Illustrates the methodology through detailed case studies. RRP: $335.00 Add to Cart The item has been added
Add Wish List 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... RRP: $122.00 Add to Cart The item has been added
Add Wish List 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 ... RRP: $92.00 Add to Cart The item has been added
Add Wish List 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... RRP: $122.00 Add to Cart The item has been added
Add Wish List 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... RRP: $92.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Service-Oriented Computing -- ICSOC 2003 WelcometotheproceedingsoftheinauguralInternationalConferenceonService- Oriented Computing (ICSOC 2003). This was the ?rst of a series of events that... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation This volume contains 18 papers that were presented at the Eighth Asian C- puting Science Conference (ASIAN 2003) in Mumbai in December 2003. The theme of the conference this year was programming... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Formal Engineering for Industrial Software Development In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to... RRP: $116.00 Add to Cart The item has been added
Add Wish List 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List 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... RRP: $122.00 Add to Cart The item has been added
Add Wish List 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... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Global Computing. Programming Environments, Languages, Security, and Analysis of Systems The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exible, dependable, secure, robust and e?cient. The... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles and Practice of Semantic Web Reasoning The Semantic Web is a major endeavor aimed at enriching the existing Web withmetadataandprocessingmethodssoastoprovideWeb-basedsystemswith... RRP: $92.00 Add to Cart The item has been added
Add Wish List 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... RRP: $92.00 Add to Cart The item has been added
Add Wish List 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 ... RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added On The Move to Meaningful Internet Systems 2003 missions in fact also treat an envisaged mutual impact among them. As for the 2002 edition in Irvine, the organizers wanted to stimulate this cross-pollination with a program of shared famous keynote... RRP: $265.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Global Optimization and Constraint Satisfaction 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: $92.00 Add to Cart The item has been added
Add Wish List 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer and Information Sciences -- ISCIS 2003 The International Symposium on Computer and Information Sciences (ISCIS) brought together researchers and practitioners from all over the world to - change ideas and experiences on their recent... RRP: $294.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Correct Hardware Design and Verification Methods This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the series of working... RRP: $116.00 Add to Cart The item has been added
Add Wish List 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... RRP: $184.00 Add to Cart The item has been added
Add Wish List 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... RRP: $92.00 Add to Cart The item has been added
Add Wish List 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. RRP: $122.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Pattern Recognition and Image Processing in C++ 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... RRP: $268.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Open Problems in Optimization and Data Analysis 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: $249.00 Add to Cart The item has been added
Add Wish List 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... RRP: $184.00 Add to Cart The item has been added
Add Wish List 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,... RRP: $184.00 Add to Cart The item has been added
Add Wish List 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... RRP: $249.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advanced Finite Element Simulation with MSC Marc This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems... RRP: $209.00 Add to Cart The item has been added
Add Wish List 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List 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,... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Coordination of Complex Sociotechnical Systems 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List 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... RRP: $238.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Genetic Programming Theory and Practice XIII 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List 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... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Integrating User-Centred Design in Agile Development This book examines the possibilities of incorporating elements of user-centred design (UCD) such as user experience (UX) and usability with agile software development. It explores the difficulties... RRP: $268.00 Add to Cart The item has been added
Add Wish List 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances on Computational Intelligence in Energy Addressing the applications of computational intelligence algorithms in energy, this book presents a systematic procedure that illustrates the practical steps required for applying bio-inspired,... RRP: $227.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Digging into Software Knowledge Generation in Cultural Heritage This book focuses on innovative strategies to manage and build software systems for generating new knowledge from large archaeological data setsThe book also reports on two case studies carried out... RRP: $184.00 Add to Cart The item has been added
Add Wish List 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... RRP: $227.00 Add to Cart The item has been added
Add Wish List 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... RRP: $220.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Present and Ulterior Software Engineering RRP: $184.00 Add to Cart The item has been added
Add Wish List 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... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Cryptographic Hardware and Embedded Systems - CHES 2017 This book constitutes the proceedings of the 19th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2017, held in Taipei, Taiwan, in September 2017. The 33 full papers... RRP: $184.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Low-Power Design and Power-Aware Verification 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... RRP: $285.00 Add to Cart The item has been added