73 resultater (0,26866 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Prolog: The Next 50 Years - - Bog - Springer International Publishing AG - Plusbog.dk

Prolog: The Next 50 Years - - Bog - Springer International Publishing AG - Plusbog.dk

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future.After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language’s range.

DKK 634.00
1

Structural Information and Communication Complexity - - Bog - Springer International Publishing AG - Plusbog.dk

Structural Information and Communication Complexity - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 23rd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2016, held in Helsinki, Finland in July 2016. The 25 full papers presented were carefully reviewed and selected from 50 submissions. The papers are organized around the following topics: message passing; shared memory; mobile agent; data dissemination and routing.

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 6th International Conference on Computational Logistics, ICCL 2015, held in Delft, The Netherlands, in September 2015. The 50 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections entitled: transport over ground, transport over water, international coordination within a system, external coordination among systems.

DKK 780.00
1

The Semantic Web: ESWC 2015 Satellite Events - - Bog - Springer International Publishing AG - Plusbog.dk

The Semantic Web: ESWC 2015 Satellite Events - - Bog - Springer International Publishing AG - Plusbog.dk

Thisbook constitutes the thoroughly refereed post-conference proceedings of theSatellite Events of the 12th European Conference on the Semantic Web, ESWC2015, held in Portorǒz, Slovenia, in May/June 2015. The volume contains 12poster and 22 demonstration papers, selected from 50 submissions, as well as 22best workshop papers selected from 140 papers presented at the 16 workshopsthat took place at ESWC 2015. The papers covervarious aspects of the semantic web.

DKK 416.00
1

High Performance Computing and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

High Performance Computing and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed proceedings of the Third International Conference on High Performance Computing and Applications, HPCA 2015, held in Shanghai, China, in July 2015. The 24 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers cover the following research areas: numerical algorithms and solutions; high performance and grid computing; novel approached to high performance computing; massive data storage and processing; hardware acceleration; applications.

DKK 416.00
1

Biomimetic and Biohybrid Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Biomimetic and Biohybrid Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 4th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2015, held in Barcelona, Spain, in July 2015. The 34 full and 13 short papers presented in this volume were carefully reviewed and selected from 50 submissions. The themes they deal with are: locomotion, particularly for soft-bodies; novel sensing and autonomous control systems; and cognitive architectures, social robots, and human-robot interaction.

DKK 416.00
1

Structural, Syntactic, and Statistical Pattern Recognition - - Bog - Springer International Publishing AG - Plusbog.dk

Structural, Syntactic, and Statistical Pattern Recognition - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2022, held in Montreal, QC, Canada, in August 2022. The 30 papers together with 2 invited talks presented in this volume were carefully reviewed and selected from 50 submissions. The workshops presents papers on topics such as deep learning, processing, computer vision, machine learning and pattern recognition and much more.

DKK 901.00
1

Combinatorial Optimization - - Bog - Springer International Publishing AG - Plusbog.dk

Combinatorial Optimization - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization, ISCO 2022, which was held online during May 18-20, 2022. The 24 full papers included in this book were carefully reviewed and selected from 50 submissions. They were organized in topical sections as follows: Polyhedra and algorithms; polyhedra and combinatorics; non-linear optimization; game theory; graphs and trees; cutting and packing; applications; and approximation algorithms.

DKK 604.00
1

Risks and Security of Internet and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Risks and Security of Internet and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereedpost-conference proceedings of the 10th International Conference on Risks andSecurity of Internet Systems, CRiSIS 2015, held in Mytilene, Lesbos Island,Greece, in July 2015. The 18 full papers presented were selected from 50 submissions.The papers sessions that have covered a broad range of topics: trust and privacyissues, privacy policies and policy based protocols, risk management, riskanalysis and vulnerability assessment, cloud systems and cryptography, andattack and security measures.

DKK 416.00
1

Static Analysis - - Bog - Springer International Publishing AG - Plusbog.dk

Static Analysis - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance.

DKK 426.00
1

Passive and Active Measurement - - Bog - Springer International Publishing AG - Plusbog.dk

Passive and Active Measurement - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 19th International Conference on Passive and Active Measurement, PAM 2018, held in Berlin, Germany, in March 2018. The 20 full papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers demonstrate the import and extent to which measurements pervade systems - from protocols to performance to security. They are organized in the following topical sections: models and inference; security and privacy; CDNs; DNS; certificates; interdomain routing; and analyzing protocols.

DKK 426.00
1

Modelling and Simulation for Autonomous Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Modelling and Simulation for Autonomous Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2014, held in Rome, Italy, in May 2014. The 32 revised full papers included in the volume were carefully reviewed and selected from 50 submissions, of which 46 were presented at the workshop. They are organized in the following topical sections: unmanned aerial vehicle, distributed simulation, robot system, military application, validation, human-machine communication, gazebo simulator, and algorithm.

DKK 416.00
1

Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience - - Bog - Springer International Publishing AG - Plusbog.dk

Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience - - Bog - Springer International Publishing AG - Plusbog.dk

This volume constitutes the refereed proceedings of the 10th International Conference on Foundations of Augmented Cognition, AC 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016. HCII 2016 received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. The 50 papers presented in this volume were organized in topical sections named: brain-computer interfaces; electroencephalography and brain activity measurement; and cognitive modeling and physiological measuring.

DKK 416.00
1

Advances and Trends in Artificial Intelligence. Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Advances and Trends in Artificial Intelligence. Theory and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This double volume LNAI 13925-13926 constitutes the thoroughly refereed proceedings of the 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, held in Shanghai, China, in July 2023. The 50 full papers and 20 short papers presented were carefully reviewed and selected from 129 submissions. The IEA/AIE 2023 conference on applications of applied intelligent systems to solve real-life problems in all areas including business and finance, science, engineering, industry, cyberspace, bioinformatics, automation, robotics, medicine and biomedicine, and human-machine interactions.

DKK 634.00
1

Breast Imaging - - Bog - Springer International Publishing AG - Plusbog.dk

Breast Imaging - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 13th International Workshop on Breast Imaging, IWDM 2016, held in Malmö, Sweden, in June 2016. The 35 revised full papers and 50 revised poster papers presented together with 6 invited talks were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on screening; CAD; mammography, tomosynthesis, and breast CT; novel technology; density assessment and tissue analysis; dose and classification; image processing, CAD, breast density, and new technology; contrast-enhanced imaging; phase contrast breast imaging; simulations and virtual clinical trials.

DKK 416.00
1

Social, Cultural, and Behavioral Modeling - - Bog - Springer International Publishing AG - Plusbog.dk

Social, Cultural, and Behavioral Modeling - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 15th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2022, which was in Pittsburgh, PA, USA in September 2022. The 25 full papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers were organized in topical sections as follows: computer science, psychology, sociology, communication science, public health, bioinformatics, political science, and organizational science. Numerous types of computational methods are used include, but not limited to, machine learning, language technology, social network analysis and visualization, agent-based simulation, and statistics.

DKK 434.00
1