34 resultater (0,25662 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Chinese Lexical Semantics - - Bog - Springer International Publishing AG - Plusbog.dk

Chinese Lexical Semantics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereedpost-workshop proceedings of the 16th Chinese Lexical Semantics Workshop, CLSW2015, held in Beijing, China, in May 2015. The 64 regular and 4 short papers included in this volumewere carefully reviewed and selected from 248 submissions. They are organizedin topical sections named: lexical semantics; lexical resources; lexicology;natural language processing and applications; and syntax.

DKK 416.00
1

Brain Informatics - - Bog - Springer International Publishing AG - Plusbog.dk

Brain Informatics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the International Conference on Brain Informatics, BI 2017, held in Beijing, China, in November 2017. The 31 revised full papers were carefully reviewed and selected from 64 submissions. BI addresses the computational, cognitive, physiological, biological, physical, ecological and social perspectives of brain informatics, as well as topics related to mental health and well-being.

DKK 426.00
1

Advanced Concepts for Intelligent Vision Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Advanced Concepts for Intelligent Vision Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 17th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2016, held in Lecce, Italy, in October 2016.The 64 revised full papers presented in this volume were carefully selected from 137 submissions. They deal with classical low-level image processing techniques; image and video compression; 3D; security and forensics; and evaluation methodologies.

DKK 426.00
1

Computational Logistics - - Bog - Springer International Publishing AG - Plusbog.dk

Computational Logistics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 13th International Conference on Computational Logistics, ICCL 2022, held in Barcelona, Spain, in September 2022. The 31 papers presented in this volume were carefully reviewed and selected from 64 submissions. They were organized in topical sections as follows: Maritime and Port Logistics; Vehicle Routing and Urban Logistics; Warehousing and Location; Supply Chain and Production Management.

DKK 434.00
1

Formal Methods and Software Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Formal Methods and Software Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

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.

DKK 220.00
1

Fundamentals of Software Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Fundamentals of Software Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

DKK 416.00
1

Machine Learning, Image Processing, Network Security and Data Sciences - - Bog - Springer International Publishing AG - Plusbog.dk

Machine Learning, Image Processing, Network Security and Data Sciences - - Bog - Springer International Publishing AG - Plusbog.dk

This two-volume set (CCIS 1762-1763) constitutes the refereed proceedings of the 4th International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2022, held in Bhopal, India, in December 2022. The 64 papers presented in this two-volume set were thoroughly reviewed and selected from 399 submissions. The papers are organized according to the following topical sections: ​machine learning and computational intelligence; data sciences; image processing and computer vision; network and cyber security.

DKK 646.00
1

Ad-hoc, Mobile, and Wireless Networks - - Bog - Springer International Publishing AG - Plusbog.dk

Ad-hoc, Mobile, and Wireless Networks - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 15th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2016, held in Lille, France in July 2016. The 23 full papers presented together with one short paper in this volume were carefully reviewed and selected from 64 submissions. The contributions are organized in topical sections named: resource allocation, theory and communications, PHY/MAC/routing in sensors/IoT, DTN/opportunistic networks, sensors/IoT, security, VANET and ITS, and robots and MANETs.

DKK 416.00
1

Machine Learning, Image Processing, Network Security and Data Sciences - - Bog - Springer International Publishing AG - Plusbog.dk

Machine Learning, Image Processing, Network Security and Data Sciences - - Bog - Springer International Publishing AG - Plusbog.dk

This two-volume set (CCIS 1762-1763) constitutes the refereed proceedings of the 4th International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2022, held in Bhopal, India, in December 2022. The 64 papers presented in this two-volume set were thoroughly reviewed and selected from 399 submissions. The papers are organized according to the following topical sections: ​machine learning and computational intelligence; data sciences; image processing and computer vision; network and cyber security.

DKK 646.00
1

Cooperative Design, Visualization, and Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

Cooperative Design, Visualization, and Engineering - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 19th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2022, held in September 2022. Due to COVId-19 pandemic the conference was held virtually. The 27 full papers and 7 short papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide application spectrum including architecture, engineering and construction (AEC), apace craft building, heavy industry, robotics, tourism, education, community building, medical supply industry, commerce, etc.

DKK 434.00
1

Advances in Spatial and Temporal Databases - - Bog - Springer International Publishing AG - Plusbog.dk

Advances in Spatial and Temporal Databases - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases, SSTD 2015, held in Hong Kong, China, in August 2015. The 24 revised full papers together with 8 demos presented were carefully reviewed and selected from 64 submissions. The conference program has the scope on following subjects: reachability query and path query, reverse query and indexing, navigation and routing, trajectory analysis, spatio-temporal approaches, privacy and matching, similarity search and pattern, keyword and pattern.

DKK 416.00
1

Haptics: Perception, Devices, Control, and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Haptics: Perception, Devices, Control, and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016. The 100 papers (36 oral presentations and 64 poster presentations) presented were carefully reviewed and selected from 162 submissions. These proceedings reflect the multidisciplinary nature of EuroHaptics and cover topics such as perception of hardness and softness; haptic devices; haptics and motor control; tactile cues; control of haptic interfaces; thermal perception; robotics and sensing; applications.

DKK 423.00
1

Requirements Engineering: Foundation for Software Quality - - Bog - Springer International Publishing AG - Plusbog.dk

Requirements Engineering: Foundation for Software Quality - - Bog - Springer International Publishing AG - Plusbog.dk

This bookconstitutes the proceedings of the 22nd International Working Conference onRequirements Engineering - Foundation for Software Quality, REFSQ 2016, held inGothenburg, Sweden, in March 2016. The 16 full papers and 5 short papers presented in this volume were carefullyreviewed and selected from 64 submissions. The papers were organized in topicalsections named: decision making in requirements engineering; open source inrequirements engineering; natural language; compliance in requirementsengineering; requirements engineering in the automotive domain; empiricalstudies in requirements engineering; requirements engineering foundations;human factors in requirements engineering; and research methodology inrequirements engineering.

DKK 416.00
1

Discrete and Computational Geometry and Graphs - - Bog - Springer International Publishing AG - Plusbog.dk

Discrete and Computational Geometry and Graphs - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the 18th Japanese Conference on Discrete and Computational Geometry and Graphs, JDCDGG 2015, held in Kyoto, Japan, in September 2015. The total of 25 papers included in this volume was carefully reviewed and selected from 64 submissions. The papers feature advances made in the field of computational geometry and focus on emerging technologies, new methodology and applications, graph theory and dynamics. This proceedings are dedicated to Naoki Katoh on the occasion of his retirement from Kyoto University.

DKK 426.00
1

Theory and Applications of Satisfiability Testing – SAT 2017 - - Bog - Springer International Publishing AG - Plusbog.dk

Theory and Applications of Satisfiability Testing – SAT 2017 - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

DKK 426.00
1

Mathematics and Computation in Music - - Bog - Springer International Publishing AG - Plusbog.dk

Mathematics and Computation in Music - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Mathematics and Computation in Music, MCM 2015, held in London, UK, in June 2015. The 24 full papers and 14 short papers presented were carefully reviewed and selected from 64 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in topical sections on notation and representation, music generation, patterns, performance, similarity and contrast, post-tonal music analysis, geometric approaches, deep learning, and scales.

DKK 416.00
1

Advances in Artificial Intelligence -- IBERAMIA 2014 - - Bog - Springer International Publishing AG - Plusbog.dk

Advances in Artificial Intelligence -- IBERAMIA 2014 - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 14th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2014, held in Santiago de Chile, Chile, in November 2014. The 64 papers presented were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections: knowledge engineering, knowledge representation and probabilistic reasoning; planning and scheduling; natural language processing; machine learning; fuzzy systems; knowledge discovery and data mining; bio-inspired computing; robotics; vision; multi-agent systems; agent-based modeling and simulation; AI in education, affective computing, and human-computer interaction; applications of AI; and ambient intelligence.

DKK 416.00
1

Smart Applications and Data Analysis - - Bog - Springer International Publishing AG - Plusbog.dk

Smart Applications and Data Analysis - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 4th International Conference onSmart Applications and Data Analysis, SADASC 2022, held in Marrakesh, Morocco, during September 22-24, 2022. The 24 full papers and 11 short papers included in this book were carefully reviewed and selected from 64 submissions. They were organized in topical sections as follows: AI-Driven Methods 1; Networking technologies & IoT; AI-Driven Methods 2; Green Energy, Computing and Technologies 1; AI-Driven Methods 3; Green Energy, Computing and Technologies 2; Case studies and Cyber-Physical Systems 1; Case studies and Cyber-Physical Systems 2; and Case studies and Cyber-Physical Systems 3.

DKK 731.00
1

Evolving Computability - - Bog - Springer International Publishing AG - Plusbog.dk

Evolving Computability - - Bog - Springer International Publishing AG - Plusbog.dk

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.

DKK 416.00
1

Progress in Artificial Intelligence - - Bog - Springer International Publishing AG - Plusbog.dk

Progress in Artificial Intelligence - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 21st EPIA Conference on Artificial Intelligence, EPIA 2022, which took place in Lisbon, Portugal, in August/September 2022. The 64 papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections as follows: AI4IS - Artificial Intelligence for Industry and Societies; AIL - Artificial Intelligence and Law; AIM - Artificial Intelligence in Medicine; AIPES - Artificial Intelligence in Power and Energy Systems; AITS - Artificial Intelligence in Transportation Systems; AmIA - Ambient Intelligence and Affective Environments; GAI - General AI; IROBOT - Intelligent Robotics; KDBI - Knowledge Discovery and Business Intelligence; KRR - Knowledge Representation and Reasoning; MASTA - Multi-Agent Systems: Theory and Applications; TeMA - Text Mining and Applications.

DKK 426.00
1

Large-Scale Scientific Computing - - Bog - Springer International Publishing AG - Plusbog.dk

Large-Scale Scientific Computing - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereedpost-conference proceedings of the 10th International Conference on Large-ScaleScientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015. The 49 revised full papers presented were carefullyreviewed and selected from 64 submissions. The general theme for LSSC 2015 wasLarge-Scale Scientific Computing with a particular focus on the organizedspecial sessions: enabling exascale computation; control and uncertain systems;computational microelectronics - from monte carlo to deterministic approaches;numerical methods for multiphysics problems; large-scale models: numericalmethods, parallel computations and applications; mathematical modeling andanalysis of PDEs describing physical problems; a posteriori error control anditerative methods for maxwell type problems; efficient algorithms for hybridHPC systems; multilevel methods on graphs; and applications of metaheuristicsto large-scale problems.

DKK 416.00
1

Smart Computing and Communication - - Bog - Springer International Publishing AG - Plusbog.dk

Smart Computing and Communication - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 7th International Conference on Smart Computing and Communication, SmartCom 2022, held in New York City, NY, USA, during November 18-20, 2022. The 64 papers included in this book were carefully reviewed and selected from 312 submissions. SmartCom 2023 focus on recent booming developments in Web-based technologies and mobile applications which have facilitated a dramatic growth in the implementation of new techniques, such as cloud computing, edge computing, big data, pervasive computing, Internet of Things, security and privacy, blockchain, Web 3.0, and social cyber-physical systems. The conference gathered all high-quality research/industrial papers related to smart computing and communications and aimed at proposing a reference guideline for further research.

DKK 901.00
1