206 resultater (0,43729 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Henry Miller and Modernism - Finn Jensen - Bog - Springer Nature Switzerland AG - Plusbog.dk

Henry Miller and Modernism - Finn Jensen - Bog - Springer Nature Switzerland AG - Plusbog.dk

Henry Miller and Modernism: The Years in Paris, 1930-1939 represents a major reevaluation of Henry Miller, focusing on the Paris texts from 1930 to 1939. Finn Jensen analyzes Miller in the light of European modernism, in particular considering the many impulses Miller received in Paris. Jensen draws on theories of urban modernity to connect Miller''s narratives of a male protagonist alone in a modern metropolis with his time in Paris where he experienced a self-discovery as a writer. The book highlights several sources of inspiration for Miller including Nietzsche, Rimbaud, Hamsun, Strindberg and the American Transcendentalists. Jensen considers the key movements of modernity and analyzes their importance for Miller, studying Eschatology, the Avant-Garde, Dada, Surrealism, Expressionism, and Anarchism.

DKK 476.00
3

Henry Miller and Modernism - Finn Jensen - Bog - Springer Nature Switzerland AG - Plusbog.dk

Henry Miller and Modernism - Finn Jensen - Bog - Springer Nature Switzerland AG - Plusbog.dk

Henry Miller and Modernism: The Years in Paris, 1930-1939 represents a major reevaluation of Henry Miller, focusing on the Paris texts from 1930 to 1939. Finn Jensen analyzes Miller in the light of European modernism, in particular considering the many impulses Miller received in Paris. Jensen draws on theories of urban modernity to connect Miller''s narratives of a male protagonist alone in a modern metropolis with his time in Paris where he experienced a self-discovery as a writer. The book highlights several sources of inspiration for Miller including Nietzsche, Rimbaud, Hamsun, Strindberg and the American Transcendentalists. Jensen considers the key movements of modernity and analyzes their importance for Miller, studying Eschatology, the Avant-Garde, Dada, Surrealism, Expressionism, and Anarchism.

DKK 646.00
3

Ad Hoc Networks - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Ad Hoc Networks - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 12th International Conference on Ad Hoc Networks, ADHOCNETS 2020, held in Paris in November 2020. The conference was held virtually due to COVID-19 pandemic. The 19 full papers were selected from 36 submissions covers a variety of network paradigms including mobile ad hoc networks (MANETs), wireless sensor networks (WSNs), vehicular ad hoc networks (VANETs), airborne networks, underwater networks, underground networks, personal area networks, and home networks. It promises a wide range of applications in civilian, commercial, and military areas.

DKK 434.00
3

Automated Reasoning - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Automated Reasoning - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter ''A Fast Verified Liveness Analysis in SSA Form'' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

DKK 593.00
3

Automated Reasoning - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Automated Reasoning - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter ''Constructive Hybrid Games'' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

DKK 646.00
3

Machine Learning for Networking - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Machine Learning for Networking - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Machine Learning for Networking, MLN 2019, held in Paris, France, in December 2019. The 26 revised full papers included in the volume were carefully reviewed and selected from 75 submissions. They present and discuss new trends in deep and reinforcement learning, pattern recognition and classification for networks, machine learning for network slicing optimization, 5G system, user behavior prediction, multimedia, IoT, security and protection, optimization and new innovative machine learning methods, performance analysis of machine learning algorithms, experimental evaluations of machine learning, data mining in heterogeneous networks, distributed and decentralized machine learning algorithms, intelligent cloud-support communications, ressource allocation, energy-aware communications, software de ned networks, cooperative networks, positioning and navigation systems, wireless communications, wireless sensor networks, underwater sensor networks.

DKK 426.00
3

Testing Software and Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Testing Software and Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures.

DKK 426.00
3

Post-Quantum Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Post-Quantum Cryptography - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This volume constitutes the proceedings of the 11th International Conference on post-quantum cryptography, PQCrypto 2020, held in Paris, France in April 2020. The 29 full papers presented in this volume were carefully reviewed and selected from 86 submissions. They cover a broad spectrum of research within the conference''s scope, including code-, hash-, isogeny-, and lattice-based cryptography, multivariate cryptography, and quantum cryptanalysis.

DKK 967.00
3

Software Architecture - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Software Architecture - - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in Development Process, Adaptation and Design Space Exploration, and Quality Attributes. In the Industrial Track, 6 submissions were received and 3 were accepted to form part of these proceedings.

DKK 468.00
3