71 resultater (5,54417 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Algorithms and Discrete Applied Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

Algorithms and Discrete Applied Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017. The 32 papers presented in this volume were carefully reviewed and selected from 103 submissions. They deal with the following areas: algorithms, graph theory, codes, polyhedral combinatorics, computational geometry, and discrete geometry.

DKK 426.00
1

Technology and Practice of Passwords - - Bog - Springer International Publishing AG - Plusbog.dk

Technology and Practice of Passwords - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Passwords, PASSWORDS 2015, held in Cambridge, UK, in December 2015. The 6 revised full papers presented together with 3 revised short papers were carefully reviewed and selected from 32 initial submissions. The papers are organized in topical sections on human factors, attacks, and cryptography.

DKK 359.00
1

Privacy Technologies and Policy - - Bog - Springer International Publishing AG - Plusbog.dk

Privacy Technologies and Policy - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed conference proceedings of the 4th Annual Privacy Forum, APF 2016, held in Frankfurt/Main, Germany, in September 2016. The 12 revised full papers presented in this volume were carefully reviewed and selected from 32 submissions. The papers are organized in three sessions: eIDAS and data protection regulation; IoT and public clouds; and privacy policies and privacy risk presentation.

DKK 416.00
1

Artificial Life and Computational Intelligence - - Bog - Springer International Publishing AG - Plusbog.dk

Artificial Life and Computational Intelligence - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the Third Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2017, held in Geelong, VIC, Australia, in January/February 2017. The 32 papers presented in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections named: artificial life and computational intelligence and optimization algorithms and applications.

DKK 426.00
1

Logic-Based Program Synthesis and Transformation - - Bog - Springer International Publishing AG - Plusbog.dk

Logic-Based Program Synthesis and Transformation - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 32 nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

DKK 476.00
1

Formal Modeling and Analysis of Timed Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Formal Modeling and Analysis of Timed Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.

DKK 416.00
1

Engineering Secure Software and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Engineering Secure Software and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.

DKK 426.00
1

Nature of Computation and Communication - - Bog - Springer International Publishing AG - Plusbog.dk

Nature of Computation and Communication - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed post-conference proceedings of the 8th EAI International Conference on Nature of Computation and Communication, ICTCC 2022, held in Vinh Long, Vietnam, in October 27-28 2022. The 11 revised full papers presented were carefully selected from 32 submissions. The papers of ICTCC 2022 cover formal methods for self-adaptive systems and discuss natural approaches and techniques for natural computing systems and their applications.

DKK 519.00
1

VLSI Design and Test - - Bog - Springer International Publishing AG - Plusbog.dk

VLSI Design and Test - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 26th International Symposium on VLSI Design and Test, VDAT 2022, which took place in Jammu, India, in July 2022. The 32 regular papers and 16 short papers presented in this volume were carefully reviewed and selected from 220 submissions. They were organized in topical sections as follows: Devices and Technology; Sensors; Analog/Mixed Signal; Digital Design; Emerging Technologies and Memory; System Design.

DKK 816.00
1

Algorithmic Decision Theory - - Bog - Springer International Publishing AG - Plusbog.dk

Algorithmic Decision Theory - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical sections such as preferences; manipulation, learning and other issues; utility and decision theory; argumentation; bribery and control; social choice; allocation and other problems; doctoral consortium.

DKK 416.00
1

Analysis, Estimations, and Applications of Embedded Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Analysis, Estimations, and Applications of Embedded Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, which took place in Friedrichshafen, Germany, in September 2019. The 16 full papers and 4 short papers presented in this book were carefully reviewed and selected from 32 submissions. The papers were organized in topical sections on embedded real-time systems; estimations; architecture and applications; algorithms and System C; and analysis.

DKK 689.00
1

Digital-Forensics and Watermarking - - Bog - Springer International Publishing AG - Plusbog.dk

Digital-Forensics and Watermarking - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Digital-Forensics and Watermarking, IWDW 2014, held in Taipei, Taiwan, during October 2014. The 32 full and 14 poster papers, presented together with 1 keynote speech, were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on forensics; watermarking; reversible data hiding; visual cryptography; and steganography and steganalysis.

DKK 416.00
1

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

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

This book constitutes the proceedings of the 5th International Conference on Applied Informatics, ICAI 2022, which took place in Arequipa, Peru, in October 2022. The 32 papers presented in this volume were carefully reviewed and selected from 90 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Health Care Information Systems; ICT-Enabled Social Innovation; Image Processing; Robotic Autonomy; Software Architectures; Software Design Engineering.

DKK 434.00
1

Algorithms and Discrete Applied Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

Algorithms and Discrete Applied Mathematics - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 9th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2023, which was held in Gandhinagar, India, during February 9-11, 2023. The 32 papers presented in this volume were carefully reviewed and selected from 67 submissions. The papers were organized in topical sections named: algorithms and optimization; computational geometry; game theory; graph coloring; graph connectivity; graph domination; graph matching; graph partition and graph covering.

DKK 616.00
1

Ambient Intelligence for Health - - Bog - Springer International Publishing AG - Plusbog.dk

Ambient Intelligence for Health - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed conference proceedingsof the First International Conference on Ambient Intelligence for Health,AmIHEALTH 2015, held in Puerto Varas, Chile, in December 2015. The 20 revised full papers and 9 short papers werereviewed and selected from 32 submissions and cover topics on technologies forimplementing AmIHealth environments; frameworks related with AmIHealthenvironments; applied algorithms in e-Health systems; interactions within theAmIHealth environments; applications and case studies of AmIHealthenvironments; and metrics for health environments.

DKK 416.00
1

Discrete Geometry for Computer Imagery - - Bog - Springer International Publishing AG - Plusbog.dk

Discrete Geometry for Computer Imagery - - Bog - Springer International Publishing AG - Plusbog.dk

Thisbook constitutes the refereed proceedings of the 19th IAPR InternationalConference on Discrete Geometry for Computer Imagery, DGCI 2016, held in Nantes,France, in April 2016. The 32 revised full papers presented together with 2invited talks were carefully selected from 51 submissions. The papers areorganized in topical sections on combinatorial tools; discretization; discretetomography; discrete and combinatorial topology; shape descriptors; models fordiscrete geometry; circle drawing; morphological analysis; geometrictransforms; and discrete shape representation, recognition and analysis.

DKK 416.00
1

From Animals to Animats 13 - - Bog - Springer International Publishing AG - Plusbog.dk

From Animals to Animats 13 - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, held in Castellón, Spain, in July 2014. The 32 papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. They cover the main areas in animat research, including the animat approach and methodology, perception and motor control, navigation and internal world models, learning and adaptation, evolution and collective and social behavior.

DKK 426.00
1