{"title":"Lecture Notes In Computer Science","description":"\u003cp\u003eDelve into the forefront of computer science with this essential series. Explore cutting-edge research, emerging technologies, and in-depth studies shaping the future of computing.\u003c\/p\u003e","products":[{"product_id":"towards-evolvable-hardware-book-eduardo-sanchez-9783540610939","title":"Towards Evolvable Hardware","description":"Evolutionary computing, inspired by the biological world, is one of the emergent technologies of our time. Being essentially a software activity, it has been successfully applied, e.g. for optimization and machine learning in various areas. The tremendous increase in computational power and, more recently, the appearance of a new generation of programmable logic devices allow for a new approach to designing computing machines inspired by biological models: it is now possible to make the hardware itself evolve. This book is based on a workshop on evolvable hardware, held in Lausanne, Switzerland, in October 1995. It reports the state of the art of research in this field and presents two introductory chapters, written with the novice reader in mind.","brand":"WoB","offers":[{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":49532979740945,"sku":"GOR013355524","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354198864145,"sku":"NLS9783540610939","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540610936.jpg?v=1751416739"},{"product_id":"cognitive-computing-iccc-2019-book-ruifeng-xu-9783030234065","title":"Cognitive Computing  ICCC 2019","description":"This book constitutes the proceedings of the International Conference on Cognitive Computing, ICCC 2019, held as part of SCF 2019, in San Diego, CA, USA, in June 2019.     The 14 full and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers cover all aspects of Sensing Intelligence (SIJ as a Service (SlaaS). Cognitive Computing is a sensing-driven computing (SDC) scheme that explores and integrates intelligence from all types of senses in various scenarios and solution contexts","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49549774913809,"sku":"GOR013577700","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":49568500482321,"sku":"GOR013579189","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52598615638289,"sku":"NLS9783030234065","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030234061.jpg?v=1751063453"},{"product_id":"evolutionary-computation-in-combinatorial-optimization-book-christine-zarges-9783030729035","title":"Evolutionary Computation in Combinatorial Optimization","description":"This book constitutes the refereed proceedings of the 21st European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events: EvoMUSART, EvoApplications, and EuroGP.  The 14 revised full papers presented in this book were carefully reviewed and selected from 42 submissions. They cover a wide spectrum of topics, ranging from the foundations of evolutionary algorithms and other search heuristics to their accurate design and application to combinatorial optimization problems. Fundamental and methodological aspects deal with runtime analysis, the structural properties of fitness landscapes, the study of core components of metaheuristics, the clever design of their search principles, and their careful selection and configuration. Applications cover problem domains such as scheduling, routing, search-based software engineering and general graph problems. The range of topics covered in this volume reflects the current state of research in the fields of evolutionary computation and combinatorial optimization.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49557886435601,"sku":"GOR013378774","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52426710581521,"sku":"NLS9783030729035","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030729036.jpg?v=1751382549"},{"product_id":"to-the-ends-of-the-earth-book-richard-sale-9780007111244","title":"To the Ends of the Earth","description":"This text provides an insight into the early history of the Polar regions, and tells the stories of Man's first exploration of the Arctic and Antarctic, and subsequent expeditions. The history of individual Polar expeditions has been told many times, but usually only as personal accounts of individual adventures. This misses the overall context of polar exploration - why the British depended on ponies, or plant-eating animals (on the only continent where plants don't grow), why Franklin's men perished when the local Eskimos were eking out an existence around them (and reporting Franklin's demise), and why the Scandinavians were always better than anybody else.The first map of Antarctica was produced in 1556 - the Vikings visited the Arctic 1,000 years before. In 2001, the US Base at the South Pole is manned 365 days a year. The book tells the whole story of how the two last wildernesses, at either end of the world, were discovered, conquered and tamed.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49582232928529,"sku":"GOR004007959","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50916006002961,"sku":"GOR001786924","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":52085086716177,"sku":"GOR009425158","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/000711124X.jpg?v=1751225995"},{"product_id":"machine-learning-for-medical-image-reconstruction-book-farah-deeba-9783030615970","title":"Machine Learning for Medical Image Reconstruction","description":"This book constitutes the refereed proceedings of the Third International Workshop on Machine Learning for Medical Reconstruction, MLMIR 2020, held in conjunction with MICCAI 2020, in Lima, Peru, in October 2020. The workshop was held virtually.    The 15 papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in the following topical sections: deep learning for magnetic resonance imaging and deep learning for general image reconstruction.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49596084814097,"sku":"GOR012968596","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52121476825361,"sku":"NLS9783030615970","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030615979.jpg?v=1750933900"},{"product_id":"performance-evaluation-of-complex-systems-techniques-and-tools-book-maria-carla-calzarossa-9783540442523","title":"Performance Evaluation of Complex Systems: Techniques and Tools","description":"Thefastevolutionandtheincreasedpervasivenessofcomputersandcom- nicationnetworkshaveledtothedevelopmentofalargevarietyofcomplex applicationsandserviceswhichhavebecomeanintegralpartofourdailylives. Modernsocietywidelyreliesoninformationtechnologies. Hence,theQuality ofService,thatis,thee?ciency,availability,reliability,andsecurityofthese technologies,isanessentialrequirementfortheproperfunctioningofmodern society. Inthisscenario,performanceevaluationplaysacentralrole. Performance evaluationhastoassessandpredicttheperformanceofhardwareandsoftware systems,andtoidentifyandpreventtheircurrentandfutureperformancebo- lenecks. Inthepastthirtyyears,manyperformanceevaluationtechniquesandtools havebeendevelopedandsuccessfullyappliedinstudiesdealingwiththec- ?gurationandcapacityplanningofexistingsystemsandwiththedesignand developmentofnewsystems. Recently,performanceevaluationtechniqueshave evolvedtocopewiththeincreasedcomplexityofthecurrentsystemsandtheir workloads. Manyoftheclassicaltechniqueshavebeenrevisitedinlightofthe recenttechnologicaladvances,andnoveltechniques,methods,andtoolshave beendeveloped. Thisbookisorganizedaroundasetofsurveypaperswhichprovideac- prehensiveoverviewofthetheories,techniques,andtoolsforperformanceand reliabilityevaluationofcurrentandnewemergingtechnologies. Thepapers,by leadinginternationalexpertsinthe?eldofperformanceevaluation,arebasedon thetutorialspresentedattheIFIPWG7. 3InternationalSymposiumonCom- terModeling,Measurement,andEvaluation(Performance2002)heldinRome onSeptember23-27,2002. Thepapersaddressthestateoftheartofthetheoreticalandmethodological advancesintheareaofperformanceandreliabilityevaluationaswellasnew perspectivesinthemajorapplicationdomains. Abroadspectrumoftopicsis coveredinthisbook. Modelingandveri?cationformalisms,solutionmethods, workloadcharacterization,andbenchmarkingareaddressedfromametho- logicalpointofview. Applicationsofperformanceandreliabilitytechniquesto variousdomains,suchas,hardwareandsoftwarearchitectures,wiredand- relessnetworks,Gridenvironments,Webservices,real-timevoiceandvideo applications,arealsoexamined. Thisbookisintendedtoserveasareferenceforstudents,scientists,and- gineersworkingintheareasofperformanceandreliabilityevaluation,hardware andsoftwaredesign,andcapacityplanning. VI Preface Finally,aseditorsofthebook,wewouldliketothankallauthorsfortheir valuablecontributionsandtheire?ortandcooperationinthepreparationof theirmanuscripts. July2002 MariaCarlaCalzarossa SalvatoreTucci TableofContents G-Networks:MultipleClassesofPositiveCustomers,Signals,and ProductFormResults ...1 ErolGelenbe SpectralExpansionSolutionsforMarkov-ModulatedQueues ...17 IsiMitrani M\/G\/1-TypeMarkovProcesses:ATutorial ...36 AlmaRiska,EvgeniaSmirni AnAlgorithmicApproachtoStochasticBounds ...64 J. M. Fourneau,N. Pekergin DynamicSchedulingviaPolymatroidOptimization...89 DavidD. Yao WorkloadModelingforPerformanceEvaluation...114 DrorG. Feitelson CapacityPlanningforWebServices(TechniquesandMethodology) ...142 VirgilioA. F. Almeida End-to-EndPerformanceofWebServices ...158 PaoloCremonesi,GiuseppeSerazzi Benchmarking...179 ReinholdWeicker BenchmarkingModelsandToolsforDistributedWeb-ServerSystems...208 MauroAndreolini,ValeriaCardellini,MicheleColajanni StochasticProcessAlgebra:FromanAlgebraicFormalismtoan ArchitecturalDescriptionLanguage ...236 MarcoBernardo,LorenzoDonatiello,PaoloCiancarini AutomatedPerformanceandDependabilityEvaluationUsingModel Checking ...2 61 ChristelBaier,BoudewijnHaverkort,HolgerHermanns, Joost-PieterKatoen Measurement-BasedAnalysisofSystemDependabilityUsingFault InjectionandFieldFailureData ...290 RavishankarK. Iyer,ZbigniewKalbarczyk VIII TableofContents SoftwareReliabilityandRejuvenation:ModelingandAnalysis...318 KishorS. Trivedi,KalyanaramanVaidyanathan PerformanceValidationofMobileSoftwareArchitectures ...346 VincenzoGrassi,VittorioCortellessa,Ra?aelaMirandola PerformanceIssuesofMultimediaApplications ...374 EdmundodeSouzaeSilva,RosaM. M. Le\"ao,BerthierRibeiro-Neto, S'ergioCampos MarkovianModelingofRealDataTra?c:HeuristicPhaseTypeand MAPFittingofHeavyTailedandFractalLikeSamples...405 Andr'asHorv'ath,Mikl'osTelek OptimizationofBandwidthandEnergyConsumptioninWireless LocalAreaNetworks ...435 MarcoConti,EnricoGregori ServiceCentricComputing-27,2002. Thepapersaddressthestateoftheartofthetheoreticalandmethodological advancesintheareaofperformanceandreliabilityevaluationaswellasnew perspectivesinthemajorapplicationdomains. Abroadspectrumoftopicsis coveredinthisbook. Modelingandveri?cationformalisms,solutionmethods, workloadcharacterization,andbenchmarkingareaddressedfromametho- logicalpointofview. Applicationsofperformanceandreliabilitytechniquesto variousdomains,suchas,hardwareandsoftwarearchitectures,wiredand- relessnetworks,Gridenvironments,Webservices,real-timevoiceandvideo applications,arealsoexamined. Thisbookisintendedtoserveasareferenceforstudents,scientists,and- gineersworkingintheareasofperformanceandreliabilityevaluation,hardware andsoftwaredesign,andcapacityplanning. VI Preface Finally,aseditorsofthebook,wewouldliketothankallauthorsfortheir valuablecontributionsandtheire?ortandcooperationinthepreparationof theirmanuscripts. July2002 MariaCarlaCalzarossa SalvatoreTucci TableofContents G-Networks:MultipleClassesofPositiveCustomers,Signals,and ProductFormResults ...1 ErolGelenbe SpectralExpansionSolutionsforMarkov-ModulatedQueues ...17 IsiMitrani M\/G\/1-TypeMarkovProcesses:ATutorial ...36 AlmaRiska,EvgeniaSmirni AnAlgorithmicApproachtoStochasticBounds ...64 J. M. Fourneau,N. Pekergin DynamicSchedulingviaPolymatroidOptimization...89 DavidD. Yao WorkloadModelingforPerformanceEvaluation...114 DrorG. Feitelson CapacityPlanningforWebServices(TechniquesandMethodology) ...142 VirgilioA. F. Almeida End-to-EndPerformanceofWebServices ...1 58 PaoloCremonesi,GiuseppeSerazzi Benchmarking...179 ReinholdWeicker BenchmarkingModelsandToolsforDistributedWeb-ServerSystems...208 MauroAndreolini,ValeriaCardellini,MicheleColajanni StochasticProcessAlgebra:FromanAlgebraicFormalismtoan ArchitecturalDescriptionLanguage ...236 MarcoBernardo,LorenzoDonatiello,PaoloCiancarini AutomatedPerformanceandDependabilityEvaluationUsingModel Checking ...261 ChristelBaier,BoudewijnHaverkort,HolgerHermanns, Joost-PieterKatoen Measurement-BasedAnalysisofSystemDependabilityUsingFault InjectionandFieldFailureData ...290 RavishankarK. Iyer,ZbigniewKalbarczyk VIII TableofContents SoftwareReliabilityandRejuvenation:ModelingandAnalysis...318 KishorS. Trivedi,KalyanaramanVaidyanathan PerformanceValidationofMobileSoftwareArchitectures ...346 VincenzoGrassi,VittorioCortellessa,Ra?aelaMirandola PerformanceIssuesofMultimediaApplications ...374 EdmundodeSouzaeSilva,RosaM. M. Le\"ao,BerthierRibeiro-Neto, S'ergioCampos MarkovianModelingofRealDataTra?c:HeuristicPhaseTypeand MAPFittingofHeavyTailedandFractalLikeSamples...405 Andr'asHorv'ath,Mikl'osTelek OptimizationofBandwidthandEnergyConsumptioninWireless LocalAreaNetworks ...4 35 MarcoConti,EnricoGregori ServiceCentricComputing-NextGenerationInternetComputing...463 JerryRolia,RichFriedrich,ChandrakantPatel EuropeanDataGridProject:ExperiencesofDeployingaLargeScale TestbedforE-scienceApplications ...480 FabrizioGagliardi,BobJones,MarioReale,StephenBurke AuthorIndex ...501 G-Networks: Multiple Classes of Positive Customers, Signals, and Product Form Results Erol Gelenbe SchoolofElectricalEngineeringandComputerScience UniversityofCentralFlorida Orlando,FL32816 erol@cs. ucf. edu Abstract. ThepurposeofthistutorialpresentationistointroduceG- Networks,orGelenbeNetworks,whichareproductformqueueingn- works which include normal or positive customers, as well as negative customers which destroy other customers, and triggers which displace othercustomersfromonequeuetoanother. Wederivethebalanceeq- tionsforthesemodelsinthecontextofmultiplecustomerclasses,show the product form results, and exhibit the tra?c equations which - in thiscase,contrarytoBCMPandJacksonnetworks-arenon-linear. This leadstointerestingissuesofexistenceanduniquenessofthesteady-state solution. GelenbeNetworkcanbeusedtomodellargescalecomputers- temsandnetworksinwhichsignalingfunctionsrepresentedbynegative customersandtriggersareusedtoachieve?owandcongestioncontrol. 1 Introduction In this survey and tutorial, we discuss a class of queueing networks, originally inspired by our work on neural networks, in which customers are either \"signals\" or positive customers.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49598076322065,"sku":"GOR012966825","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52351449497873,"sku":"NLS9783540442523","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540442529.jpg?v=1750730725"},{"product_id":"high-performance-computing-systems-performance-modeling-benchmarking-and-simulat-book-stephen-a-jarvis-9783319172477","title":"High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation","description":"This book constitutes the thoroughly refereed proceedings of the 5th International Workshop, PMBS 2014 in New Orleans, LA, USA in November  2014.   The 12 full and 2 short papers presented in this volume were carefully reviewed and selected from 53 submissions. The papers cover topics on performance benchmarking and optimization; performance analysis and prediction; and power, energy and checkpointing.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49599350833425,"sku":"GOR013496813","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52337662853393,"sku":"NLS9783319172477","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319172476.jpg?v=1751317062"},{"product_id":"network-calculus-book-jean-yves-le-boudec-9783540421849","title":"Network Calculus","description":"Network Calculus is a set of recent developments that provide deep insights into flow problems encountered in the Internet and in intranets. The first part of the book is a self-contained, introductory course on network calculus. It presents the core of network calculus, and shows how it can be applied to the Internet to obtain results that have physical interpretations of practical importance to network engineers. The second part serves as a mathematical reference used across the book. It presents the results from Min-plus algebra needed for network calculus. The third part contains more advanced material. It is appropriate reading for a graduate course and a source of reference for professionals in networking by surveying the state of the art of research and pointing to open problems in network calculus and its application in different fields, such as mulitmedia smoothing, aggegate scheduling, adaptive guarantees in Internet differential services, renegotiated reserved services, etc.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49600197886225,"sku":"GOR013390291","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52122445447441,"sku":"NLS9783540421849","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/354042184X.jpg?v=1750903729"},{"product_id":"advances-in-multimedia-information-systems-book-sushil-jajodia-9783540651079","title":"Advances in Multimedia Information Systems","description":"This book constitutes the proceedings of the Fourth International Workshop on Mul timedia Information Systems (MIS'98) held in Istanbul, Turkey in September 1998. This workshop builds upon the success of the three previous workshops in this series that were held in Arlington, VA, West Point, NY, and Como, Italy. As in the past, this is a small focused workshop, consisting of participants drawn from a wide variety of disciplines (e. g. theory, algorithms, real time systems, networks, operating sys tems, graphics and visualization, databases, artificial intelligence, etc. ), all of which focus on research on one or more aspects of multimedia systems. The workshop program included 19 technical papers, three invited talks, and one panel. Of the technical papers 13 were accepted as regular papers and 6 as short con tributions. These papers cover a number of areas including: Multimedia storage system design Image storage and retrieval systems Quality of service considerations Networking support for multimedia information systems Distributed virtual environments Multimedia system architecture issues The invited talks were given by three experts well known for their work in this area. Satish K. Tripathi's (University of California, Riverside) talk was on Quality of Service Support for Multimedia Data on Internet, Paul Emmerman (US Army Re search Laboratory) discussed Visualizing the Digital Battlefield, and Val Tannen (University of Pennsylvania) presented Heterogeneous Data Integration with Mobile Information Manager. The panel discussion, organized by Chahab Nastar of INRIA, France, addressed Trends in Visual Information Retrieval.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49602380529937,"sku":"GOR012673109","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52140032753937,"sku":"NLS9783540651079","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53494293266705,"sku":"NIN9783540651079","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540651071.jpg?v=1750838067"},{"product_id":"reliable-software-technologies-ada-europe-2011-book-alexander-romanovsky-9783642213373","title":"Reliable Software Technologies - Ada-Europe 2011","description":"This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49603493036305,"sku":"GOR012512971","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3642213375.jpg?v=1750837863"},{"product_id":"quantum-interaction-book-harald-atmanspacher-9783642549427","title":"Quantum Interaction","description":"This book constitutes the refereed proceedings of the 7th International Conference on Quantum Interaction, QI 2013, held in Leicester, UK, in July 2013. The 31 papers presented in this book were carefully selected from numerous submissions. The papers cover various topics on quantum interaction and revolve around four themes: information processing\/retrieval\/semantic representation and logic; cognition and decision making; finance\/economics and social structures and biological systems.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49615419146513,"sku":"GOR012623658","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52683055333649,"sku":"NLS9783642549427","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/364254942X.jpg?v=1751284623"},{"product_id":"hci-in-business-government-and-organizations-book-fiona-fui-hoon-nah-9783319917153","title":"HCI in Business, Government, and Organizations","description":"This book constitutes the refereed proceedings of the 5th International Conference on HCI in Business, Government and Organizations, HCIBGO 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA.    The 1171 full papers and 160 posters presented at the 14 co-located HCII 2018 conferences were carefully reviewed and selected from a total of 4346 submissions. The papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume cover the following topics: information systems in business; electronic commerce and consumer behavior; social media and social communities in business; social innovation; and business analytics and visualization.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49615912108305,"sku":"GOR012554881","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52486931087633,"sku":"NLS9783319917153","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319917153.jpg?v=1751221160"},{"product_id":"computer-safety-reliability-and-security-book-barbara-gallina-9783319992280","title":"Computer Safety, Reliability, and Security","description":"This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018.    The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM\/EWICS\/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering.  The chapter '“Boxing Clever”: Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift' is available open access under an Open GovernmentLicense via link.springer.com.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49616259907857,"sku":"GOR012576156","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52532406419729,"sku":"NLS9783319992280","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319992287.jpg?v=1751415446"},{"product_id":"evolutionary-image-analysis-signal-processing-and-telecommunications-book-riccardo-poli-9783540658375","title":"Evolutionary Image Analysis, Signal Processing and Telecommunications","description":"This book consitutes the refereed joint proceedings of the First European Workshop on Evolutionary Computation in Image Analysis and Signal Processing, EvoIASP '99 and of the First European Workshop on Evolutionary Telecommunications, EuroEcTel '99, held in Goteborg, Sweden in May 1999. The 18 revised full papers presented were carefully reviewed and selected for inclusion in the volume. The book presents state-of-the-art research results applying techniques from evolutionary computing in the specific application areas.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49617010065681,"sku":"GOR012403731","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52130168439057,"sku":"NLS9783540658375","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540658378.jpg?v=1751318018"},{"product_id":"evolutionary-computing-book-terence-c-fogarty-9783540604693","title":"Evolutionary Computing","description":"This volume is based on the Workshop on Evolutionary Computing held in Sheffield, U.K., in April 1995 under the sponsorship of the Society for the Study of Artificial Intelligence and Simulation of Behavior (AISB). The 18 full papers presented were selected during a post-workshop refereeing meeting and chosen from 32 submissions for the workshop. The papers are organized in sections on evolutionary computing theory and techniques, timetabling, routing and scheduling, optimization, signal processing and control, and genetic programming. The collection of papers has a certain bias towards real world applications of evolutionary computing and particularly genetic algorithms.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49618081448209,"sku":"GOR012681217","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327406240017,"sku":"NLS9783540604693","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540604693.jpg?v=1751416737"},{"product_id":"articulated-motion-and-deformable-objects-book-hans-hellmut-nagel-9783540679127","title":"Articulated Motion and Deformable Objects","description":"The AMDO 2000 workshop took place at the Universitat de les Illes Balears (UIB) on 7-9 September 2000, sponsored by the International Association for Pattern Recognition Technical Committee, the European Commission by - man Potential Program:High Level Scienti?c Conferences and the Mathematics andComputer Science DepartmentofUIB. Thesubject ofthe workshopwas- goingresearchinarticulatedmotiononthesequenceofimagesandsophisticated models for deformable objects. The goals of these areas are to understand and interpret object motion around complex objects that we can ?nd in sequences of images in the real world. These topics (geometry and physics of deformable models, motion analysis, articulated models and animation, visualization of - formable models, 3D recovery from motion, single or multiple human motion analysis and synthesis, applications of deformable models and motion analysis, etc. ) are interesting examples of how research can be used to solve more general problems. Another objective of this workshop was to relate ?elds using c- puter graphics, computer animation or applications in several disciplines c- bining synthetic and analytical images. In this regard it is of particular interest to encouragelinksbetweenresearchersinareasofcomputervisionandcomputer graphics who have common problems and frequently use similar techniques. The workshop included four sessions of presented papers and two tutorials. Invited speakers treating various aspects of the topics were: Y. Aloimonos from the Computer Vision Laboratory, Center for Automation Research, University of Maryland, USA, G. Medioni from the Institute for Robotics and Intelligent S- tems,UniversityofSouthernCalifornia,USA,andR. Boulic,Adjointscienti?que from the Swiss Federal Institute of Technology Lausanne, Switzerland. September 2000 H. -H. Nagel and F. J.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49618522767633,"sku":"GOR012512952","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52351661211921,"sku":"NLS9783540679127","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/354067912X.jpg?v=1751221365"},{"product_id":"computer-vision-book-anders-heyden-9783540437444","title":"Computer Vision","description":"The four-volume set comprising LNCS volumes 2350\/2351\/2352\/2353 constitutes the refereed proceedings of the 7th European Conference on Computer Vision, ECCV 2002, held in Copenhagen, Denmark, in May 2002.The 226 revised full papers presented were carefully reviewed and selected from a total of around 600 submissions. The four books offer topical sections on active and real-time vision, image features, visual motion, surface geometry, grouping and segmentation, stereoscopic vision, structure from motion, shape, object recognition, color and shading, vision systems, statistical learning, robot vision, and calibration.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49618861621521,"sku":"GOR010766457","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540437444.jpg?v=1750934930"},{"product_id":"energy-minimization-methods-in-computer-vision-and-pattern-recognition-book-marcello-pelillo-9783540629092","title":"Energy Minimization Methods in Computer Vision and Pattern Recognition","description":"This book constitutes the refereed proceedings of the International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR'97, held in Venice, Italy, in May 1997. The book presents 29 revised full papers selected from a total of 62 submissions. Also included are four full invited papers and a keynote paper by leading researchers. The volume is organized in sections on contours and deformable models, Markov random fields, deterministic methods, object recognition, evolutionary search, structural models, and applications. The volume is the first comprehensive documentation of the application of energy minimization techniques in the areas of compiler vision and pattern recognition.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49618895175953,"sku":"GOR012512954","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52131293331729,"sku":"NLS9783540629092","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540629092.jpg?v=1750934940"},{"product_id":"computer-vision-eccv-98-book-hans-burkhardt-9783540645696","title":"Computer Vision - ECCV'98","description":"This two-volume set constitutes the refereed proceedings of the 5th European Conference on Computer Vision, ECCV'98, held in Freiburg, Germany, in June 1998. The 42 revised full papers and 70 revised posters presented were carefully selected from a total of 223 papers submitted. The papers are organized in sections on multiple-view geometry, stereo vision and calibration, geometry and invariances, structure from motion, colour and indexing, grouping and segmentation, tracking, condensation, matching and registration, image sequences and video, shape and shading, motion and flow, medical imaging, appearance and recognition, robotics and active vision, and motion segmentation.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49618905170193,"sku":"GOR012512950","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52404107673873,"sku":"NLS9783540645696","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761625395473,"sku":"NIN9783540645696","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540645691.jpg?v=1751253038"},{"product_id":"computer-vision-systems-book-mario-fritz-9783642046667","title":"Computer Vision Systems","description":"This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009. The 21 papers for oral presentation presented together with 24 poster presentations and 2 invited papers were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on human-machine-interaction, sensors, features and representations, stereo, 3D and optical flow, calibration and registration, mobile and autonomous systems, evaluation, studies and applications, learning, recognition and adaption.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49619006161169,"sku":"GOR012512951","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407792304401,"sku":"NLS9783642046667","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3642046665.jpg?v=1751284600"},{"product_id":"pattern-recognition-and-image-analysis-book-jorge-s-marques-9783540261537","title":"Pattern Recognition and Image Analysis","description":"IbPRIA 2005 (Iberian Conference on Pattern Recognition and Image Analysis) was the second of a series of conferences jointly organized every two years by the Portuguese and Spanish Associations for Pattern Recognition (APRP, AERFAI), with the support of the International Association for Pattern Recognition (IAPR). This year, IbPRIA was hosted by the Institute for Systems and Robotics and the Geo-systems Center of the Instituto Superior Tecn ´ ico and it was held in Estoril, Por- gal. It provided the opportunity to bring together researchers from all over the world to discuss some of the most recent advances in pattern recognition and all areas of video, image and signal processing. There was a very positive response to the Call for Papers for IbPRIA 2005. We - ceived 292 full papers from 38 countries and 170 were accepted for presentation at the conference. The high quality of the scienti?c program of IbPRIA 2005 was due ?rst to the authors who submitted excellent contributions and second to the dedicated colla- ration of the international Program Committee and the other researchers who reviewed the papers. Each paper was reviewed by two reviewers, in a blind process. We would like to thank all the authors for submitting their contributions and for sharing their - search activities. We are particularly indebted to the Program Committee members and to all the reviewers for their precious evaluations, which permitted us to set up this publication.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49619374604561,"sku":"GOR012512942","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52350695145745,"sku":"NLS9783540261537","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540261532.jpg?v=1751032179"},{"product_id":"energy-minimization-methods-in-computer-vision-and-pattern-recognition-book-mario-figueiredo-9783540425236","title":"Energy Minimization Methods in Computer Vision and Pattern Recognition","description":"This volume consists of the 42 papers presented at the International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR2001),whichwasheldatINRIA(InstitutNationaldeRechercheen Informatique et en Automatique) in Sophia Antipolis, France, from September 3 through September 5, 2001. This workshop is the third of a series, which was started with EMMCVPR’97, held in Venice in May 1997, and continued with EMMCVR’99, which took place in York, in July 1999. Minimization problems and optimization methods permeate computer vision (CV), pattern recognition (PR), and many other ?elds of machine intelligence. The aim of the EMMCVPR workshops is to bring together people with research interests in this interdisciplinary topic. Although the subject is traditionally well represented at major international conferences on CV and PR, the EMMCVPR workshops provide a forum where researchers can report their recent work and engage in more informal discussions. We received 70 submissions from 23 countries, which were reviewed by the members of the program committee. Based on the reviews, 24 papers were - cepted for oral presentation and 18 for poster presentation. In this volume, no distinction is made between papers that were presented orally or as posters. The book is organized into ?ve sections, whose topics coincide with the ?ve s- sionsoftheworkshop:“ProbabilisticModelsandEstimation”,“ImageModelling and Synthesis”, “Clustering, Grouping, and Segmentation”, “Optimization and Graphs”, and “Shapes, Curves, Surfaces, and Templates”.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49619437748497,"sku":"GOR012512941","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52662444491025,"sku":"NLS9783540425236","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540425233.jpg?v=1750934928"},{"product_id":"image-analysis-and-processing-book-carlo-braccini-9783540602989","title":"Image Analysis and Processing","description":"This book presents the proceedings of the 8th International Conference on Image Analysis and Processing, ICIAP '95, held in Sanremo, Italy in September 1995 under the sponsorship of the International Association of Pattern Recognition IAPR. The volume presents 108 papers selected from more than 180 submissions together with six invited contributions. The papers are written by a total of 265 contributing authors and give a comprehensive state-of-the-art report on all current issues of image analysis and processing. Theoretical aspects are addressed as well as systems design and advanced applications, particularly in medical imaging.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49619461275921,"sku":"GOR012512940","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52133977424145,"sku":"NLS9783540602989","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540602984.jpg?v=1750934938"},{"product_id":"visual-information-and-information-systems-book-nies-huijsmans-9783540660798","title":"Visual Information and Information Systems","description":"This book constitutes the refereed proceedings of the Third International Conference on Visual Information Systems, VISUAL'99, held in Amsterdam, The Netherlands, in June 1999. The 100 revised papers presented were carefully reviewed and selected from numerous submissions. The book is divided into topical sections on visual information systems, interactive visual query, Internet search engines, video parsing, spatial data, visual languages, features and indexes for image retrieval, object retrieval, ranking and performance, shape retrieval, retrieval systems, image compression, virtual environments, recognition systems, and visualization systems.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49619573834001,"sku":"GOR012498969","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52618343153937,"sku":"NLS9783540660798","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540660798.jpg?v=1750903742"},{"product_id":"computer-vision-eccv-2004-book-tomas-pajdla-9783540219811","title":"Computer Vision - ECCV 2004","description":"Welcome to the proceedings of the 8th European Conference on Computer - sion! Following a very successful ECCV 2002, the response to our call for papers was almost equally strong – 555 papers were submitted. We accepted 41 papers for oral and 149 papers for poster presentation. Several innovations were introduced into the review process. First, the n- ber of program committee members was increased to reduce their review load. We managed to assign to program committee members no more than 12 papers. Second, we adopted a paper ranking system. Program committee members were asked to rank all the papers assigned to them, even those that were reviewed by additional reviewers. Third, we allowed authors to respond to the reviews consolidated in a discussion involving the area chair and the reviewers. Fourth, thereports,thereviews,andtheresponsesweremadeavailabletotheauthorsas well as to the program committee members. Our aim was to provide the authors with maximal feedback and to let the program committee members know how authors reacted to their reviews and how their reviews were or were not re?ected in the ?nal decision. Finally, we reduced the length of reviewed papers from 15 to 12 pages. ThepreparationofECCV2004wentsmoothlythankstothee?ortsofthe- ganizing committee, the area chairs, the program committee, and the reviewers. We are indebted to Anders Heyden, Mads Nielsen, and Henrik J. Nielsen for passing on ECCV traditions and to Dominique Asselineau from ENST\/TSI who kindly provided his GestRFIA conference software. We thank Jan-Olof Eklundh and Andrew Zisserman for encouraging us to organize ECCV 2004 in Prague.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49619580846353,"sku":"GOR012512946","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540219811.jpg?v=1750967713"},{"product_id":"computer-safety-reliability-and-security-book-stuart-anderson-9783540201267","title":"Computer Safety, Reliability, and Security","description":"Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49619602964753,"sku":"GOR012512944","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52351806505233,"sku":"NLS9783540201267","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540201262.jpg?v=1750967710"},{"product_id":"structural-syntactic-and-statistical-pattern-recognition-book-ana-fred-9783540225706","title":"Structural, Syntactic, and Statistical Pattern Recognition","description":"This volume contains all papers presented at SSPR 2004 and SPR 2004, hosted by the Instituto de Telecomunicac\" ,oes\/Instituto Superior T' ecnico, Lisbon, Portugal, August 18-20, 2004. This was the fourth time that the two workshops were held back-to-back. The SSPR was the tenth International Workshop on Structural and Synt- tic Pattern Recognition, and the SPR was the ?fth International Workshop on Statistical Techniques in Pattern Recognition. These workshops have traditi- ally been held in conjunction with ICPR (International Conference on Pattern Recognition), and are the major events for technical committees TC2 and TC1, respectively, of the International Association for Pattern Recognition (IAPR). The workshops were closely coordinated, being held in parallel, with plenary talks and a common session on hybrid systems. This was an attempt to resolve thedilemmaofhowto dealwiththeneedfornarrow-focusspecializedworkshops yet accommodate the presentation of new theories and techniques that blur the distinction between the statistical and the structural approaches. A total of 219 papers were received from many countries, with the subm- sion and reviewing processes being carried out separately for each workshop. A total of 59 papers were accepted for oral presentation and 64 for posters. In - dition, four invited speakers presented informative talks and overviews of their research. They were: Alberto Sanfeliu, from the Technical University of Cata- nia, Spain; Marco Gori, from the University of Siena, Italy; Nello Cristianini, from the University of California, USA; and Erkki Oja, from Helsinki University of Technology, Finland, winner of the 2004 Pierre Devijver Award.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49619630391569,"sku":"GOR012512945","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52150006743313,"sku":"NLS9783540225706","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761606750481,"sku":"NIN9783540225706","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540225706.jpg?v=1751221344"},{"product_id":"artificial-immune-systems-book-leandro-n-de-castro-9783540739210","title":"Artificial Immune Systems","description":"This book constitutes the refereed proceedings of the 6th International Conference on Artificial Immune Systems, ICARIS 2007, held in Santos, Brazil, August 2007. The papers are organized in topical sections on search and optimization, classification and clustering, anomaly detection and negative selection, robotics, control and electronics. Modeling papers, conceptual papers, and technical papers and general applications are also included.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49620310130961,"sku":"GOR012309923","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52618001121553,"sku":"NLS9783540739210","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540739211.jpg?v=1751096399"},{"product_id":"artificial-immune-systems-book-peter-bentley-9783540850717","title":"Artificial Immune Systems","description":"This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008.   The 40 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on computational immunology, applied AIS, and theoretical AIS. Position papers and conceptual papers are also included.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49623113040145,"sku":"GOR012310299","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52618250846481,"sku":"NLS9783540850717","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B01GXVDJSE.jpg?v=1750807235"},{"product_id":"computer-analysis-of-images-and-patterns-book-ainhoa-berciano-9783642236716","title":"Computer Analysis of Images and Patterns","description":"The two volume set LNCS 6854\/6855 constitutes the refereed proceedings of the International Conference on Computer Analysis of Images and Patterns, CAIP 2011,  which took place in Seville, Spain, August 29-31, 2011.   The 138 papers presented together with 2 invited talks were carefully reviewed and selected from 286 submissions. The papers are organized in topical section on: motion analysis, image and shape models, segmentation and grouping, shape recovery, kernel methods, medical imaging, structural pattern recognition, Biometrics, image and video processing, calibration; and tracking and stereo vision.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49623439343889,"sku":"GOR012512963","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52660150862097,"sku":"NLS9783642236716","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3642236715.jpg?v=1750837865"},{"product_id":"energy-minimization-methods-in-computer-vision-and-pattern-recognition-book-anand-rangarajan-9783540404989","title":"Energy Minimization Methods in Computer Vision and Pattern Recognition","description":"This volume consists of the 33 papers presented at the International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR 2003)which was held at Instituto Superior T' ecnico (IST), the - gineeringSchooloftheTechnicalUniversityofLisbon,PortugalduringJuly7-9, 2003.Thisworkshopwasthefourthinthe serieswhichstartedwithEMMCVPR 1997 held in Venice, Italy in May 1997 and continued with EMMCVPR 1999 held in York, UK in July 1999 and EMMCVPR 2001 held in Sophia-Antipolis, France in September 2001. Many problems in computer vision and pattern recognition (CVPR) are couchedintheframeworkofoptimization.Theminimizationofaglobalquantity, often referred to as the energy, forms the bulwark of most approachesin CVPR. Disparate approaches,such as discrete and probabilistic formulations on the one hand and continuous, deterministic strategies on the other, often have optimi- tion or energy minimization as a common theme. Instances of energy minimi- tion arise in Gibbs\/Markov modeling, Bayesian decision theory, geometric and variational approaches and in areas in CVPR such as object recognition and - trieval, image segmentation, registration, reconstruction, classi?cation and data mining. The aim of the EMMCVPR workshops is to bring together researchers with interests in these disparate areas of CVPR but with an underlying commitment to some form of energy minimization. Although the subject is traditionally well representedinmajorinternationalconferencesonCVPR,thisworkshopprovides a forum wherein researchers can report their recent work and engage in more informal discussions.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49623465623825,"sku":"GOR012512965","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52353866694929,"sku":"NLS9783540404989","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540404988.jpg?v=1750934922"},{"product_id":"computer-vision-eccv-2004-book-tomas-pajdla-9783540219842","title":"Computer Vision - ECCV 2004","description":"Welcome to the proceedings of the 8th European Conference on Computer - sion! Following a very successful ECCV 2002, the response to our call for papers was almost equally strong – 555 papers were submitted. We accepted 41 papers for oral and 149 papers for poster presentation. Several innovations were introduced into the review process. First, the n- ber of program committee members was increased to reduce their review load. We managed to assign to program committee members no more than 12 papers. Second, we adopted a paper ranking system. Program committee members were asked to rank all the papers assigned to them, even those that were reviewed by additional reviewers. Third, we allowed authors to respond to the reviews consolidated in a discussion involving the area chair and the reviewers. Fourth, thereports,thereviews,andtheresponsesweremadeavailabletotheauthorsas well as to the program committee members. Our aim was to provide the authors with maximal feedback and to let the program committee members know how authors reacted to their reviews and how their reviews were or were not re?ected in the ?nal decision. Finally, we reduced the length of reviewed papers from 15 to 12 pages. ThepreparationofECCV2004wentsmoothlythankstothee?ortsofthe- ganizing committee, the area chairs, the program committee, and the reviewers. We are indebted to Anders Heyden, Mads Nielsen, and Henrik J. Nielsen for passing on ECCV traditions and to Dominique Asselineau from ENST\/TSI who kindly provided his GestRFIA conference software. We thank Jan-Olof Eklundh and Andrew Zisserman for encouraging us to organize ECCV 2004 in Prague.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49625456967953,"sku":"GOR012512955","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52617410511121,"sku":"NLS9783540219842","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540219846.jpg?v=1750999637"},{"product_id":"advanced-functional-programming-book-john-launchbury-9783540616283","title":"Advanced Functional Programming","description":"This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards large-scale programming and structured software.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49626464157969,"sku":"GOR012737925","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52123278147857,"sku":"NLS9783540616283","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540616284.jpg?v=1750999656"},{"product_id":"advanced-information-systems-engineering-book-gerard-wijers-9783540581130","title":"Advanced Information Systems Engineering","description":"This volume presents the proceedings of the sixth International Conference on Advanced Information Systems Engineering, held in Utrecht, The Netherlands, in June 1994. The 30 contributions by researchers from industry and academia and by ambitioned professionals were selected from a total of 130 submissions after a highly competetive refereering process. The papers are organized in sections on development process support, workflow management, management and quality, object-oriented requirements engineering, behavioural modelling, advanced development tools, reuse, formal IS modelling, method engineering, and advanced database engineering. In total, the volume gives a thorough state-of-the-art report on current research and advanced applications in advanced information systems engineering.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49627749155089,"sku":"GOR012877770","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52148817264913,"sku":"NLS9783540581130","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540581138.jpg?v=1750999652"},{"product_id":"computational-logic-in-multi-agent-systems-book-francesca-toni-9783540339960","title":"Computational Logic in Multi-Agent Systems","description":"This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49628097052945,"sku":"GOR002680023","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":49864968864017,"sku":"CIN1572591064G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52348740010257,"sku":"NLS9783540339960","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1572591064.jpg?v=1760953795"},{"product_id":"theory-and-applications-of-models-of-computation-book-rahul-jain-9783319171418","title":"Theory and Applications of Models of Computation","description":"This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49633948926225,"sku":"GOR013512623","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52149360165137,"sku":"NLS9783319171418","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319171410.jpg?v=1751126947"},{"product_id":"evolving-computability-book-arnold-beckmann-9783319200279","title":"Evolving Computability","description":"This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June\/July 2015.  The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and Reverse Mathematics, were introduced for the first time in the conference series. In addition to this, new developments in areas frequently covered in the CiE conference series were addressed in the further special sessions on Automata, Logic and Infinite Games; Bio-inspired Computation; Classical Computability Theory; as well as History and Philosophy of Computing.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49634284667153,"sku":"GOR013512784","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52144708354321,"sku":"NLS9783319200279","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319200275.jpg?v=1750773127"},{"product_id":"models-run-time-book-nelly-bencomo-9783319089140","title":"Models@run.time","description":"Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems.  This book is one of the outcomes of the Dagstuhl Seminar 11481 on models@run.time held in November\/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49634559459601,"sku":"GOR013750843","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51061523808529,"sku":"NIN9783319089140","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52687253438737,"sku":"NLS9783319089140","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319089145.jpg?v=1751221076"},{"product_id":"image-analysis-and-recognition-book-aurlio-campilho-9783540232407","title":"Image Analysis and Recognition","description":"ICIAR 2004, the International Conference on Image Analysis and Recognition, was the ?rst ICIAR conference, and was held in Porto, Portugal. ICIAR will be organized annually, and will alternate between Europe and North America. ICIAR 2005 will take place in Toronto, Ontario, Canada. The idea of o?ering these conferences came as a result of discussion between researchers in Portugal and Canada to encourage collaboration and exchange, mainly between these two countries, but also with the open participation of other countries, addressing recent advances in theory, methodology and applications. The response to the call for papers for ICIAR 2004 was very positive. From 316 full papers submitted, 210 were accepted (97 oral presentations, and 113 - sters). The review process was carried out by the Program Committee members and other reviewers; all are experts in various image analysis and recognition areas. Each paper was reviewed by at least two reviewing parties. The high q- lity of the papers in these proceedings is attributed ?rst to the authors, and second to the quality of the reviews provided by the experts. We would like to thank the authors for responding to our call, and we wholeheartedly thank the reviewers for their excellent work in such a short amount of time. We are espe- ally indebted to the Program Committee for their e?orts that allowed us to set up this publication. We were very pleased to be able to include in the conference, Prof. Murat KuntfromtheSwissFederalInstituteofTechnology, andProf. Mario Figueiredo, oftheInstitutoSuperiorT ecnico, inPortugal.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49635009986833,"sku":"GOR012577904","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52657702174993,"sku":"NLS9783540232407","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540232400.jpg?v=1751127223"},{"product_id":"functional-imaging-and-modeling-of-the-heart-book-frank-b-sachse-9783540729068","title":"Functional Imaging and Modeling of the Heart","description":"This book constitutes the refereed proceedings of the 4th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2007, held in Salt Lake City, UT, USA in June 2007. The contributions describe both experimental and computational studies and cover topics such as imaging and image analysis, cardiac electrophysiology, electro- and magnetocardiography, cardiac mechanics and clinical application, imaging and anatomical modeling.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49637347950865,"sku":"GOR012377172","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52618721001745,"sku":"NLS9783540729068","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B00GA3ZO6Q.jpg?v=1751127263"},{"product_id":"pervasive-computing-book-kenneth-p-fishkin-9783540338949","title":"Pervasive Computing","description":"This book constitutes the refereed proceedings of the 4th International Conference on Pervasive Computing, PERVASIVE 2006, held in Dublin, Ireland, in May 2006. The 24 revised full papers presented here are organized in topical sections on activity recognition, location, sensors, sensor processing and platforms, toolkits and gaming, security, pointing, interaction and displays, and smart homes, and beyond.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49637684183313,"sku":"GOR012855237","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52479965298961,"sku":"NLS9783540338949","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540338942.jpg?v=1751221349"},{"product_id":"edinburgh-lcf-book-m-gordon-9783540097242","title":"Edinburgh LCF","description":null,"brand":"WoB","offers":[{"title":"GB \/ WELL_READ \/ INTERNAL","offer_id":49641119121681,"sku":"GOR013310908","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52352202670353,"sku":"NLS9783540097242","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53650460311825,"sku":"NIN9783540097242","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540097244.jpg?v=1751158967"},{"product_id":"future-and-emergent-trends-in-language-technology-book-franciscojess-mateos-9783319334998","title":"Future and Emergent Trends in Language Technology","description":"This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Future and Emergent Trends in Language Technology, FETLT 2015, held in Seville, Spain, in November 2015.    The 10 full papers presented together with 3 position papers and 7 invited keynote abstracts were selected from numerous submissions. The structure of the Workshop will feature a significant number of experts in language technologies and convergent areas. One objective will be the organization of forum sessions in order to review some of the current-trend research projects that are already addressing new methodological approaches and proposing solutions and innovative applications. A second major objective will be brainstorming sessions where representatives of the most innovative industrial sector in this area can present and describe the challenges and socio-economic needs of the present and immediate future. All researchers are invited to submit proposals that incorporate solid research and innovation ideas in the field of language technology and in connection with other convergent areas.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49642016899345,"sku":"GOR013591767","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52594093752593,"sku":"NLS9783319334998","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319334999.jpg?v=1751126960"},{"product_id":"uml-99-the-unified-modeling-language-beyond-the-standard-book-robert-b-france-9783540667124","title":"UML'99 - The Unified Modeling Language: Beyond the Standard","description":"\\While in geometry attempts to square the circle never succeeded, the UML has achieved it: states canbeimplementedasclasses. \"{\\Wehavemade much progressfrom thetime cloudswere used. \" The Uni ed Modeling Language is described as a language for \\specifying, - sualizing, constructing, and documenting the artifacts of software systems\" and for business modeling (OMG UML V1. x documents). The UML re?ects some of the best experiences in object-oriented modeling, thus it has the potential to become a widely-used standard object-oriented modeling language. As a generally-applicable standard the UML has to be both ?exible (ext- sible, adaptable, modia ble) and precise. Flexibility is needed if the UML is to be used in a variety of application domains. Tailoring of UML syntax and adaptation of UML semantics to system domains is highly desirable. Incor- rating domain-specic concepts into the language will yield modeling languages that more e ectively support system development in these domains. Tailoring may involve determining a subset of the UML that is applicable to the domain, extending or modifying existing language elements, or den ing new language elements. One can envisage UML variants that are tailored to specic domains, for example, UML for real-time systems, multimedia systems, and for intern- based systems. Furthermore, one can also de ne UML variants that determine levels of sophistication in the use of the UML.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49646788739345,"sku":"GOR012448347","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52130966864145,"sku":"NLS9783540667124","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540667121.jpg?v=1750773979"},{"product_id":"transactions-on-computational-systems-biology-iii-book-corrado-priami-9783540308836","title":"Transactions on Computational Systems Biology III","description":"In the last few decades, advances in molecular biology and in the research - frastructure in this ?eld has given rise to the omics revolution in molecular biology, alongwiththeexplosionofdatabases: fromgenomicstotranscriptomics, proteomics, interactomics, and metabolomics. However, the huge amount of b- logicalinformationavailablehasleftabottleneckindataprocessing: information over?ow has called for innovative techniques for their visualization, modelling, interpretationandanalysis.The manyresultsfromthe ?eldsofcomputerscience andengineeringhavethenmetwithbiology, leadingto new, emergingdisciplines such as bioinformatics and systems biology. So, for instance, as the result of - plicationoftechniquessuchasmachinelearning, self-organizingmaps, statistical algorithms, clusteringalgorithmsandmulti-agentsystemstomodernbiology, we can actually model and simulate some functions of the cell (e.g., protein inter- tion, gene expression and gene regulation), make inferences from the molecular biology database, make connections among biological data, and derive useful predictions. Today, and more generally, two di?erent scenarios characterize the po- genomic era. On the one hand, the huge amount of datasets made available by biological research all over the world mandates for suitable techniques, tools and methods meant at modelling biological processes and analyzing biological sequences. On the other hand, biological systems work as the sources of a wide range of new computational models and paradigms, which are now ready to be applied in the context of computer-based systems.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49647707259153,"sku":"GOR012490462","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52140847497489,"sku":"NLS9783540308836","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761657606417,"sku":"NIN9783540308836","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540308830.jpg?v=1750967717"},{"product_id":"computer-safety-reliability-and-security-book-floor-koornneef-9783319242545","title":"Computer Safety, Reliability, and Security","description":"This book constitutes the refereed proceedings of the 34th International  Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in  Delft, The Netherlands, in September 2014. The 32 revised full papers presented  together with 3 invited talks were carefully reviewed and  selected from 104 submissions. The papers are organized in topical sections on  flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49661979918609,"sku":"GOR013682317","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52588593709329,"sku":"NLS9783319242545","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319242547.jpg?v=1751284938"},{"product_id":"transactional-agents-book-khaled-nagi-9783540430469","title":"Transactional Agents","description":"The term “agent” is one of those catchwords that mean widely differing things to different people. To telecommunications people it is little more than a mobile piece of code that may be executed at any place. At the other extreme, AI people often associate with agents human-like traits such as social behavior. In between, software people view agents as fairly self-contained pieces of software that, at the low end, pretty much act like objects and, at the high end, more or less auto- mously decide when and how to react to stimuli or proactively initiate effects that can be observed from their environment. Software agents are particularly important when it comes to distributed en- ronments. There, much of the communication takes place asynchronously, that is the sequence of events cannot be planned ahead in all detail. Instead, agents are given rules as to how to interpret the current situation and, given a common goal, so that they adjust their response accordingly.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49664603816209,"sku":"GOR009217925","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52485516394769,"sku":"NLS9783540430469","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540430466.jpg?v=1751253026"},{"product_id":"journal-on-data-semantics-v-book-stefano-spaccapietra-9783540314264","title":"Journal on Data Semantics V","description":"The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide.   The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49724559032593,"sku":"CIN0135179882G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52128107036945,"sku":"NLS9783540314264","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0135179882.jpg?v=1751350704"},{"product_id":"explainable-ai-interpreting-explaining-and-visualizing-deep-learning-book-wojciech-samek-9783030289539","title":"Explainable AI: Interpreting, Explaining and Visualizing Deep Learning","description":"The development of “intelligent” systems that can take decisions and perform autonomously might lead to faster and more consistent decisions. A limiting factor for a broader adoption of AI technology is the inherent risks that come with giving up human control and oversight to “intelligent” machines. For sensitive tasks involving critical infrastructures and affecting human well-being or health, it is crucial to limit the possibility of improper, non-robust and unsafe decisions and actions. Before deploying an AI system, we see a strong need to validate its behavior, and thus establish guarantees that it will continue to perform as expected when deployed in a real-world environment. In pursuit of that objective, ways for humans to verify the agreement between the AI decision structure and their own ground-truth knowledge have been explored. Explainable AI (XAI) has developed as a subfield of AI, focused on exposing complex AI models to humans in a systematic and interpretable manner.    The 22 chapters included in this book provide a timely snapshot of algorithms, theory, and applications of interpretable and explainable AI and AI techniques that have been proposed recently reflecting the current discourse in this field and providing directions of future development. The book is organized in six parts: towards AI transparency; methods for interpreting AI systems; explaining the decisions of AI systems; evaluating interpretability and explanations; applications of explainable AI; and software for explainable AI.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49735217479953,"sku":"NGR9783030289539","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51828644380945,"sku":"CIN3030289532G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52333624394001,"sku":"NLS9783030289539","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030289532.jpg?v=1750870278"},{"product_id":"formal-methods-and-software-engineering-book-kazuhiro-ogata-9783319478456","title":"Formal Methods and Software Engineering","description":"This book constitutes the refereed proceedings of the 18th International  Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were  carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49736693448977,"sku":"NGR9783319478456","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52429716521233,"sku":"NLS9783319478456","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319478451.jpg?v=1750806118"}],"url":"https:\/\/www.worldofbooks.com\/en-ie\/collections\/lecture-notes-in-computer-science-book-series.oembed?page=7","provider":"World of Books ","version":"1.0","type":"link"}