61 resultater (6,33420 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Mobile, Secure, and Programmable Networking - - Bog - Springer International Publishing AG - Plusbog.dk

Mobile, Secure, and Programmable Networking - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, in June 2016. The 17 papers presented in this volume were carefully reviewed and selected from 37 submissions. They discuss new trends in networking infrastructures, security, services and applications while focusing on virtualization and cloud computing for networks, network programming, software defined networks (SDN) and their security.

DKK 426.00
1

Selected Topics in Malliavin Calculus - Laurent Decreusefond - Bog - Springer International Publishing AG - Plusbog.dk

Selected Topics in Malliavin Calculus - Laurent Decreusefond - Bog - Springer International Publishing AG - Plusbog.dk

This book is not a research monograph about Malliavin calculus with the latest results and the most sophisticated proofs. It does not contain all the results which are known even for the basic subjects which are addressed here. The goal was to give the largest possible variety of proof techniques. For instance, we did not focus on the proof of concentration inequality for functionals of the Brownian motion, as it closely follows the lines of the analog result for Poisson functionals. This book grew from the graduate courses I gave at Paris-Sorbonne and Paris-Saclay universities, during the last few years. It is supposed to be as accessible as possible for students who have knowledge of Itô calculus and some rudiments of functional analysis.

DKK 368.00
1

Software Engineering for Resilient Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Software Engineering for Resilient Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

DKK 335.00
1

Algorithms and Complexity - - Bog - Springer International Publishing AG - Plusbog.dk

Algorithms and Complexity - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed conference proceedings of the 9th International Conference on Algorithms and Complexity, CIAC 2015, held in Paris, France, in May 2015. The 30 revised full papers presented were carefully reviewed and selected from 93 submissions and are presented together with 2 invited papers. The papers present original research in the theory and applications of algorithms and computational complexity.

DKK 416.00
1

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

Model Checking Software - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

DKK 476.00
1

Charles-Edouard Brown-Sequard - Louis Cyril Celestin - Bog - Springer International Publishing AG - Plusbog.dk

Charles-Edouard Brown-Sequard - Louis Cyril Celestin - Bog - Springer International Publishing AG - Plusbog.dk

Genius and dilettantism often go hand in hand. Nowhere is this truer than in the life of Charles-Edouard Brown-Séquard, the bilingual physician and neurologist who succeeded Claude Bernard as the Chair of Experimental Medicine at the College de France in Paris after having practiced in Paris, London and in the USA, especially in Harvard. For most men, making one discovery of global importance would have sufficed to satisfy their curiosity and self-image. Not so Brown-Séquard. His explanation of the neurological disparity following the hemi-section of the spinal cord was a unique achievement that added his name to the syndrome and made him immortal. Yet, the demons of his mind tormented him in his endless search for medical truths and drove him to explore other phenomena, seeking to explain and remedy them. This unique biography shows for the first time the conflict between his professional and personal life, and should appeal to all students of medical history and psychology.

DKK 923.00
1

Mobile, Secure, and Programmable Networking - - Bog - Springer International Publishing AG - Plusbog.dk

Mobile, Secure, and Programmable Networking - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, in June 2017. The 17 papers presented in this volume were carefully reviewed and selected from 35 submissions. They discuss new trends in networking infrastructures, security, services and applications while focusing on virtualization and cloud computing, network programming, software defined networks (SDN) and their security.

DKK 426.00
1

Smart Card Research and Advanced Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Smart Card Research and Advanced Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Smart Card Research and Advanced Applications, CARDIS 2014, held in Paris, France, in November 2014. The 15 revised full papers presented in this book were carefully reviewed and selected from 56 submissions. The papers are organized in topical sections on Java cards; software countermeasures; side-channel analysis; embedded implementations; public-key cryptography and leakage and fault attacks.

DKK 375.00
1

Programming Languages and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

Programming Languages and Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

DKK 349.00
1

Mobile, Secure, and Programmable Networking - - Bog - Springer International Publishing AG - Plusbog.dk

Mobile, Secure, and Programmable Networking - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Mobile, Secure, and Programmable Networking, MSPN 2015, held in Paris, France, in June 2015.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They discuss new trends in networking infrastructures, security, services and applications while focusing on virtualization and cloud computing for networks, network programming, software defined networks (SDN) and their security.

DKK 335.00
1

Constructive Side-Channel Analysis and Secure Design - - Bog - Springer International Publishing AG - Plusbog.dk

Constructive Side-Channel Analysis and Secure Design - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes revised selected papers from the 8th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2017, held in Paris, France, in April 2017. The 17 papers presented in this volume were carefully reviewed and selected from numerous submissions. They were organized in topical sections named: Side-Channel Attacks and Technological Effects; Side-Channel Countermeasures; Algorithmic Aspects in Side-Channel Attacks; Side-Channel Attacks; Fault Attacks; Embedded Security; and Side-Channel Tools.

DKK 434.00
1

Enhanced Quality of Life and Smart Living - - Bog - Springer International Publishing AG - Plusbog.dk

Enhanced Quality of Life and Smart Living - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 15th International Conference on Smart Homes and Health Telematics, ICOST 2017, held in Paris, France, in August 2017. The 18 regular papers, 5 short papers together with 2 invited talks included in this volume were carefully reviewed and selected from numerous submissions. The conference features a dynamic program incorporating a range of design, development, deployment and evaluation of Smart Urban Environments, Assistive Technologies, Chronic Disease Management, Coaching and Health Telematics systems.

DKK 426.00
1

Practical Aspects of Declarative Languages - - Bog - Springer International Publishing AG - Plusbog.dk

Practical Aspects of Declarative Languages - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.

DKK 426.00
1

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

Verification, Model Checking, and Abstract Interpretation - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

DKK 426.00
1